This is something I've discussed with the HTTP Working Group and at the HTTP Workshop. I'm now making the conversation public along with the initiative and the impl effort. This post gives an overview, more is available as links provided in the post body.

https://www.caffeinatedwonders.com/2024/12/18/towards-validated-http-implementation/