# Anti-Pattern Remediation Algebra

> For each anti-pattern, identify the missing architectural control, introduce the inverse control, migrate existing dependents, verify absence of the old failure shape, and enforce recurrence prevention.

Record: `algorithms:anti-pattern-remediation-algebra`
Kind: algorithm
Canonical: https://banes-lab.com/ontology/algorithms#algorithms-anti-pattern-remediation-algebra
Closure: https://banes-lab.com/json/records/algorithms/anti-pattern-remediation-algebra/closure

Listed in [Algorithm contracts](https://banes-lab.com/api/records/algorithms.md), after [Anti-Pattern Propagation Kernel](https://banes-lab.com/records/algorithms/anti-pattern-propagation-kernel.md) and before [Architecture Smell Record](https://banes-lab.com/records/algorithms/architecture-smell-record.md).

## Domain

- [Anti-patterns](https://banes-lab.com/records/algorithms-domain/anti-patterns.md)

## Tier

- [leaf](https://banes-lab.com/records/vocabulary/domain-tier-leaf.md)

## Math type

- [Algebra](https://banes-lab.com/records/reasoning/math-type-algebra.md)

## Force

- [Correctness verification](https://banes-lab.com/records/force/correctness-verification.md)

## Linked from

- [An anti-pattern is a decay path](https://banes-lab.com/software-architecture/decay/an-anti-pattern-is-a-decay-path.md)
- [The mathematics](https://banes-lab.com/ontology/reasoning/the-mathematics.md)
- [Domain tiers](https://banes-lab.com/ontology/schema/the-vocabulary-domain-tier.md)
- [The forces](https://banes-lab.com/ontology/schema/the-forces.md)