# context-verification

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

## contracts

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