Can Abstractions of Computational Models be Tested for Naturality?

This post was written as part of the 2026 Research Fellowship for Dovetail Research.A massive thanks to Alex for directing this project, to Jose and Alfred for feedback and insights on this work, and to all the other fellows with whom wonderful discussions led to new ideas.This work was funded by the Advanced Research + Invention Agency (ARIA) through project code MSAI-SE01-P005.DeclarationThe proofs in this post have been formalised with assistance from Claude (Fable 5.0 & Opus 4.8). The ideas,...