What a semantic patch can honestly prove about WebAssembly output

When a coding agent changes a systems program, a source diff is only the beginning of the...