# Every published address for controlled vocabularies

This leaf as JSON: https://banes-lab.com/json/api/ids/vocabulary
count: 29
group: vocabulary

| ref | kind | title | summary | json | markdown | bytes | fingerprint |
| --- | --- | --- | --- | --- | --- | --- | --- |
| vocabulary:severity-mandatory | severity | mandatory | A principle that applies to every system within its scope. | https://banes-lab.com/json/records/vocabulary/severity-mandatory | https://banes-lab.com/records/vocabulary/severity-mandatory.md | 48415 | 13969abe4ac34760983778c0ead38f8d369b2e6f4c11f919cdfe929521cce695 |
| vocabulary:severity-recommended | severity | recommended | A principle that applies by default and gives way to a stated reason. | https://banes-lab.com/json/records/vocabulary/severity-recommended | https://banes-lab.com/records/vocabulary/severity-recommended.md | 50332 | 3c86db1c23a0467ec5d503482474e80d97573df2acfa0ee674c494ad880855ad |
| vocabulary:severity-contextual | severity | contextual | A principle that applies only to the systems its Mandatory for field names, such as distributed systems. | https://banes-lab.com/json/records/vocabulary/severity-contextual | https://banes-lab.com/records/vocabulary/severity-contextual.md | 86222 | d5042634de307e7256d86116cce1bf49c43a336d3a3ee29eb8f1068d760c4665 |
| vocabulary:severity-discouraged | severity | discouraged | A design that is avoided unless a stated need calls for it. | https://banes-lab.com/json/records/vocabulary/severity-discouraged | https://banes-lab.com/records/vocabulary/severity-discouraged.md | 37037 | e8cca14ca81063a42f449dac97ddd8d8a46b29c8e101b13994eb1acfdd37bff5 |
| vocabulary:domain-tier-process | domain-tier | process | A domain whose contracts run at a stage of the derivation loop and carry a stage, an axis, a math type and a yield. | https://banes-lab.com/json/records/vocabulary/domain-tier-process | https://banes-lab.com/records/vocabulary/domain-tier-process.md | 123871 | 234415567ce1579ec780c4b1f62f40d0cea03932a5173f0e650894c90d0a66c0 |
| vocabulary:domain-tier-leaf | domain-tier | leaf | A domain whose contracts carry a math type and a yield and run at no loop stage. | https://banes-lab.com/json/records/vocabulary/domain-tier-leaf | https://banes-lab.com/records/vocabulary/domain-tier-leaf.md | 62193 | c5255d18ac4acc4dbbdb5388e33a0ecb0669ef0e47646640ae7a782a4049064c |
| vocabulary:domain-tier-exempt | domain-tier | exempt | A domain whose contracts carry no math type, yield or loop stage. | https://banes-lab.com/json/records/vocabulary/domain-tier-exempt | https://banes-lab.com/records/vocabulary/domain-tier-exempt.md | 9991 | 625b9008b64fb4c7ba216bb4541e367ea998629452b417deabd4e4e29d0f5751 |
| vocabulary:verdict-pass | verdict | pass | A verdict for a surface whose evidence is not empty and every claim in it holds. | https://banes-lab.com/json/records/vocabulary/verdict-pass | https://banes-lab.com/records/vocabulary/verdict-pass.md | 10640 | ac1e6de0e5fd75b29f68ff65d38703b40c0e9bd2d2e9faf5276da04b788375b5 |
| vocabulary:verdict-fail | verdict | fail | A verdict for a surface whose evidence is not empty and a claim in it does not hold. | https://banes-lab.com/json/records/vocabulary/verdict-fail | https://banes-lab.com/records/vocabulary/verdict-fail.md | 10633 | 7aad3131013c5db889eac7bf7735340ac3919287c5d90a7610e30edcd89ec85e |
| vocabulary:verdict-unknown | verdict | unknown | A verdict for a surface no evidence reaches, which a report keeps apart from pass. | https://banes-lab.com/json/records/vocabulary/verdict-unknown | https://banes-lab.com/records/vocabulary/verdict-unknown.md | 10681 | 88651b19dc93cd0341e94d342e01948085684a0b2637edc1407c19cfbfb9aada |
| vocabulary:predicate-type-invariant | predicate-type | invariant | A claim that a property holds in every state the surface reaches. | https://banes-lab.com/json/records/vocabulary/predicate-type-invariant | https://banes-lab.com/records/vocabulary/predicate-type-invariant.md | 4550 | 3df9676ff725aef59a43f98be7c89172f7e5c3882543cf475164c4d115e3be81 |
| vocabulary:predicate-type-equivalence | predicate-type | equivalence | A claim that two representations produce the same result. | https://banes-lab.com/json/records/vocabulary/predicate-type-equivalence | https://banes-lab.com/records/vocabulary/predicate-type-equivalence.md | 3233 | 196a7b20d6e119d2207f1d09310db02e92d3ba283d155fff1e10bc6e7b4e7f26 |
| vocabulary:predicate-type-bound | predicate-type | bound | A claim that a measured value stays within a limit. | https://banes-lab.com/json/records/vocabulary/predicate-type-bound | https://banes-lab.com/records/vocabulary/predicate-type-bound.md | 3688 | b0d01faebf7f8528a87445f191158f330171fd6e837f0d6ac1a3ba8657b9002b |
| vocabulary:predicate-type-temporal-order | predicate-type | temporal-order | A claim that one event happens before another. | https://banes-lab.com/json/records/vocabulary/predicate-type-temporal-order | https://banes-lab.com/records/vocabulary/predicate-type-temporal-order.md | 2739 | ab909257b1914a92d63e2c921d46051d0616887ffc69630bfbeb6e633bd74c97 |
| vocabulary:predicate-type-schema | predicate-type | schema | A claim that a value has its declared shape. | https://banes-lab.com/json/records/vocabulary/predicate-type-schema | https://banes-lab.com/records/vocabulary/predicate-type-schema.md | 2800 | 8c7093951d2531bced97017f881a2bf1a6d5e14f7c72e54722359dab92d6a747 |
| vocabulary:predicate-type-absence | predicate-type | absence | A claim that something does not occur, over a declared population. | https://banes-lab.com/json/records/vocabulary/predicate-type-absence | https://banes-lab.com/records/vocabulary/predicate-type-absence.md | 3230 | 2f9435f50f0c1e979bd57cf3e78522a46910a56bedb8b02a276acccc5f17c428 |
| vocabulary:evidence-source-test-result | evidence-source | test-result | Evidence from running a test, which covers only the cases the test exercises. | https://banes-lab.com/json/records/vocabulary/evidence-source-test-result | https://banes-lab.com/records/vocabulary/evidence-source-test-result.md | 5907 | c5bf8f014ab63d11d3fe8cccbafa773b284aea660ce365ba78414ea65f0e5367 |
| vocabulary:evidence-source-analysis-report | evidence-source | analysis-report | Evidence from reading the code without running it. | https://banes-lab.com/json/records/vocabulary/evidence-source-analysis-report | https://banes-lab.com/records/vocabulary/evidence-source-analysis-report.md | 3335 | 7aa904e5b0453eed987267893558b589b0be5547197788d7704d8b929b10c2e5 |
| vocabulary:evidence-source-runtime-observation | evidence-source | runtime-observation | Evidence seen while the system runs, which locates a failure but cannot show that none exists. | https://banes-lab.com/json/records/vocabulary/evidence-source-runtime-observation | https://banes-lab.com/records/vocabulary/evidence-source-runtime-observation.md | 4290 | d754cf51e94a3a1b8e870cfea3f357a2d77ddf89b0d33dd6bd585bfa68a96cfc |
| vocabulary:evidence-source-measurement | evidence-source | measurement | Evidence recorded as a value, such as a latency or a count. | https://banes-lab.com/json/records/vocabulary/evidence-source-measurement | https://banes-lab.com/records/vocabulary/evidence-source-measurement.md | 3348 | 9e2e3e7796cdafe5043d298ae3ba66ffd5cdb4e2698de64c972c42ab48ef9229 |
| vocabulary:resolution-mechanism-scope-separation | resolution-mechanism | scope-separation | A resolution in which each principle holds whole inside its own scope. | https://banes-lab.com/json/records/vocabulary/resolution-mechanism-scope-separation | https://banes-lab.com/records/vocabulary/resolution-mechanism-scope-separation.md | 5044 | 11d2721ab203aeba51be8cfdbf9efffe05342b7f2bee16590ee7ea948af7163b |
| vocabulary:resolution-mechanism-irreducible-tradeoff | resolution-mechanism | irreducible-tradeoff | A resolution in which an operating point is measured, chosen and written down beside the choice. | https://banes-lab.com/json/records/vocabulary/resolution-mechanism-irreducible-tradeoff | https://banes-lab.com/records/vocabulary/resolution-mechanism-irreducible-tradeoff.md | 175824 | 0a7bd53a46381cb66290ce8a20ce3a49fec160518e9871e6e072a266d2fa0ad1 |
| vocabulary:resolution-mechanism-mitigation | resolution-mechanism | mitigation | A resolution in which a rule names the discriminator between two things that share a scope. | https://banes-lab.com/json/records/vocabulary/resolution-mechanism-mitigation | https://banes-lab.com/records/vocabulary/resolution-mechanism-mitigation.md | 2519 | 211f9ff95461a0b60c2c9d6c05f5436e51496ad2e2aaf339044b86fac23b0d9b |
| vocabulary:layer-edge-kind-feeds | layer-edge-kind | feeds | An edge along which one layer's output becomes the next layer's input. | https://banes-lab.com/json/records/vocabulary/layer-edge-kind-feeds | https://banes-lab.com/records/vocabulary/layer-edge-kind-feeds.md | 4095 | 5853811f6156e5bd244d6d3fe77eaf78f2c903cf60af8514388a624b295c9204 |
| vocabulary:layer-edge-kind-feedback | layer-edge-kind | feedback | An edge that returns a layer's results to the layer that feeds it. | https://banes-lab.com/json/records/vocabulary/layer-edge-kind-feedback | https://banes-lab.com/records/vocabulary/layer-edge-kind-feedback.md | 2258 | b274033609ccf7fb653cfd35f2079c11ede0527edc40c35bedfa80a0c25f13b8 |
| vocabulary:layer-edge-kind-cross-cuts | layer-edge-kind | cross-cuts | An edge from a cross-cutting domain to the structural core it applies across. | https://banes-lab.com/json/records/vocabulary/layer-edge-kind-cross-cuts | https://banes-lab.com/records/vocabulary/layer-edge-kind-cross-cuts.md | 6257 | 64f0a2957f750c0fed0fe0a4e17f0169d6cd1a8ae86a03c38cf7eb148d7696f7 |
| vocabulary:layer-edge-kind-observe | layer-edge-kind | observe | An edge along which one layer reads another layer's state without changing it. | https://banes-lab.com/json/records/vocabulary/layer-edge-kind-observe | https://banes-lab.com/records/vocabulary/layer-edge-kind-observe.md | 2280 | 1914101682792eab398dc992d6af432c0234419a088d90e262f54b4866a18e5e |
| vocabulary:example-shape-placed-file | example-shape | placed-file | A category whose every term carries one file its tag places, written as the folder, a slash and the filename. | https://banes-lab.com/json/records/vocabulary/example-shape-placed-file | https://banes-lab.com/records/vocabulary/example-shape-placed-file.md | 4325 | 0052ef29a42ecf88f4ffd24169aa9698e9f43aa7395be1865ed23a96d1ae9523 |
| vocabulary:example-shape-renamed-file | example-shape | renamed-file | A category whose every term carries a rename from the refused word to a covering tag, with the same subject before and after. | https://banes-lab.com/json/records/vocabulary/example-shape-renamed-file | https://banes-lab.com/records/vocabulary/example-shape-renamed-file.md | 1561 | 529f36182c03f09a1475986895dd7c5cb936e7791bb677ec9aa907455b12edb5 |