Un programa pinocchio no_std pasó todo el harness de tests y luego hizo access-violation en producción.
Un comportamiento de codegen SBF: una copia by-value de un u128 fuera de un struct repr(C, packed).
Cada acceso a estado packed ahora pasa por addr_of! y read_unaligned con escalares copiados; cada instrucción nueva limpia una etapa real de validación v0 en un localnet fijado a features de mainnet antes de enviarse.
Doctrina vigente en los programas pinocchio del estate: iso-xmm, weavers y SPDR staking, todos en vivo en mainnet, y el hook de iso-a, ya cerrado.