täkōFormal: Enabling Robust Software for Programmable Memory Hierarchies (Extended Version) (ArXiv cs.LO Recent Papers, 2026)