# Correctness / Determinism / Verification > Every term in this category is listed as one record, with its kind, its definition and its aliases, the principles whose relations name it, the principle or… Page: Ontology · Lexicon Canonical: https://banes-lab.com/ontology/lexicon#lexicon-category-correctness-determinism-verification Listed in [Ontology · Lexicon](https://banes-lab.com/api/pages/ontology/lexicon.md), after [Core Vocabulary](https://banes-lab.com/ontology/lexicon/lexicon-category-core-vocabulary.md) and before [Creational Patterns](https://banes-lab.com/ontology/lexicon/lexicon-category-creational-patterns.md). Every term in this category is listed as one record, with its kind, its definition and its aliases, the principles whose relations name it, the principle or contract that carries the same name where one exists, and the layer its category belongs to. A tag category also gives each term an example, which is the file the tag places or the rename from a refused word onto a covering tag. ### Allocation Cost - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition The degree of extra memory allocation incurred by creating new immutable values instead of mutating in place. Referenced by [Immutability](https://banes-lab.com/records/architecture/immutability.md) How it is checked Checked by the tension resolution with immutability Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Assumption-Driven Delivery - Kind: [anti-pattern](https://banes-lab.com/records/kind/anti-pattern.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition Shipping on untested assumptions about behavior instead of validating that requirements are met. Referenced by [Validation](https://banes-lab.com/records/architecture/validation.md) How it is checked Checked by [Validation](https://banes-lab.com/records/architecture/validation.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Behavior Validation - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition The ability to confirm a system behaves as its specification requires. Referenced by [Specification-Based Testing](https://banes-lab.com/records/architecture/specification-based-testing.md) How it is checked Checked by [Specification-Based Testing](https://banes-lab.com/records/architecture/specification-based-testing.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Broad Input Exploration - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition The ability to exercise a function across a wide, generated range of inputs. Referenced by [Property-Based Testing](https://banes-lab.com/records/architecture/property-based-testing.md) How it is checked Checked by [Property-Based Testing](https://banes-lab.com/records/architecture/property-based-testing.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Continuous Updates - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition The degree to which pinning everything for reproducibility conflicts with continuously updating dependencies. Referenced by [Reproducibility](https://banes-lab.com/records/architecture/reproducibility.md) How it is checked Checked by the tension resolution with reproducibility Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Controlled State - Kind: [constraint](https://banes-lab.com/records/kind/constraint.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition The requirement that all inputs and state affecting a computation be fixed, bounded or fully specified, so its behavior is reproducible. Aliases Controlled Inputs Referenced by [Determinism](https://banes-lab.com/records/architecture/determinism.md), [Repeatability](https://banes-lab.com/records/architecture/repeatability.md) How it is checked Checked by [Determinism](https://banes-lab.com/records/architecture/determinism.md), [Repeatability](https://banes-lab.com/records/architecture/repeatability.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Cost/Complexity - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition The degree of cost and complexity added by formally proving a system correct. Referenced by [Formal Verification](https://banes-lab.com/records/architecture/formal-verification.md) How it is checked Checked by the tension resolution with formal-verification Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Deterministic Behavior - Kind: [constraint](https://banes-lab.com/records/kind/constraint.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition The requirement that the code under test produce the same result for the same inputs. Referenced by [Testability](https://banes-lab.com/records/architecture/testability.md) How it is checked Checked by [Testability](https://banes-lab.com/records/architecture/testability.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Dynamic Runtime Behavior - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition The degree to which runtime-adaptive behavior undermines a system's predictability. Referenced by [Predictability](https://banes-lab.com/records/architecture/predictability.md) How it is checked Checked by the tension resolution with predictability Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Encapsulation Extremes - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition The degree to which hiding internals too strictly makes a unit's behavior hard to observe in tests. Referenced by [Testability](https://banes-lab.com/records/architecture/testability.md) How it is checked Checked by the tension resolution with testability Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Environment-Sensitive Behavior - Kind: [anti-pattern](https://banes-lab.com/records/kind/anti-pattern.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition Behavior that changes with the host environment, so the same run yields different results elsewhere. Referenced by [Repeatability](https://banes-lab.com/records/architecture/repeatability.md) How it is checked Checked by [Repeatability](https://banes-lab.com/records/architecture/repeatability.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Example-Only Testing - Kind: [anti-pattern](https://banes-lab.com/records/kind/anti-pattern.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition Testing only a few hand-picked examples instead of properties that must hold across all inputs. Referenced by [Property-Based Testing](https://banes-lab.com/records/architecture/property-based-testing.md) How it is checked Checked by [Property-Based Testing](https://banes-lab.com/records/architecture/property-based-testing.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Fitness for Use - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition The degree to which a product meets the needs of its users. Referenced by [Validation](https://banes-lab.com/records/architecture/validation.md) How it is checked Checked by [Validation](https://banes-lab.com/records/architecture/validation.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Floating Dependencies - Kind: [anti-pattern](https://banes-lab.com/records/kind/anti-pattern.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition Depending on unpinned, floating dependency versions, so builds are not reproducible. Referenced by [Reproducibility](https://banes-lab.com/records/architecture/reproducibility.md) Distinct from [Flaky Test Normalization](https://banes-lab.com/records/architecture/flaky-test-normalization.md): Floating dependencies make builds unreproducible through unpinned versions, while flaky test normalization accepts intermittent failures by rerunning them. How it is checked Checked by [Reproducibility](https://banes-lab.com/records/architecture/reproducibility.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Formal Specification - Kind: [artifact](https://banes-lab.com/records/kind/artifact.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition A precise, mathematical statement of what a system must do, against which it is proven. Referenced by [Formal Verification](https://banes-lab.com/records/architecture/formal-verification.md) How it is checked Checked by [Formal Verification](https://banes-lab.com/records/architecture/formal-verification.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Hidden Behavior - Kind: [anti-pattern](https://banes-lab.com/records/kind/anti-pattern.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition Behavior triggered by hidden state or side effects, so outcomes surprise callers. Referenced by [Predictability](https://banes-lab.com/records/architecture/predictability.md) How it is checked Checked by [Predictability](https://banes-lab.com/records/architecture/predictability.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Hidden IO - Kind: [anti-pattern](https://banes-lab.com/records/kind/anti-pattern.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition Performing input/output inside a supposedly pure function, hiding side effects from callers. Referenced by [Pure Functions](https://banes-lab.com/records/architecture/pure-functions.md) How it is checked Checked by [Pure Functions](https://banes-lab.com/records/architecture/pure-functions.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Hidden Time/Randomness/Global State - Kind: [anti-pattern](https://banes-lab.com/records/kind/anti-pattern.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition Reading the clock, randomness, or global state inside a computation, making its output nondeterministic. Referenced by [Determinism](https://banes-lab.com/records/architecture/determinism.md) How it is checked Checked by [Determinism](https://banes-lab.com/records/architecture/determinism.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Implementation-Only Testing - Kind: [anti-pattern](https://banes-lab.com/records/kind/anti-pattern.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition Testing only against the current implementation's behavior rather than the specified contract. Referenced by [Specification-Based Testing](https://banes-lab.com/records/architecture/specification-based-testing.md) Distinct from [Mock Mirage](https://banes-lab.com/records/architecture/mock-mirage.md): Implementation-only testing checks today's behavior instead of the contract, while a mock mirage checks calls on mocks instead of behavior. How it is checked Checked by [Specification-Based Testing](https://banes-lab.com/records/architecture/specification-based-testing.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Informal Validation Only - Kind: [anti-pattern](https://banes-lab.com/records/kind/anti-pattern.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition Relying only on informal checks and testing where a formal proof of correctness is warranted. Referenced by [Formal Verification](https://banes-lab.com/records/architecture/formal-verification.md) How it is checked Checked by [Formal Verification](https://banes-lab.com/records/architecture/formal-verification.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Mathematical Assurance - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition The ability to prove mathematically that a system meets its specification. Referenced by [Formal Verification](https://banes-lab.com/records/architecture/formal-verification.md) How it is checked Checked by [Formal Verification](https://banes-lab.com/records/architecture/formal-verification.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### No Side Effects - Kind: [constraint](https://banes-lab.com/records/kind/constraint.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition The requirement that a function compute its result without observable side effects. Referenced by [Pure Functions](https://banes-lab.com/records/architecture/pure-functions.md) How it is checked Checked by [Pure Functions](https://banes-lab.com/records/architecture/pure-functions.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Properties/Invariants - Kind: [constraint](https://banes-lab.com/records/kind/constraint.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition The requirement that the general properties or invariants a function must satisfy be defined. Referenced by [Property-Based Testing](https://banes-lab.com/records/architecture/property-based-testing.md) How it is checked Checked by [Property-Based Testing](https://banes-lab.com/records/architecture/property-based-testing.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Real-World Variability - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition The degree to which controlling conditions for repeatability diverges from real-world variability. Referenced by [Repeatability](https://banes-lab.com/records/architecture/repeatability.md) How it is checked Checked by the tension resolution with repeatability Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Regression Safety - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition The ability to catch regressions when code changes by re-running tests. Referenced by [Testability](https://banes-lab.com/records/architecture/testability.md) How it is checked Checked by [Testability](https://banes-lab.com/records/architecture/testability.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Reliable Automation - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition The ability to automate a process reliably because it repeats identically each run. Referenced by [Repeatability](https://banes-lab.com/records/architecture/repeatability.md) How it is checked Checked by [Repeatability](https://banes-lab.com/records/architecture/repeatability.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Reliable Testing - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition The ability to test dependably because the same inputs always produce the same outputs. Referenced by [Determinism](https://banes-lab.com/records/architecture/determinism.md) How it is checked Checked by [Determinism](https://banes-lab.com/records/architecture/determinism.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Ruleset - Kind: [artifact](https://banes-lab.com/records/kind/artifact.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition The set of rules a static analyzer checks source code against. Referenced by [Static Analysis](https://banes-lab.com/records/architecture/static-analysis.md) How it is checked Checked by [Static Analysis](https://banes-lab.com/records/architecture/static-analysis.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Runtime Adaptivity - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition The degree to which making behavior deterministic limits adapting dynamically at runtime. Referenced by [Determinism](https://banes-lab.com/records/architecture/determinism.md) How it is checked Checked by the tension resolution with determinism Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Safe Operation - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition The ability to operate without producing incorrect or harmful results. Referenced by [Correctness](https://banes-lab.com/records/architecture/correctness.md) How it is checked Checked by [Correctness](https://banes-lab.com/records/architecture/correctness.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Safe Sharing - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition The ability to share data freely across threads because it cannot be modified. Referenced by [Immutability](https://banes-lab.com/records/architecture/immutability.md) How it is checked Checked by [Immutability](https://banes-lab.com/records/architecture/immutability.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Shrinking/Debug Complexity - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition The degree to which reducing a failing generated case to a minimal example adds debugging complexity. Referenced by [Property-Based Testing](https://banes-lab.com/records/architecture/property-based-testing.md) How it is checked Checked by the tension resolution with property-based-testing Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Side Effects - Kind: [anti-pattern](https://banes-lab.com/records/kind/anti-pattern.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition Producing observable side effects in an expression, so it cannot be replaced by its value. Referenced by [Referential Transparency](https://banes-lab.com/records/architecture/referential-transparency.md) How it is checked Checked by [Referential Transparency](https://banes-lab.com/records/architecture/referential-transparency.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Spec Maintenance - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition The degree of ongoing effort to keep a specification current as the system evolves. Referenced by [Specification-Based Testing](https://banes-lab.com/records/architecture/specification-based-testing.md) How it is checked Checked by the tension resolution with specification-based-testing Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Specification Compliance - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition The ability to confirm an implementation conforms to its specification. Referenced by [Verification](https://banes-lab.com/records/architecture/verification.md) How it is checked Checked by [Verification](https://banes-lab.com/records/architecture/verification.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Stateful IO - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition The degree to which stateful input/output conflicts with expressions being replaceable by their values. Referenced by [Referential Transparency](https://banes-lab.com/records/architecture/referential-transparency.md) How it is checked Checked by the tension resolution with referential-transparency Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Stateful Operations - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition The degree to which operations that depend on or mutate state conflict with purity. Referenced by [Pure Functions](https://banes-lab.com/records/architecture/pure-functions.md) How it is checked Checked by the tension resolution with pure-functions Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Tests - Kind: [artifact](https://banes-lab.com/records/kind/artifact.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition Executable checks that assert a system behaves as intended. Referenced by [Correctness](https://banes-lab.com/records/architecture/correctness.md) Distinct from [Specification](https://banes-lab.com/records/lexicon/specification.md): Tests are executable checks, while a specification is the description of required behavior they check against. Distinct from [Test Tag](https://banes-lab.com/records/lexicon/test-tag.md): Tests are the executable checks, while the test marker names the file that holds one. How it is checked Checked by [Correctness](https://banes-lab.com/records/architecture/correctness.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Thread Safety - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition The degree to which data can be accessed concurrently without corruption. Referenced by [Immutability](https://banes-lab.com/records/architecture/immutability.md) How it is checked Checked by [Immutability](https://banes-lab.com/records/architecture/immutability.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Unchecked Dynamic Code - Kind: [anti-pattern](https://banes-lab.com/records/kind/anti-pattern.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition Running dynamically generated or evaluated code that static analysis cannot inspect for defects. Referenced by [Static Analysis](https://banes-lab.com/records/architecture/static-analysis.md) How it is checked Checked by [Static Analysis](https://banes-lab.com/records/architecture/static-analysis.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Undefined Behavior - Kind: [anti-pattern](https://banes-lab.com/records/kind/anti-pattern.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition Relying on operations whose result is unspecified, so outcomes vary unpredictably across runs or platforms. Referenced by [Correctness](https://banes-lab.com/records/architecture/correctness.md) How it is checked Checked by [Correctness](https://banes-lab.com/records/architecture/correctness.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Untested Implementation - Kind: [anti-pattern](https://banes-lab.com/records/kind/anti-pattern.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition Shipping code with no tests, so its conformance to the specification is unverified. Referenced by [Verification](https://banes-lab.com/records/architecture/verification.md) How it is checked Checked by [Verification](https://banes-lab.com/records/architecture/verification.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Value Semantics - Kind: [constraint](https://banes-lab.com/records/kind/constraint.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition The requirement that values be compared and copied by content rather than by reference identity. Referenced by [Immutability](https://banes-lab.com/records/architecture/immutability.md) How it is checked Checked by [Immutability](https://banes-lab.com/records/architecture/immutability.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Versioned Inputs - Kind: [constraint](https://banes-lab.com/records/kind/constraint.md) - Category: [Correctness / Determinism / Verification](https://banes-lab.com/ontology/lexicon/lexicon-category-correctness-determinism-verification.md) - Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md) Details Definition The requirement that all inputs to a build or computation be pinned to specific versions. Referenced by [Reproducibility](https://banes-lab.com/records/architecture/reproducibility.md) How it is checked Checked by [Reproducibility](https://banes-lab.com/records/architecture/reproducibility.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ## Links to - [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - [Computation Core](https://banes-lab.com/records/layer/computation-core.md) - [Immutability](https://banes-lab.com/records/architecture/immutability.md) - [anti-pattern](https://banes-lab.com/records/kind/anti-pattern.md) - [Validation](https://banes-lab.com/records/architecture/validation.md) - [capability](https://banes-lab.com/records/kind/capability.md) - [Specification-Based Testing](https://banes-lab.com/records/architecture/specification-based-testing.md) - [Property-Based Testing](https://banes-lab.com/records/architecture/property-based-testing.md) - [Reproducibility](https://banes-lab.com/records/architecture/reproducibility.md) - [constraint](https://banes-lab.com/records/kind/constraint.md) - [Determinism](https://banes-lab.com/records/architecture/determinism.md) - [Repeatability](https://banes-lab.com/records/architecture/repeatability.md) - [Formal Verification](https://banes-lab.com/records/architecture/formal-verification.md) - [Testability](https://banes-lab.com/records/architecture/testability.md) - [Predictability](https://banes-lab.com/records/architecture/predictability.md) - [Flaky Test Normalization](https://banes-lab.com/records/architecture/flaky-test-normalization.md) - [artifact](https://banes-lab.com/records/kind/artifact.md) - [Pure Functions](https://banes-lab.com/records/architecture/pure-functions.md) - [Mock Mirage](https://banes-lab.com/records/architecture/mock-mirage.md) - [Static Analysis](https://banes-lab.com/records/architecture/static-analysis.md) - [Correctness](https://banes-lab.com/records/architecture/correctness.md) - [Referential Transparency](https://banes-lab.com/records/architecture/referential-transparency.md) - [Verification](https://banes-lab.com/records/architecture/verification.md) - [Specification](https://banes-lab.com/records/lexicon/specification.md) - [Test Tag](https://banes-lab.com/records/lexicon/test-tag.md)