Rotate the production signing key
Rotating the production signing key is a planned operation. It requires a bounded repair goal.
Steps
- Open a
REPAIR_GOALwithgoal_type: REPAIR_GOALandphase_id: SIGNING-KEY-ROTATION-<n>. - The repair goal updates
agent-harness/governance/allowed_signersto add the new public key and remove the old one. - The repair goal updates
agent-harness/governance/SIGNED_TICKET_TRUST_CONFIG.mdif applicable. - Commit on a bounded branch.
- Open a PR.
- Owner reviews and approves.
- Governed merge.
- Future production tickets must use the new private key.
- Old tickets already issued remain valid until consumed or expired.
What this playbook is NOT
- It is not done in the middle of a production promotion.
- It does not delete the old public key until at least one full ticket cycle has completed on the new key.
- It does not embed the new private key anywhere in the repo, runtime, evidence, chat, or docs.