infra: CUDA build for T4 GPU + revert to base Qwen2.5-3B-Instruct

M6: swap to fine-tuned Qwen2.5-3B witness (LoRA SFT on Modal H100)

initial push: M1 Belief Engine + M2 Witness Engine + M3 vertical slice (Cases 1)