# Ontology · Schema

> Every record is classified by this closed kind taxonomy, listed in decision order with each kind's discriminator, what it is distinguished from, the definition…

Canonical: https://banes-lab.com/ontology/schema
Page as Markdown: https://banes-lab.com/ontology/schema.md
Page as JSON: https://banes-lab.com/json/ontology/schema
This index as JSON: https://banes-lab.com/json/api/pages/ontology/schema

## Entries

- [The kind taxonomy](https://banes-lab.com/ontology/schema/the-kind-taxonomy.md): Every record is classified by this closed kind taxonomy, listed in decision order with each kind's discriminator, what it is distinguished from, the definition…
- [Severity levels](https://banes-lab.com/ontology/schema/the-vocabulary-severity.md): Each severity level is listed with its definition and the principles that carry it.
- [Domain tiers](https://banes-lab.com/ontology/schema/the-vocabulary-domain-tier.md): Each domain tier is listed with its definition and the contracts whose domain carries it.
- [Verdicts](https://banes-lab.com/ontology/schema/the-vocabulary-verdict.md): Each verdict is listed with its definition and the test surfaces that can return it.
- [Predicate types](https://banes-lab.com/ontology/schema/the-vocabulary-predicate-type.md): Each predicate type is listed with its definition and the test surfaces that use it.
- [Evidence sources](https://banes-lab.com/ontology/schema/the-vocabulary-evidence-source.md): Each evidence source is listed with its definition and the test surfaces that draw on it.
- [Resolution mechanisms](https://banes-lab.com/ontology/schema/the-vocabulary-resolution-mechanism.md): Each resolution mechanism is listed with its definition and the tensions it resolves.
- [Layer edge kinds](https://banes-lab.com/ontology/schema/the-vocabulary-layer-edge-kind.md): Each layer edge kind is listed with its definition and the topology edges that carry it.
- [Example shapes](https://banes-lab.com/ontology/schema/the-vocabulary-example-shape.md): Each example shape is listed with its definition and the lexicon categories whose terms carry it.
- [The relation ranges](https://banes-lab.com/ontology/schema/the-relation-ranges.md): The relation ranges say which kinds each edge relation may point at.
- [The forces](https://banes-lab.com/ontology/schema/the-forces.md): The algorithms and principles are joined by these canonical forces. Each force names the contracts that answer to it and the principles whose scope it is.
- [The layer topology](https://banes-lab.com/ontology/schema/the-layer-topology.md): The layer topology holds the four core layers, the domains beneath them, the cross-cutting domains and the edges that join them.
- [The membership](https://banes-lab.com/ontology/schema/the-membership.md): Every category of principle and term is listed with the layer it belongs to.
- [The resolutions](https://banes-lab.com/ontology/schema/the-resolutions.md): Every tension edge in the canon is listed with its resolution, meaning the two records, the mechanism that settles it, the layer each side owns and the rule.