Ну так я ж сказал, что «формальные правила» или «текстовые правила» санкцию не определяют. Они же заготовки. Санкция доопределяется когда их начинают использовать — при этом доопределится она может очень по разному, но это будет в любом случае.