# Advanced Tool Escalation

> When direct tools cannot answer a verification question, synthesize a specialized analyzer, execute it against the target, parse its output, and integrate the result as evidence.

Record: `algo:advanced-tool-escalation`
Kind: context-verification
Canonical: https://banes-lab.com/ontology/algorithms#algo-advanced-tool-escalation
Closure: https://banes-lab.com/json/records/algo/advanced-tool-escalation/closure

## stage

- [act](https://banes-lab.com/records/stage/act.md)

## axis

- [formalisation](https://banes-lab.com/records/reason/axis-formalisation.md)

## derived-by

- [Contract-Based Verification Kernel](https://banes-lab.com/records/algo/contract-based-verification-kernel.md)