# The lex records whose kind is capability

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

## Entries

- [Automated Architecture Compliance](https://banes-lab.com/records/lex/automated-architecture-compliance.md): The ability to verify conformance to architectural rules automatically rather than by manual review.
- [Clean Boundary Design](https://banes-lab.com/records/lex/clean-boundary-design.md): The ability to define clear component boundaries from the outset, free of legacy entanglement.
- [Controlled Architecture Evolution](https://banes-lab.com/records/lex/controlled-architecture-evolution.md): The ability to let an architecture change over time within deliberate guardrails rather than drifting freely.
- [Decision History](https://banes-lab.com/records/lex/decision-history.md): The ability to trace why past architectural choices were made by consulting their recorded rationale.
- [Defect Detection](https://banes-lab.com/records/lex/defect-detection.md): The ability to find defects in a change before it is merged or shipped.
- [Early Defect Prevention](https://banes-lab.com/records/lex/early-defect-prevention.md): The ability to catch design flaws during review before they are built into the system.
- [Early Delivery with Guardrails](https://banes-lab.com/records/lex/early-delivery-with-guardrails.md): The ability to ship a minimal architecture quickly while keeping essential safeguards in place.
- [Easier Refactoring](https://banes-lab.com/records/lex/easier-refactoring.md): The ability to restructure code more safely because consistent patterns make change predictable.
- [Fit-for-Purpose Architecture](https://banes-lab.com/records/lex/fit-for-purpose-architecture.md): The ability to shape an architecture to the problem it solves rather than to convention.
- [Predictable Evolution](https://banes-lab.com/records/lex/predictable-evolution.md): The ability to change a system with confidence that consistent structure keeps outcomes foreseeable.
- [Prioritized Refactoring](https://banes-lab.com/records/lex/prioritized-refactoring.md): The ability to rank refactoring work by assessed impact so effort targets the highest-value fixes.
- [Regression Scope Selection](https://banes-lab.com/records/lex/regression-scope-selection.md): The ability to select exactly which tests a change requires by analyzing what it affects.
- [Remediation Planning](https://banes-lab.com/records/lex/remediation-planning.md): The ability to plan the steps that close the gap between a system's current and target states.
- [Risk Detection](https://banes-lab.com/records/lex/risk-detection.md): The ability to surface architectural risks early by reviewing structure before it is built.
- [Trade-Off Analysis](https://banes-lab.com/records/lex/trade-off-analysis.md): The ability to weigh competing quality attributes and choose a balanced compromise between them.
- [Centralized Interaction Logic](https://banes-lab.com/records/lex/centralized-interaction-logic.md): The ability to concentrate how a set of objects interact within one mediating component.
- [Controlled Variation](https://banes-lab.com/records/lex/controlled-variation.md): The ability to let subclasses vary only the designated steps of a fixed algorithm.
- [Decoupled Notification](https://banes-lab.com/records/lex/decoupled-notification.md): The ability to notify interested parties of a change without the source knowing who they are.
- [Deferred Execution](https://banes-lab.com/records/lex/deferred-execution.md): The ability to capture a request as an object so it can be run later, queued, or logged.
- [Exhaustive State Reasoning](https://banes-lab.com/records/lex/exhaustive-state-reasoning.md): The ability to enumerate and reason about every state a system can occupy and every transition between them.
- [Framework Reuse](https://banes-lab.com/records/lex/framework-reuse.md): The ability to reuse a fixed algorithm skeleton across many concrete implementations.
- [Guarded Transitions](https://banes-lab.com/records/lex/guarded-transitions.md): The ability to permit a state transition only when a specified condition holds.
- [Hierarchical States](https://banes-lab.com/records/lex/hierarchical-states.md): The ability to nest states so shared behavior is defined once on an enclosing state.
- [Lazy Traversal](https://banes-lab.com/records/lex/lazy-traversal.md): The ability to produce a collection's elements one at a time on demand rather than all at once.
- [Null-Check Elimination](https://banes-lab.com/records/lex/null-check-elimination.md): The ability to remove scattered null checks by substituting a benign do-nothing object.
- [Operation Extension Without Element Change](https://banes-lab.com/records/lex/operation-extension-without-element-change.md): The ability to add new operations over a structure without modifying its element classes.
- [Ordered Fallthrough](https://banes-lab.com/records/lex/ordered-fallthrough.md): The ability to offer a request to handlers in sequence until one of them accepts it.
- [Parallel Regions](https://banes-lab.com/records/lex/parallel-regions.md): The ability to model concurrently-active, independent regions of state within one machine.
- [Pluggable Handling](https://banes-lab.com/records/lex/pluggable-handling.md): The ability to add or reorder request handlers without changing the ones already in the chain.
- [Request Queuing](https://banes-lab.com/records/lex/request-queuing.md): The ability to hold requests captured as objects in a queue for later execution.
- [Runtime Behavior Selection](https://banes-lab.com/records/lex/runtime-behavior-selection.md): The ability to choose among interchangeable algorithms at runtime.
- [Snapshot/Restore](https://banes-lab.com/records/lex/snapshot-restore.md): The ability to capture an object's state and later restore it to that captured point.
- [State-Local Behavior](https://banes-lab.com/records/lex/state-local-behavior.md): The ability to attach behavior to each state so an object acts according to its current state.
- [Structure-Agnostic Iteration](https://banes-lab.com/records/lex/structure-agnostic-iteration.md): The ability to traverse a collection without depending on how it is internally organized.
- [Correct Workflow Reasoning](https://banes-lab.com/records/lex/correct-workflow-reasoning.md): The ability to reason correctly about a workflow's steps by knowing their causal relationships.
- [User-Visible Ordering Guarantees](https://banes-lab.com/records/lex/user-visible-ordering-guarantees.md): The ability to guarantee that users never observe an effect before its cause.
- [Race Detection](https://banes-lab.com/records/lex/race-detection.md): The ability to detect data races by finding accesses with no happens-before ordering between them.
- [Correct Stateful Processing](https://banes-lab.com/records/lex/correct-stateful-processing.md): The ability to process a stream statefully with correct results by handling events in their proper order.
- [Cycle Detection](https://banes-lab.com/records/lex/cycle-detection.md): The ability to detect cycles in a dependency graph before they cause deadlock or infinite resolution.
- [Build Order](https://banes-lab.com/records/lex/build-order.md): The ability to derive a correct build or execution order from a graph that contains no cycles.
- [Topological Ordering](https://banes-lab.com/records/lex/topological-ordering.md): The ability to linearize a directed acyclic graph into an order where every node follows its dependencies.
- [Concurrent Update Detection](https://banes-lab.com/records/lex/concurrent-update-detection.md): The ability to detect when two updates happened concurrently rather than one causally after the other.
- [Partial Ordering](https://banes-lab.com/records/lex/partial-ordering.md): The ability to establish a consistent partial order over events without a shared physical clock.
- [Wall-Clock-Correlated Causal Order](https://banes-lab.com/records/lex/wall-clock-correlated-causal-order.md): The ability to order events causally while keeping timestamps close to wall-clock time.
- [Conflict-Free Replica Convergence](https://banes-lab.com/records/lex/conflict-free-replica-convergence.md): The ability for replicas to converge to one state automatically without conflict resolution.
- [Identical Delivery Order Across Nodes](https://banes-lab.com/records/lex/identical-delivery-order-across-nodes.md): The ability to deliver messages to every node in the same total order.
- [Explicit Consistency/Availability Choice Under Partition](https://banes-lab.com/records/lex/explicit-consistency-availability-choice-under-partition.md): The ability to choose deliberately between consistency and availability when a network partition occurs.
- [Latency-Consistency Trade-off When Healthy](https://banes-lab.com/records/lex/latency-consistency-trade-off-when-healthy.md): The ability to weigh the latency-versus-consistency trade-off that remains even when the network is healthy.
- [Contract-Governed Service Reuse](https://banes-lab.com/records/lex/contract-governed-service-reuse.md): The ability to reuse services across an enterprise through well-defined contracts.
- [Database-Bottleneck Removal](https://banes-lab.com/records/lex/database-bottleneck-removal.md): The ability to eliminate the shared-database bottleneck by holding state in distributed memory.
- [Decentralized Ownership](https://banes-lab.com/records/lex/decentralized-ownership.md): The ability for separate teams to own, deploy and evolve their services independently.
- [External System Isolation](https://banes-lab.com/records/lex/external-system-isolation.md): The ability to isolate the core from external systems behind adapter boundaries.
- [Framework Independence](https://banes-lab.com/records/lex/framework-independence.md): The ability to keep business rules independent of any particular framework.
- [Independent Stage Testing](https://banes-lab.com/records/lex/independent-stage-testing.md): The ability to test each filter stage in isolation from the rest of the pipeline.
- [Infrastructure Independence](https://banes-lab.com/records/lex/infrastructure-independence.md): The ability to keep the core independent of the infrastructure it runs on.
- [Locality of Change](https://banes-lab.com/records/lex/locality-of-change.md): The ability to make a feature's changes in one place because its code is grouped together.
- [Reorderable Stages](https://banes-lab.com/records/lex/reorderable-stages.md): The ability to reorder or recombine independent processing stages.
- [Structured Code Organization](https://banes-lab.com/records/lex/structured-code-organization.md): The ability to organize code predictably by assigning each responsibility to a layer.
- [Transactional Simplicity](https://banes-lab.com/records/lex/transactional-simplicity.md): The ability to use straightforward local transactions when all state lives in one process.
- [Automated Validation](https://banes-lab.com/records/lex/automated-validation.md): The ability to check data automatically against a declared schema.
- [Consumer-Driven Development](https://banes-lab.com/records/lex/consumer-driven-development.md): The ability to shape a provider's contract from the concrete needs of its consumers.
- [Consumer-Verified Compatibility](https://banes-lab.com/records/lex/consumer-verified-compatibility.md): The ability to verify a provider still satisfies the contracts its consumers depend on.
- [Cross-System Communication](https://banes-lab.com/records/lex/cross-system-communication.md): The ability for independent systems to exchange and understand data with one another.
- [Incremental Deployment](https://banes-lab.com/records/lex/incremental-deployment.md): The ability to roll out changes gradually while old and new versions coexist.
- [Independent Consumers](https://banes-lab.com/records/lex/independent-consumers.md): The ability for consumers to evolve on their own schedule because the interface stays stable.
- [Multi-Client Integration](https://banes-lab.com/records/lex/multi-client-integration.md): The ability to serve many different clients through one compatible protocol.
- [Rolling Upgrades](https://banes-lab.com/records/lex/rolling-upgrades.md): The ability to upgrade instances one at a time while old and new versions interoperate.
- [Schema Evolution](https://banes-lab.com/records/lex/schema-evolution.md): The ability to change a data schema over time without breaking existing readers or writers.
- [Evolution](https://banes-lab.com/records/lex/evolution.md): The ability to change an interface over time, in tension with the stability its contract promises.
- [Agreed Single Value Across Nodes](https://banes-lab.com/records/lex/agreed-single-value-across-nodes.md): The ability for distributed nodes to agree on a single value despite failures.
- [Automatic Failover of Leadership](https://banes-lab.com/records/lex/automatic-failover-of-leadership.md): The ability to automatically elect a new leader when the current one fails.
- [Central-Orchestrator-Free Coordination](https://banes-lab.com/records/lex/central-orchestrator-free-coordination.md): The ability for services to coordinate through events without a central orchestrator.
- [Centralized Control of Distributed Runtime](https://banes-lab.com/records/lex/centralized-control-of-distributed-runtime.md): The ability to manage a distributed runtime's behavior from one central control point.
- [Cross-Service Analysis](https://banes-lab.com/records/lex/cross-service-analysis.md): The ability to analyze behavior across services by querying their aggregated logs.
- [Independent Ownership](https://banes-lab.com/records/lex/independent-ownership.md): The ability for each node or team to own and control its part without central approval.
- [Ordered Multi-Step Execution](https://banes-lab.com/records/lex/ordered-multi-step-execution.md): The ability to execute the steps of a workflow in a defined order.
- [Single-Writer Coordination](https://banes-lab.com/records/lex/single-writer-coordination.md): The ability to designate one elected node as the sole writer to coordinate updates.
- [Unified Config Management](https://banes-lab.com/records/lex/unified-config-management.md): The ability to manage all services' configuration from one place.
- [Unified Identity](https://banes-lab.com/records/lex/unified-identity.md): The ability to give users one identity recognized across all services.
- [Bounded Context Ownership](https://banes-lab.com/records/lex/bounded-context-ownership.md): The ability for a team or module to own and control one bounded part of the system.
- [Change Isolation](https://banes-lab.com/records/lex/change-isolation.md): The ability to confine the impact of a change behind a boundary so callers are unaffected.
- [Independent Testing](https://banes-lab.com/records/lex/independent-testing.md): The ability to test a component in isolation without standing up its collaborators.
- [Internal Refactoring](https://banes-lab.com/records/lex/internal-refactoring.md): The ability to rework a module's internals freely as long as its interface stays stable.
- [Invariant Protection](https://banes-lab.com/records/lex/invariant-protection.md): The ability to guarantee an object's rules always hold by controlling all access to its state.
- [Product Lines](https://banes-lab.com/records/lex/product-lines.md): The ability to build a family of related products from shared, reusable components.
- [Shared Libraries](https://banes-lab.com/records/lex/shared-libraries.md): The ability to factor common functionality into libraries reused across projects.
- [Strategy Swap](https://banes-lab.com/records/lex/strategy-swap.md): The ability to replace one interchangeable algorithm or implementation with another.
- [Test Isolation](https://banes-lab.com/records/lex/test-isolation.md): The ability to exercise a unit under test without its dependencies interfering.
- [Vendor Swap](https://banes-lab.com/records/lex/vendor-swap.md): The ability to replace one vendor's implementation with another behind a stable interface.
- [Independent Deployment](https://banes-lab.com/records/lex/independent-deployment.md): The ability to release a component to production without coordinating the deployment of others.
- [Self-Healing](https://banes-lab.com/records/lex/self-healing.md): The ability of a system to detect and recover from failures without human intervention.
- [Discovery](https://banes-lab.com/records/lex/discovery.md): The ability to locate available components, services, or capabilities at runtime.
- [Replay](https://banes-lab.com/records/lex/replay.md): The ability to re-process a recorded sequence of events to reconstruct or recover state.
- [Automation](https://banes-lab.com/records/lex/automation.md): The execution of tasks by software or machinery without manual intervention.
- [Controlled Access](https://banes-lab.com/records/lex/controlled-access.md): Mediated, restricted access to a resource so that only permitted operations reach it.
- [Controlled Evolution](https://banes-lab.com/records/lex/controlled-evolution.md): The managed, deliberate change of a system over time without breaking existing consumers.
- [Damage Limitation](https://banes-lab.com/records/lex/damage-limitation.md): Containing the blast radius of a failure or breach so its impact stays bounded.
- [Large Input Handling](https://banes-lab.com/records/lex/large-input-handling.md): The ability to process inputs too large to fit in memory, through streaming or chunking.
- [Plugin Swap](https://banes-lab.com/records/lex/plugin-swap.md): Replacing one plugin implementation with another at a defined seam without modifying the host.
- [Recovery](https://banes-lab.com/records/lex/recovery.md): Restoring a system to correct operation or a consistent state after a failure.
- [Reuse](https://banes-lab.com/records/lex/reuse.md): Using an existing component, module, or solution in a new context rather than rebuilding it.
- [Safe Refactoring](https://banes-lab.com/records/lex/safe-refactoring.md): Changing a system's internal structure with confidence that its observable behavior is preserved.
- [Safe Substitution](https://banes-lab.com/records/lex/safe-substitution.md): Replacing a component or expression with an equivalent one without altering program correctness.
- [Undo/Redo](https://banes-lab.com/records/lex/undo-redo.md): The ability to reverse a previously applied operation and to reapply it.
- [Behavior Validation](https://banes-lab.com/records/lex/behavior-validation.md): The ability to confirm a system behaves as its specification requires.
- [Broad Input Exploration](https://banes-lab.com/records/lex/broad-input-exploration.md): The ability to exercise a function across a wide, generated range of inputs.
- [Mathematical Assurance](https://banes-lab.com/records/lex/mathematical-assurance.md): The ability to prove mathematically that a system meets its specification.
- [Regression Safety](https://banes-lab.com/records/lex/regression-safety.md): The ability to catch regressions when code changes by re-running tests.
- [Reliable Automation](https://banes-lab.com/records/lex/reliable-automation.md): The ability to automate a process reliably because it repeats identically each run.
- [Reliable Testing](https://banes-lab.com/records/lex/reliable-testing.md): The ability to test dependably because the same inputs always produce the same outputs.
- [Safe Operation](https://banes-lab.com/records/lex/safe-operation.md): The ability to operate without producing incorrect or harmful results.
- [Safe Sharing](https://banes-lab.com/records/lex/safe-sharing.md): The ability to share data freely across threads because it cannot be modified.
- [Specification Compliance](https://banes-lab.com/records/lex/specification-compliance.md): The ability to confirm an implementation conforms to its specification.
- [Controlled Instantiation](https://banes-lab.com/records/lex/controlled-instantiation.md): The ability to govern how and when an object is created.
- [Deferred Instantiation](https://banes-lab.com/records/lex/deferred-instantiation.md): The ability to let subclasses decide which class to instantiate, deferring the choice from the base class.
- [Dynamic Object Creation](https://banes-lab.com/records/lex/dynamic-object-creation.md): The ability to create new objects at runtime by cloning existing configured instances.
- [Family-Level Replacement](https://banes-lab.com/records/lex/family-level-replacement.md): The ability to swap an entire family of related products by changing a single factory.
- [Polymorphic Construction](https://banes-lab.com/records/lex/polymorphic-construction.md): The ability to create objects through a common interface without naming their concrete classes.
- [Shared Resource Access](https://banes-lab.com/records/lex/shared-resource-access.md): The ability to give many callers coordinated access to one shared resource.
- [Valid Object Creation](https://banes-lab.com/records/lex/valid-object-creation.md): The ability to construct an object only once all its required parts are supplied and validated.
- [Business Rule Encapsulation](https://banes-lab.com/records/lex/business-rule-encapsulation.md): The ability to keep business rules inside the domain objects they govern.
- [Cross-Entity Domain Logic](https://banes-lab.com/records/lex/cross-entity-domain-logic.md): The ability to place logic that spans several entities in a dedicated domain service.
- [Domain Alignment](https://banes-lab.com/records/lex/domain-alignment.md): The ability to keep the software model closely aligned with the business domain it serves.
- [Identity-Based Equality](https://banes-lab.com/records/lex/identity-based-equality.md): The ability to treat two objects as the same when they share an identity, regardless of their attributes.
- [Legacy/System Integration](https://banes-lab.com/records/lex/legacy-system-integration.md): The ability to integrate a legacy or external system without letting its model corrupt the domain.
- [Lifecycle Tracking](https://banes-lab.com/records/lex/lifecycle-tracking.md): The ability to track an entity as the same thing through changes over its lifetime.
- [Root-Guarded Invariants](https://banes-lab.com/records/lex/root-guarded-invariants.md): The ability to enforce an aggregate's invariants by routing all changes through its root.
- [Self-Validating Values](https://banes-lab.com/records/lex/self-validating-values.md): The ability for a value object to guarantee its own validity at construction.
- [Side-Effect-Free Equality](https://banes-lab.com/records/lex/side-effect-free-equality.md): The ability to compare value objects by their contents with no side effects.
- [Transactional Consistency Boundary](https://banes-lab.com/records/lex/transactional-consistency-boundary.md): The ability to treat an aggregate as the unit within which invariants hold atomically.
- [Blast-Radius Reduction](https://banes-lab.com/records/lex/blast-radius-reduction.md): The ability to contain a failure so it affects only one isolated partition.
- [Bounded Waiting](https://banes-lab.com/records/lex/bounded-waiting.md): The ability to guarantee an operation waits no longer than a set limit.
- [Cascading Failure Prevention](https://banes-lab.com/records/lex/cascading-failure-prevention.md): The ability to stop one component's failure from cascading through its callers.
- [Continued Operation Under Failure](https://banes-lab.com/records/lex/continued-operation-under-failure.md): The ability to keep operating correctly despite the failure of some components.
- [Controlled Failure](https://banes-lab.com/records/lex/controlled-failure.md): The ability to fail in a defined, handled way rather than crashing unpredictably.
- [Deny-by-Default Behavior](https://banes-lab.com/records/lex/deny-by-default-behavior.md): The ability to default to denying access when a security check cannot complete.
- [Early Defect Detection](https://banes-lab.com/records/lex/early-defect-detection.md): The ability to surface a defect immediately at its source rather than letting it propagate.
- [Localized Recovery](https://banes-lab.com/records/lex/localized-recovery.md): The ability to recover from a failure within its boundary without restarting the whole system.
- [Overload Protection](https://banes-lab.com/records/lex/overload-protection.md): The ability to protect a system from being overwhelmed by shedding or slowing incoming load.
- [Safe Failure](https://banes-lab.com/records/lex/safe-failure.md): The ability to fail without corrupting state or causing further damage.
- [Stability Under Stress](https://banes-lab.com/records/lex/stability-under-stress.md): The ability to keep functioning under load spikes and adverse conditions.
- [Transient Failure Recovery](https://banes-lab.com/records/lex/transient-failure-recovery.md): The ability to recover from short-lived failures by retrying the operation.
- [Routing](https://banes-lab.com/records/lex/routing.md): The ability to direct each message to its correct destination based on topic, key, or rule.
- [Asynchronous Processing](https://banes-lab.com/records/lex/asynchronous-processing.md): The ability to handle work without blocking the caller, decoupling request from completion.
- [Atomic State Change + Message Publish](https://banes-lab.com/records/lex/atomic-state-change-message-publish.md): The ability to commit a state change and publish its corresponding message as one atomic unit.
- [Consumer Elasticity](https://banes-lab.com/records/lex/consumer-elasticity.md): The ability to add or remove consumers dynamically to match message volume.
- [Cross-Service Communication](https://banes-lab.com/records/lex/cross-service-communication.md): The ability for independent services to exchange information without direct coupling.
- [Decoupled Domain Reactions](https://banes-lab.com/records/lex/decoupled-domain-reactions.md): The ability for domain logic to react to events without the emitter knowing its consumers.
- [Decoupled Event Distribution](https://banes-lab.com/records/lex/decoupled-event-distribution.md): The ability to distribute events to many consumers without the source depending on any of them.
- [Distributed Autonomy](https://banes-lab.com/records/lex/distributed-autonomy.md): The ability for distributed nodes to operate and decide independently without central coordination.
- [Failure Recovery](https://banes-lab.com/records/lex/failure-recovery.md): The ability to restore correct operation after a failure through compensation or retry.
- [Fan-Out Notification](https://banes-lab.com/records/lex/fan-out-notification.md): The ability to deliver one event to many interested subscribers at once.
- [Historical Reconstruction](https://banes-lab.com/records/lex/historical-reconstruction.md): The ability to rebuild past state by replaying the recorded sequence of events.
- [Long-Running Transactions](https://banes-lab.com/records/lex/long-running-transactions.md): The ability to carry a business transaction across many steps and a long duration via compensation.
- [Parallel Message Processing](https://banes-lab.com/records/lex/parallel-message-processing.md): The ability for multiple consumers to process messages from the same source at once.
- [Poison-Message Quarantine](https://banes-lab.com/records/lex/poison-message-quarantine.md): The ability to divert a repeatedly-failing message to a separate queue so it stops blocking others.
- [Read/Write Model Optimization](https://banes-lab.com/records/lex/read-write-model-optimization.md): The ability to shape read and write models independently for their differing access patterns.
- [Reprocessing After Fix](https://banes-lab.com/records/lex/reprocessing-after-fix.md): The ability to reprocess quarantined messages once the underlying defect is fixed.
- [Safe Message Redelivery](https://banes-lab.com/records/lex/safe-message-redelivery.md): The ability to redeliver a message without causing duplicate effects, given idempotent handling.
- [Temporal Modeling](https://banes-lab.com/records/lex/temporal-modeling.md): The ability to model how state evolved over time by preserving each change as an event.
- [Temporal Queries](https://banes-lab.com/records/lex/temporal-queries.md): The ability to ask what a system's state was at any past point in time.
- [Work Distribution](https://banes-lab.com/records/lex/work-distribution.md): The ability to spread units of work across many workers via a broker.
- [Client Generation](https://banes-lab.com/records/lex/client-generation.md): The ability to generate client code automatically from an API's self-description.
- [Dynamic Processing](https://banes-lab.com/records/lex/dynamic-processing.md): The ability to process data generically by reading its self-describing structure.
- [HATEOAS-style Navigation](https://banes-lab.com/records/lex/hateoas-style-navigation.md): The ability for clients to navigate an API by following links it returns in its responses.
- [Plugin Loading](https://banes-lab.com/records/lex/plugin-loading.md): The ability to discover and load plugins declared in manifests at runtime.
- [Reduced Boilerplate](https://banes-lab.com/records/lex/reduced-boilerplate.md): The ability to avoid repetitive boilerplate by relying on conventions.
- [Runtime Configuration without Code Change](https://banes-lab.com/records/lex/runtime-configuration-without-code-change.md): The ability to change a system's behavior by editing configuration rather than code.
- [Program Transformation](https://banes-lab.com/records/lex/program-transformation.md): The ability to analyze and rewrite a program by manipulating its structured representation.
- [Boilerplate Elimination](https://banes-lab.com/records/lex/boilerplate-elimination.md): The ability to remove repetitive boilerplate by generating it from a single declaration.
- [Diagnostics](https://banes-lab.com/records/lex/diagnostics.md): The ability to inspect a running system's own structure and state to diagnose it.
- [Early Error Detection](https://banes-lab.com/records/lex/early-error-detection.md): The ability to catch errors at compile time rather than letting them surface at runtime.
- [Dynamic Optimization/Adaptation](https://banes-lab.com/records/lex/dynamic-optimization-adaptation.md): The ability to generate specialized code at runtime to optimize or adapt to observed conditions.
- [Domain Expressiveness](https://banes-lab.com/records/lex/domain-expressiveness.md): The ability to express domain rules directly in terms a domain expert recognizes.
- [High-Level Domain Expression](https://banes-lab.com/records/lex/high-level-domain-expression.md): The ability to express solutions in high-level domain terms rather than low-level general-purpose code.
- [Model-Integrated Systems](https://banes-lab.com/records/lex/model-integrated-systems.md): The ability of a software system to incorporate models as integral parts of its behavior.
- [Audit and Debugging](https://banes-lab.com/records/lex/audit-and-debugging.md): The ability to inspect and trace a model's decisions for auditing and debugging.
- [Bounded Tool-Using Agents](https://banes-lab.com/records/lex/bounded-tool-using-agents.md): The ability to run agents that use external tools within defined, safe limits.
- [Contextual Generation](https://banes-lab.com/records/lex/contextual-generation.md): The ability to generate output informed by retrieved, task-specific context.
- [Controlled Model Deployment](https://banes-lab.com/records/lex/controlled-model-deployment.md): The ability to release models through a governed, approved process.
- [Degradation Detection](https://banes-lab.com/records/lex/degradation-detection.md): The ability to detect when a model's accuracy declines as data shifts.
- [Governed Autonomy](https://banes-lab.com/records/lex/governed-autonomy.md): The ability to let an agent act autonomously within enforced governance limits.
- [Model Selection/Regression Detection](https://banes-lab.com/records/lex/model-selection-regression-detection.md): The ability to compare models and catch quality regressions before deployment.
- [Relationship-Aware Retrieval/Reasoning](https://banes-lab.com/records/lex/relationship-aware-retrieval-reasoning.md): The ability to retrieve and reason over the relationships between entities, not just isolated facts.
- [Reliable Model Lifecycle](https://banes-lab.com/records/lex/reliable-model-lifecycle.md): The ability to manage a model's data, training, deployment and monitoring reliably and repeatably.
- [Runtime Prediction/Generation](https://banes-lab.com/records/lex/runtime-prediction-generation.md): The ability to produce predictions or generated output from a trained model at runtime.
- [Safe Model Deployment](https://banes-lab.com/records/lex/safe-model-deployment.md): The ability to deploy models with safeguards that bound their behavior.
- [Semantic Search](https://banes-lab.com/records/lex/semantic-search.md): The ability to find results by meaning and similarity rather than exact keyword match.
- [Similarity Retrieval](https://banes-lab.com/records/lex/similarity-retrieval.md): The ability to retrieve items nearest to a query in an embedding space.
- [Incident Diagnosis](https://banes-lab.com/records/lex/incident-diagnosis.md): The ability to diagnose the cause of an incident from a system's observable signals.
- [Incident Analysis](https://banes-lab.com/records/lex/incident-analysis.md): The ability to reconstruct and analyze an incident from the events a system logged.
- [Failure Detection](https://banes-lab.com/records/lex/failure-detection.md): The ability to detect that a system has failed or degraded by watching its monitored signals.
- [Timely Intervention](https://banes-lab.com/records/lex/timely-intervention.md): The ability to intervene on a problem quickly by being alerted the moment it arises.
- [Accountability](https://banes-lab.com/records/lex/accountability.md): The ability to attribute every consequential action to the actor responsible for it.
- [Forensics](https://banes-lab.com/records/lex/forensics.md): The ability to reconstruct after the fact what happened from an immutable audit record.
- [End-to-End Causality](https://banes-lab.com/records/lex/end-to-end-causality.md): The ability to follow a request's cause-and-effect chain across every component it touches.
- [Request-Level Traceability](https://banes-lab.com/records/lex/request-level-traceability.md): The ability to trace all work belonging to one request by a shared correlation identifier.
- [Cause-Effect Reconstruction](https://banes-lab.com/records/lex/cause-effect-reconstruction.md): The ability to reconstruct which event triggered which by following causation identifiers.
- [Latency/Failure Root Cause Analysis](https://banes-lab.com/records/lex/latency-failure-root-cause-analysis.md): The ability to pinpoint which service caused a request's latency or failure by tracing it across hops.
- [Error-Budget Decisions](https://banes-lab.com/records/lex/error-budget-decisions.md): The ability to decide how much risk to take by spending against a defined reliability error budget.
- [At-a-Glance System Health](https://banes-lab.com/records/lex/at-a-glance-system-health.md): The ability to see a system's overall health at a glance from a consolidated visual display.
- [Trend Visibility](https://banes-lab.com/records/lex/trend-visibility.md): The ability to see how a metric is trending over time from a visualized history.
- [Continuous Delivery](https://banes-lab.com/records/lex/continuous-delivery.md): The ability to release changes to production continuously through an automated pipeline.
- [Decoupled Deploy and Release](https://banes-lab.com/records/lex/decoupled-deploy-and-release.md): The ability to deploy code and separately decide when to activate it for users.
- [Dynamic Lookup](https://banes-lab.com/records/lex/dynamic-lookup.md): The ability to find a registered component by key at runtime.
- [Dynamic Resolution](https://banes-lab.com/records/lex/dynamic-resolution.md): The ability to resolve a service's current location or instance at runtime.
- [Framework Control Flow](https://banes-lab.com/records/lex/framework-control-flow.md): The ability to let a framework drive the overall control flow and call into application code.
- [Gradual Rollout](https://banes-lab.com/records/lex/gradual-rollout.md): The ability to enable a feature for a growing subset of users over time.
- [Late Resolution](https://banes-lab.com/records/lex/late-resolution.md): The ability to defer resolving which implementation to use until the moment it is needed.
- [Mocking](https://banes-lab.com/records/lex/mocking.md): The ability to substitute test doubles for real dependencies by injecting them.
- [Runtime Lookup](https://banes-lab.com/records/lex/runtime-lookup.md): The ability to look up a needed service by name at runtime.
- [Third-Party Extension](https://banes-lab.com/records/lex/third-party-extension.md): The ability for outside developers to extend the system through published extension points.
- [Platform Migration](https://banes-lab.com/records/lex/platform-migration.md): The ability to move a system to a different platform with little or no rework.
- [Cross-Platform Deployment](https://banes-lab.com/records/lex/cross-platform-deployment.md): The ability to deploy the same software unchanged across different operating systems and platforms.
- [Reliable Deployment](https://banes-lab.com/records/lex/reliable-deployment.md): The ability to deploy with confidence because every environment behaves the same way.
- [Repeatable Runtime Packaging](https://banes-lab.com/records/lex/repeatable-runtime-packaging.md): The ability to package an application and its runtime into one reproducible, portable unit.
- [Automated Provisioning](https://banes-lab.com/records/lex/automated-provisioning.md): The ability to create and configure infrastructure automatically from declarative definitions.
- [Certification/Compatibility](https://banes-lab.com/records/lex/certification-compatibility.md): The ability to certify a system and interoperate with others by conforming to a shared standard.
- [Protocol Swap](https://banes-lab.com/records/lex/protocol-swap.md): The ability to switch the transport or wire protocol without changing core domain logic.
- [Environment-Specific Deployment](https://banes-lab.com/records/lex/environment-specific-deployment.md): The ability to deploy one build into different environments by supplying environment-specific configuration.
- [Deterministic Redeploys](https://banes-lab.com/records/lex/deterministic-redeploys.md): The ability to redeploy identical infrastructure every time by replacing instances from a fixed definition.
- [Instance Replacement over Mutation](https://banes-lab.com/records/lex/instance-replacement-over-mutation.md): The ability to update infrastructure by replacing instances wholesale rather than mutating them in place.
- [Capability Addition without Core Modification](https://banes-lab.com/records/lex/capability-addition-without-core-modification.md): The ability to add new capabilities at runtime without modifying the core.
- [Deferred Implementation Choice](https://banes-lab.com/records/lex/deferred-implementation-choice.md): The ability to postpone choosing a concrete implementation until runtime.
- [Dynamic Routing](https://banes-lab.com/records/lex/dynamic-routing.md): The ability to route requests to service instances discovered at runtime.
- [Environment-Specific Composition](https://banes-lab.com/records/lex/environment-specific-composition.md): The ability to assemble different implementations per environment at runtime.
- [Self-Registration](https://banes-lab.com/records/lex/self-registration.md): The ability for a component to register itself on load without external wiring.
- [Bottleneck Awareness](https://banes-lab.com/records/lex/bottleneck-awareness.md): The ability to recognize which component limits a system's overall throughput.
- [Complexity Awareness](https://banes-lab.com/records/lex/complexity-awareness.md): The ability to reason about how an algorithm's cost grows with input size.
- [Space Complexity Awareness](https://banes-lab.com/records/lex/space-complexity-awareness.md): The ability to reason about how an algorithm's memory use grows with input size.
- [Abuse/Overload Protection](https://banes-lab.com/records/lex/abuse-overload-protection.md): The ability to shield a system from abusive or excessive request volume.
- [Bottleneck Detection](https://banes-lab.com/records/lex/bottleneck-detection.md): The ability to locate the component that most constrains overall performance.
- [Capacity Increase without Distribution](https://banes-lab.com/records/lex/capacity-increase-without-distribution.md): The ability to raise capacity by enlarging a single machine rather than adding more machines.
- [Comparative Analysis](https://banes-lab.com/records/lex/comparative-analysis.md): The ability to compare algorithms by how their cost grows, independent of hardware.
- [Dynamic Capacity](https://banes-lab.com/records/lex/dynamic-capacity.md): The ability to add or remove capacity automatically as demand rises and falls.
- [Efficient Processing](https://banes-lab.com/records/lex/efficient-processing.md): The ability to complete work using the fewest operations and least resource for the input.
- [Geographically-Local Delivery](https://banes-lab.com/records/lex/geographically-local-delivery.md): The ability to serve content from a location near the user, cutting distance latency.
- [Growth Handling](https://banes-lab.com/records/lex/growth-handling.md): The ability to absorb increasing load without redesign.
- [Large Dataset Scaling](https://banes-lab.com/records/lex/large-dataset-scaling.md): The ability to grow storage and throughput by spreading a dataset across many shards.
- [Latency Reduction](https://banes-lab.com/records/lex/latency-reduction.md): The ability to lower response time by serving results from a nearer or faster source.
- [Load Handling](https://banes-lab.com/records/lex/load-handling.md): The ability to process a high volume of work without degrading.
- [Memory Scalability](https://banes-lab.com/records/lex/memory-scalability.md): The ability to handle larger inputs without memory use growing prohibitively.
- [Multi-Core Utilization](https://banes-lab.com/records/lex/multi-core-utilization.md): The ability to use multiple processor cores simultaneously for a single workload.
- [Origin Offload](https://banes-lab.com/records/lex/origin-offload.md): The ability to relieve the origin server by serving cached copies from the edge.
- [Overlapping Work](https://banes-lab.com/records/lex/overlapping-work.md): The ability to make progress on multiple tasks over the same period by interleaving them.
- [Read Traffic Offload](https://banes-lab.com/records/lex/read-traffic-offload.md): The ability to divert read queries to replicas, relieving the primary.
- [Reduced Load](https://banes-lab.com/records/lex/reduced-load.md): The ability to lessen work reaching a backend by serving repeat results from a cache.
- [Regression Detection](https://banes-lab.com/records/lex/regression-detection.md): The ability to catch a performance regression by comparing measurements against a baseline.
- [Scale-Out](https://banes-lab.com/records/lex/scale-out.md): The ability to add capacity by adding more machines that share the load.
- [Targeted Improvement](https://banes-lab.com/records/lex/targeted-improvement.md): The ability to direct optimization effort at the specific constraint that limits performance.
- [Traffic Distribution](https://banes-lab.com/records/lex/traffic-distribution.md): The ability to spread incoming requests across multiple backends evenly.
- [Utilization-Based Sizing](https://banes-lab.com/records/lex/utilization-based-sizing.md): The ability to size capacity from measured utilization and wait-time targets.
- [Wait-Time Prediction](https://banes-lab.com/records/lex/wait-time-prediction.md): The ability to predict how long work will wait given arrival and service rates.
- [Normalized Translation](https://banes-lab.com/records/lex/normalized-translation.md): The ability to translate between systems through one shared canonical form rather than many pairwise mappings.
- [Cross-System Mapping](https://banes-lab.com/records/lex/cross-system-mapping.md): The ability to map data between systems through a single shared canonical representation.
- [Deduplication](https://banes-lab.com/records/lex/deduplication.md): The ability to recognize and collapse values that are equivalent once reduced to canonical form.
- [Security Checks](https://banes-lab.com/records/lex/security-checks.md): The ability to apply security checks reliably by first reducing input to one unambiguous form.
- [Non-Redundant Storage](https://banes-lab.com/records/lex/non-redundant-storage.md): The ability to store each fact once, so it cannot drift out of sync with copies.
- [Reduced Redundancy](https://banes-lab.com/records/lex/reduced-redundancy.md): The ability to eliminate duplicated facts by referencing a single stored copy.
- [Disambiguation](https://banes-lab.com/records/lex/disambiguation.md): The ability to give each concept one unambiguous name and meaning across a domain.
- [Correct Usage](https://banes-lab.com/records/lex/correct-usage.md): The ability of callers to use an interface correctly because its names reveal its intent.
- [Safe Use](https://banes-lab.com/records/lex/safe-use.md): The ability to use an interface safely because it behaves the way its name and shape suggest.
- [Update-Anomaly Elimination](https://banes-lab.com/records/lex/update-anomaly-elimination.md): The ability to eliminate update anomalies by storing each fact in exactly one place.
- [Evidence Automation](https://banes-lab.com/records/lex/evidence-automation.md): The ability to generate and collect compliance evidence automatically from live systems rather than assembling it by hand.
- [Automated Control](https://banes-lab.com/records/lex/automated-control.md): The ability to enforce rules automatically at runtime without manual intervention.
- [Coarse-Grained Permission Management](https://banes-lab.com/records/lex/coarse-grained-permission-management.md): The ability to manage access by assigning broad, role-level permission sets rather than per-individual grants.
- [Compromise Containment](https://banes-lab.com/records/lex/compromise-containment.md): The ability to keep a breach confined to one layer or segment so it cannot spread system-wide.
- [Context-Aware Authorization](https://banes-lab.com/records/lex/context-aware-authorization.md): The ability to base access decisions on the runtime context of a request, such as its attributes, its environment and the resource's state.
- [Data Protection](https://banes-lab.com/records/lex/data-protection.md): The ability to safeguard data against unauthorized access, loss, or disclosure throughout its lifecycle.
- [Fine-Grained Access Control](https://banes-lab.com/records/lex/fine-grained-access-control.md): The ability to grant or deny access at a precise level using specific attributes rather than broad roles.
- [Forged-Request Rejection](https://banes-lab.com/records/lex/forged-request-rejection.md): The ability to detect and reject requests that a user did not intentionally initiate.
- [Identity-Aware Authorization](https://banes-lab.com/records/lex/identity-aware-authorization.md): The ability to make access decisions grounded in a verified caller identity.
- [Injection Prevention](https://banes-lab.com/records/lex/injection-prevention.md): The ability to stop untrusted input from being interpreted as executable code or commands.
- [Injection-Safe Data Access](https://banes-lab.com/records/lex/injection-safe-data-access.md): The ability to query data such that input can never be interpreted as part of the query structure.
- [Ongoing Assurance](https://banes-lab.com/records/lex/ongoing-assurance.md): The ability to demonstrate continuously that controls remain effective, rather than only at audit time.
- [Priority-Based Controls](https://banes-lab.com/records/lex/priority-based-controls.md): The ability to apply controls in order of risk priority, addressing the greatest exposure first.
- [Proactive Risk Reduction](https://banes-lab.com/records/lex/proactive-risk-reduction.md): The ability to reduce risk by designing safeguards in from the start rather than patching flaws later.
- [Resource Protection](https://banes-lab.com/records/lex/resource-protection.md): The ability to ensure that only permitted operations reach a protected resource.
- [Revocable Access](https://banes-lab.com/records/lex/revocable-access.md): The ability to withdraw a principal's access immediately when a session or grant is terminated.
- [Safe Credential Handling](https://banes-lab.com/records/lex/safe-credential-handling.md): The ability to store, transmit, and use credentials without exposing them.
- [Safe Rendering](https://banes-lab.com/records/lex/safe-rendering.md): The ability to display untrusted data without allowing it to execute as markup or script.
- [Secure Communication](https://banes-lab.com/records/lex/secure-communication.md): The ability to exchange data over a channel protected from interception and tampering.
- [Analytics/Personalization](https://banes-lab.com/records/lex/analytics-personalization.md): The ability to analyze collected data and tailor experiences to individuals, in tension with strict data minimization.
- [Reduced Mean Time to Recovery](https://banes-lab.com/records/lex/reduced-mean-time-to-recovery.md): The ability to shorten the mean time to recover from a failure by acting automatically.
- [Readiness/Liveness Routing](https://banes-lab.com/records/lex/readiness-liveness-routing.md): The ability to route traffic only to instances that report themselves ready and alive.
- [Continuity During Failure](https://banes-lab.com/records/lex/continuity-during-failure.md): The ability to keep serving requests by switching to a standby when the primary fails.
- [Health Detection](https://banes-lab.com/records/lex/health-detection.md): The ability to detect that a component has failed so a switchover can be triggered.
- [Read Scaling](https://banes-lab.com/records/lex/read-scaling.md): The ability to serve more read traffic by distributing it across replicas.
- [Demand-Based Capacity](https://banes-lab.com/records/lex/demand-based-capacity.md): The ability to match provisioned capacity to current demand automatically.
- [Incident Reduction](https://banes-lab.com/records/lex/incident-reduction.md): The ability to reduce the number of incidents that reach human responders by fixing them automatically.
- [Fast Failure Recovery](https://banes-lab.com/records/lex/fast-failure-recovery.md): The ability to recover quickly from a bad release by reverting to the last good version.
- [Low-Risk Cutover](https://banes-lab.com/records/lex/low-risk-cutover.md): The ability to switch traffic to a new version with low risk by keeping the old one ready to fall back to.
- [Controlled Exposure](https://banes-lab.com/records/lex/controlled-exposure.md): The ability to expose a new version to a small, controlled fraction of traffic first.
- [Empirical Resilience Verification](https://banes-lab.com/records/lex/empirical-resilience-verification.md): The ability to verify a system's resilience empirically by injecting faults and observing recovery.
- [Connection Cleanup](https://banes-lab.com/records/lex/connection-cleanup.md): The ability to close open connections cleanly when a process shuts down.
- [In-Flight Work Drain](https://banes-lab.com/records/lex/in-flight-work-drain.md): The ability to finish or safely hand off in-progress work before a process exits.
- [Disk-Failure Survival](https://banes-lab.com/records/lex/disk-failure-survival.md): The ability to keep serving data after one or more disks fail, by reconstructing from redundancy.
- [Parity-Based Recovery](https://banes-lab.com/records/lex/parity-based-recovery.md): The ability to reconstruct lost data from parity information stored across the disk array.
- [Consumer-Specific Contracts](https://banes-lab.com/records/lex/consumer-specific-contracts.md): The ability to give each client an interface exposing only the operations it uses.
- [Feature Extension without Modification](https://banes-lab.com/records/lex/feature-extension-without-modification.md): The ability to add new behavior by writing new code rather than editing existing, tested code.
- [Stepwise Transformation](https://banes-lab.com/records/lex/stepwise-transformation.md): The ability to transform data through a sequence of small, composable stages.
- [Streaming](https://banes-lab.com/records/lex/streaming.md): The ability to process data continuously as it arrives rather than in complete batches.
- [Avoiding Unneeded Work](https://banes-lab.com/records/lex/avoiding-unneeded-work.md): The ability to skip computing results that are never used.
- [Large Data Processing](https://banes-lab.com/records/lex/large-data-processing.md): The ability to process datasets larger than memory by reading them in order, a piece at a time.
- [Streaming Parsers](https://banes-lab.com/records/lex/streaming-parsers.md): The ability to parse input incrementally as it streams in, without buffering the whole document.
- [Parallel/Stream Processing](https://banes-lab.com/records/lex/parallel-stream-processing.md): The ability to run independent stages in parallel or stream data between them as it is produced.
- [Parallel Processing](https://banes-lab.com/records/lex/parallel-processing.md): The ability to process many records at once because each is handled independently of the others.
- [Bounded Aggregation over Unbounded Streams](https://banes-lab.com/records/lex/bounded-aggregation-over-unbounded-streams.md): The ability to aggregate an endless stream by grouping its events into bounded windows.
- [Parallel Branch Processing](https://banes-lab.com/records/lex/parallel-branch-processing.md): The ability to process independent branches of work simultaneously across workers.
- [Result Aggregation](https://banes-lab.com/records/lex/result-aggregation.md): The ability to combine the outputs of parallel branches back into a single result.
- [Latency-Appropriate Processing Model](https://banes-lab.com/records/lex/latency-appropriate-processing-model.md): The ability to choose batch or stream processing to match a workload's latency needs.
- [High-Cardinality Object Reuse](https://banes-lab.com/records/lex/high-cardinality-object-reuse.md): The ability to represent large numbers of similar objects economically by sharing their common intrinsic state.
- [Implementation Swap](https://banes-lab.com/records/lex/implementation-swap.md): The ability to change an abstraction's underlying implementation without altering the abstraction itself.
- [Lazy Load](https://banes-lab.com/records/lex/lazy-load.md): The ability to defer creating or loading a costly resource until it is first used.
- [Leaf/Composite Transparency](https://banes-lab.com/records/lex/leaf-composite-transparency.md): The ability to treat individual objects and compositions of objects through one uniform interface.
- [Recursive Composition](https://banes-lab.com/records/lex/recursive-composition.md): The ability to build tree structures in which composites contain other composites to arbitrary depth.
- [Runtime Behavior Extension](https://banes-lab.com/records/lex/runtime-behavior-extension.md): The ability to add responsibilities to an object dynamically at runtime by wrapping it.
- [Shared Immutable State](https://banes-lab.com/records/lex/shared-immutable-state.md): The ability to safely share one immutable state object across many contexts at once.
- [Simplified Access](https://banes-lab.com/records/lex/simplified-access.md): The ability to use a complex subsystem through a small, convenient interface.
- [Safe Retries](https://banes-lab.com/records/lex/safe-retries.md): The ability to retry an operation without fear of duplicating its effects.
- [All-or-Nothing State Change](https://banes-lab.com/records/lex/all-or-nothing-state-change.md): The ability to apply a set of changes so that either all of them take effect or none do.
- [Strong Transactional Guarantees](https://banes-lab.com/records/lex/strong-transactional-guarantees.md): The ability to guarantee that a group of operations is atomic, consistent, isolated, and durable.
- [Safe State Mutation](https://banes-lab.com/records/lex/safe-state-mutation.md): The ability to mutate state within a bounded transaction so partial failures cannot corrupt it.
- [Coordinated Persistence](https://banes-lab.com/records/lex/coordinated-persistence.md): The ability to commit a set of related changes together as one atomic unit of work.
- [Reliable State](https://banes-lab.com/records/lex/reliable-state.md): The ability to trust that stored state always satisfies its invariants.
- [Safe Concurrent Operations](https://banes-lab.com/records/lex/safe-concurrent-operations.md): The ability to run concurrent transactions without their intermediate states interfering.
- [Safe Parallel Mutation](https://banes-lab.com/records/lex/safe-parallel-mutation.md): The ability to let multiple actors mutate shared state in parallel without corrupting it.
- [Conflict Detection](https://banes-lab.com/records/lex/conflict-detection.md): The ability to detect that data changed since it was read, so a conflicting write can be rejected.
- [Strong Conflict Prevention](https://banes-lab.com/records/lex/strong-conflict-prevention.md): The ability to prevent conflicting updates by locking data before it is modified.
- [Concurrent-Flow Modeling](https://banes-lab.com/records/lex/concurrent-flow-modeling.md): The ability to model concurrent token flow explicitly so its behavior can be analyzed.
- [Reachability and Deadlock Analysis](https://banes-lab.com/records/lex/reachability-and-deadlock-analysis.md): The ability to analyze which states a concurrent model can reach and whether any of them deadlock.