A command-line coding agent that must prove its work with evidence: restricted edits, sealed gates from real project checks, and tamper-evident signed evidence records.