The paper turns attention-head explanations into executable Python proxies, then tests them by swapping those proxies into BERT, GPT-2, TinyLlama, and Llama-3B. The best fits report 69 to 79 percent mean IoU on decoder models, but BERT is much weaker and some generated programs hallucinate structure, so this is useful assurance work rather than a solved black-box story.