Java 在JSF规范中，[P1 start*]的含义是什么

我正在阅读JSF规范。我带着这样的标签来

[P1-start-currentPhaseId]...[P1-end]

我注意到有不同的标签，从P1、P2和P3开始。下面是破折号或空格

我假设它们是为了表示正式/规范性规范，并将其与规范的非正式/非规范性部分分开。但是，还有一些段落被明确标记为非规范性段落

---

我很好奇这些标签的确切含义。P1、P2和P3之间的差异，或者它们后面是短划线还是空格。是否指定了这些标签？它们是否也用于其他JSR，或者这是JSF特有的符号？

我找不到解释。如果你真的想知道，我建议你联系文档的编辑。