An approach to provably safe AI engineering for legacy codebases | Dark Hacker News