# The lex records whose kind is model

This index as JSON: https://banes-lab.com/json/api/facets/lex/kind/model

## Entries

- [Current State](https://banes-lab.com/records/lex/current-state.md): A conceptual representation of how a system is presently structured and behaves, used as the baseline for analysis.
- [Target State](https://banes-lab.com/records/lex/target-state.md): A conceptual representation of the desired future structure a system is being steered toward.
- [Last-Write-Wins Overwrite](https://banes-lab.com/records/lex/last-write-wins-overwrite.md): Resolving concurrent updates by keeping the most recent write, rather than merging all updates.
- [Translation Model](https://banes-lab.com/records/lex/translation-model.md): A mapping between an external system's concepts and the domain's own, keeping the two vocabularies separate.
- [Error Model](https://banes-lab.com/records/lex/error-model.md): A structured representation of the kinds of errors a system can raise and how they are categorized.
- [Local Transaction](https://banes-lab.com/records/lex/local-transaction.md): A transaction confined to a single service's own datastore, the atomic unit a saga or outbox composes.
- [Subscriber Model](https://banes-lab.com/records/lex/subscriber-model.md): A representation of which consumers subscribe to which topics and how they receive messages.
- [Formal Model](https://banes-lab.com/records/lex/formal-model.md): A precise, machine-processable model of a system from which implementations are generated.
- [Capacity Model](https://banes-lab.com/records/lex/capacity-model.md): A representation of how a system's capacity responds to load, used to predict its limits.
- [Complexity Model](https://banes-lab.com/records/lex/complexity-model.md): A representation of how an algorithm's resource use scales with input size.
- [Input Size Model](https://banes-lab.com/records/lex/input-size-model.md): A representation of the input dimension against which an algorithm's running time is measured.
- [Load Model](https://banes-lab.com/records/lex/load-model.md): A representation of the expected volume and pattern of demand a system must handle.
- [Memory Model](https://banes-lab.com/records/lex/memory-model.md): A representation of how an algorithm's memory use grows with input size.
- [Authenticated Principal](https://banes-lab.com/records/lex/authenticated-principal.md): The verified identity of the user or service on whose behalf a request executes, against which permissions are checked.
- [Trust Boundaries](https://banes-lab.com/records/lex/trust-boundaries.md): The demarcations in a system where the level of trust changes and data crossing them must be validated.
- [Layer Spine](https://banes-lab.com/records/lex/layer-spine.md): A conceptual representation of the system-decomposition spectrum that totally orders every concern from domain through product and supplies the tie-break direction.
- [BASE/Eventual Consistency](https://banes-lab.com/records/lex/base-eventual-consistency.md): A consistency model favoring availability and soft state, letting replicas converge over time rather than staying strongly consistent.