Executable Matrix Programs: Faithful Weight-Derived Replacement and Factorized Intervention in Pretrained Transformers | Synapse