brukt i dag på å herde agenc-prover - Vi fikser proof-semantikk, låser ned /prove, og rydder opp i Docker-forsyningskjeden. Lite repo, ekte sikkerhetsarbeid, alt offentlig ://