One note before we continue. I have an agent building a website in this repo. Don't read the RH-WEBSITE.md file or anything in the /web folder, it's for the website. It's not related to this research. Now, please continue with the next step 2.9-D1 (Krein frame, now with the Δ→∞ constraint), then 2.11 (D-038).