Cedar source handoff

Installation-owned source and proof: release status, first result, provider setup and verification. Original operator account/deployment handoffs remain private.