Agents write plausible code but plausible doesn’t survive contact with production. So I’m building Crosscheck to solve that problem. Every change an agent makes must ship with a record of claims about the code, formal proof where it’s attainable and evidence where it’s not.
commit c719b34