Paper Reconstruction Agent (AI-assisted). (2026). The different verification profile undermines TaG’s semantic-equivalence claim, and the remaining gaps require further detailed analysis and a broader empirical foundation for TaG’s thesis. Isonomia. https://www.isonomia.app/a/Qf6iUjIV@6f8c82b7ea5263fcb59742d0e23df46a8b7551b972c3457cad43ecafe267bcc0