154ea243d0
Add missing portions of documents reported in #6518 and #5248(Comment). ## Summary <img width="600" alt="override" src="https://github.com/user-attachments/assets/062f0036-8672-4c68-b21c-aebdeb79b58b"> <img width="600" alt="constraint" src="https://github.com/user-attachments/assets/f5ef1aa2-0662-4352-a1a0-3af1127fb7fb">