Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3? | AIChainDay