# Context verification

> The Context verification domain holds 18 algorithm contracts.

Record: `algorithms-domain:context-verification`
Kind: domain
Canonical: https://banes-lab.com/ontology/algorithms#algorithms-domain-context-verification

Listed in [Algorithm domains](https://banes-lab.com/api/records/algorithms-domain.md), after [Codebase verification](https://banes-lab.com/records/algorithms-domain/codebase-verification.md) and before [Coordination](https://banes-lab.com/records/algorithms-domain/coordination.md).

## Contracts

- [Phase-Separated Execution](https://banes-lab.com/records/algorithms/phase-separated-execution.md)
- [Evidence-Gated Claim Verification](https://banes-lab.com/records/algorithms/evidence-gated-claim-verification.md)
- [Validation Gate](https://banes-lab.com/records/algorithms/validation-gate.md)
- [File Modification Recovery](https://banes-lab.com/records/algorithms/file-modification-recovery.md)
- [Trust Anchor Declaration](https://banes-lab.com/records/algorithms/trust-anchor-declaration.md)
- [Environment Capability Verification](https://banes-lab.com/records/algorithms/environment-capability-verification.md)
- [Tool Calibration](https://banes-lab.com/records/algorithms/tool-calibration.md)
- [Behavioral Self-Test](https://banes-lab.com/records/algorithms/behavioral-self-test.md)
- [Adversarial Input Testing](https://banes-lab.com/records/algorithms/adversarial-input-testing.md)
- [Defensive String Normalization](https://banes-lab.com/records/algorithms/defensive-string-normalization.md)
- [Safe Arithmetic Contract](https://banes-lab.com/records/algorithms/safe-arithmetic-contract.md)
- [Recursion Control](https://banes-lab.com/records/algorithms/recursion-control.md)
- [Recursive Self-Verification](https://banes-lab.com/records/algorithms/recursive-self-verification.md)
- [Advanced Tool Escalation](https://banes-lab.com/records/algorithms/advanced-tool-escalation.md)
- [Investigation Report](https://banes-lab.com/records/algorithms/investigation-report.md)
- [Action Log](https://banes-lab.com/records/algorithms/action-log.md)
- [Contract-Based Verification Kernel](https://banes-lab.com/records/algorithms/contract-based-verification-kernel.md)
- [<Context Verification Concern>](https://banes-lab.com/records/algorithms/context-verification-concern.md)