Proof Target OK

This is a controlled verification target operated by the FlightProof deployment. It serves static content only and accepts no writes.