How we monitor internal coding agents for misalignment — type0 | type0