断言和断言集
有三种类型的断言：
•值断言
•存在性断言
•一致性断言
值断言
值断言是最常用的公式链接库功能，它是通过XPath表达式来对XBRL实例事实进行检查。Aspect Model和Implicit Filtering作为属性提供。Test属性的值是一个XPath表达式。
存在性断言
存在性断言在检查静态存在项时十分有用，例如确保存在文档的描述性事实（例如，表单类型、公司标识和归档标识等）。Aspect Model和Implicit Filtering作为属性提供。Test属性的值是一个XPath表达式。
一致性断言
一致性断言指定了如何确定相关公式得出的输出事实是否与输入XBRL实例中所有方面匹配的事实一致。属性strict作为布尔值提供。Absolute Acceptance Radius和Proportional Acceptance Radius属性的值都是XPath表达式。
断言满足/不满足消息
断言的这些子组件将消息与断言的计算结果相关联：如果计算成功，则断言满足；如果计算失败，则断言不满足。这些消息可以通过每个断言的上下文菜单来添加。
断言不满足-严重性关系
断言要么被满足，要么不被满足。但是，由于断言有不同优先级的规则，因此根据这种不满足的严重性对未满足的断言进行分类。有三个标准严重性级别：ERROR、WARNING和OK。默认严重性是ERROR。当断言与定义的严重性无关时会调用它。
断言不满足-严重性关系在断言和定义的严重性资源之一之间。它由XLink弧表达：(i) http://xbrl.org/arcrole/PR/2015-11-180/assertion-unsatisfied-severity弧角色值，(ii)断言作为其开始资源；(iii)严重性资源作为其结束资源。
在分类标准编辑器中，要指定严重性关系，请单击图表中断言组件的Severity图标（参见下方截图），然后从出现的列表中选择严重性级别。或者，在断言的“详细信息”输入助手中选择严重性级别（参见截图）。
断言集
断言集包含一个或多个断言。断言集的上下文菜单允许您向断言集添加单个断言。