The PR is public, so its Proof section carries only what anyone can check from the repo: the claim, the tests and the numbers. Server URLs, workflow folders and scratch paths go to proof.md and the report to ausboss. The machine's dev-server rules move to the creator playbook.