Что является constraint в ISO 9899:2024?

Предлагаю своё понимание дискуссии StackOverflow. Цитата из раздела 4. Conformance указанного стандарта:

If a "shall" or "shall not" requirement that appears outside of a constraint or runtime-constraint is violated, the behavior is undefined.

Правильно ли я понял, опираясь на источники, что здесь имеется в виду следующее: undefined behavior появляется всегда при нарушении правил, которые перечислены в секции constraints (где она в текущем стандарте, я не нашёл), а также при нарушении любого ограничения shall или shall not за пределами правил указанной секции? Подскажите, пожалуйста, как понимать приведённую цитату.