Tycho: Active Abstraction with Programmatic World Models for ARC-AGI-3 | Digital Library | PAMCET | PAMCET