An approach to provably safe AI engineering for legacy codebases · HackerTrans