# Controlled vocabularies

> 29 records

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

## Fields

- `kind`: [domain-tier](https://banes-lab.com/api/facets/vocabulary/kind/domain-tier.md) (3), [evidence-source](https://banes-lab.com/api/facets/vocabulary/kind/evidence-source.md) (4), [example-shape](https://banes-lab.com/api/facets/vocabulary/kind/example-shape.md) (2), [layer-edge-kind](https://banes-lab.com/api/facets/vocabulary/kind/layer-edge-kind.md) (4), [predicate-type](https://banes-lab.com/api/facets/vocabulary/kind/predicate-type.md) (6), [resolution-mechanism](https://banes-lab.com/api/facets/vocabulary/kind/resolution-mechanism.md) (3), [severity](https://banes-lab.com/api/facets/vocabulary/kind/severity.md) (4), [verdict](https://banes-lab.com/api/facets/vocabulary/kind/verdict.md) (3)

## Entries

- [mandatory](https://banes-lab.com/records/vocabulary/severity-mandatory.md): A principle that applies to every system within its scope.
- [recommended](https://banes-lab.com/records/vocabulary/severity-recommended.md): A principle that applies by default and gives way to a stated reason.
- [contextual](https://banes-lab.com/records/vocabulary/severity-contextual.md): A principle that applies only to the systems its Mandatory for field names, such as distributed systems.
- [discouraged](https://banes-lab.com/records/vocabulary/severity-discouraged.md): A design that is avoided unless a stated need calls for it.
- [process](https://banes-lab.com/records/vocabulary/domain-tier-process.md): A domain whose contracts run at a stage of the derivation loop and carry a stage, an axis, a math type and a yield.
- [leaf](https://banes-lab.com/records/vocabulary/domain-tier-leaf.md): A domain whose contracts carry a math type and a yield and run at no loop stage.
- [exempt](https://banes-lab.com/records/vocabulary/domain-tier-exempt.md): A domain whose contracts carry no math type, yield or loop stage.
- [pass](https://banes-lab.com/records/vocabulary/verdict-pass.md): A verdict for a surface whose evidence is not empty and every claim in it holds.
- [fail](https://banes-lab.com/records/vocabulary/verdict-fail.md): A verdict for a surface whose evidence is not empty and a claim in it does not hold.
- [unknown](https://banes-lab.com/records/vocabulary/verdict-unknown.md): A verdict for a surface no evidence reaches, which a report keeps apart from pass.
- [invariant](https://banes-lab.com/records/vocabulary/predicate-type-invariant.md): A claim that a property holds in every state the surface reaches.
- [equivalence](https://banes-lab.com/records/vocabulary/predicate-type-equivalence.md): A claim that two representations produce the same result.
- [bound](https://banes-lab.com/records/vocabulary/predicate-type-bound.md): A claim that a measured value stays within a limit.
- [temporal-order](https://banes-lab.com/records/vocabulary/predicate-type-temporal-order.md): A claim that one event happens before another.
- [schema](https://banes-lab.com/records/vocabulary/predicate-type-schema.md): A claim that a value has its declared shape.
- [absence](https://banes-lab.com/records/vocabulary/predicate-type-absence.md): A claim that something does not occur, over a declared population.
- [test-result](https://banes-lab.com/records/vocabulary/evidence-source-test-result.md): Evidence from running a test, which covers only the cases the test exercises.
- [analysis-report](https://banes-lab.com/records/vocabulary/evidence-source-analysis-report.md): Evidence from reading the code without running it.
- [runtime-observation](https://banes-lab.com/records/vocabulary/evidence-source-runtime-observation.md): Evidence seen while the system runs, which locates a failure but cannot show that none exists.
- [measurement](https://banes-lab.com/records/vocabulary/evidence-source-measurement.md): Evidence recorded as a value, such as a latency or a count.
- [scope-separation](https://banes-lab.com/records/vocabulary/resolution-mechanism-scope-separation.md): A resolution in which each principle holds whole inside its own scope.
- [irreducible-tradeoff](https://banes-lab.com/records/vocabulary/resolution-mechanism-irreducible-tradeoff.md): A resolution in which an operating point is measured, chosen and written down beside the choice.
- [mitigation](https://banes-lab.com/records/vocabulary/resolution-mechanism-mitigation.md): A resolution in which a rule names the discriminator between two things that share a scope.
- [feeds](https://banes-lab.com/records/vocabulary/layer-edge-kind-feeds.md): An edge along which one layer's output becomes the next layer's input.
- [feedback](https://banes-lab.com/records/vocabulary/layer-edge-kind-feedback.md): An edge that returns a layer's results to the layer that feeds it.
- [cross-cuts](https://banes-lab.com/records/vocabulary/layer-edge-kind-cross-cuts.md): An edge from a cross-cutting domain to the structural core it applies across.
- [observe](https://banes-lab.com/records/vocabulary/layer-edge-kind-observe.md): An edge along which one layer reads another layer's state without changing it.
- [placed-file](https://banes-lab.com/records/vocabulary/example-shape-placed-file.md): A category whose every term carries one file its tag places, written as the folder, a slash and the filename.
- [renamed-file](https://banes-lab.com/records/vocabulary/example-shape-renamed-file.md): A category whose every term carries a rename from the refused word to a covering tag, with the same subject before and after.