Portable, verifiable work state for coding agents