Advanced Tool Escalation

Kind: algorithm

Record: algorithms:advanced-tool-escalation

Canonical: Algorithms

Closure: Dependencies in load order

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.

Listed in Algorithm contracts, after Recursive Self-Verification and before Investigation Report.

Domain

• Context verification

Stage

• act

Axis

• formalization

Tier

• process

Named in the derivation of

• Contract-Based Verification Kernel

Math type

• Computation

Force

• Correctness verification
• Model governance
• Object creation

Linked from

• Context verification
• The derivation loop
• The axes
• The mathematics
• Domain tiers
• The forces