消息“formula:assertionunsatisfied”既可以是错误也可以是警告，这意味着它既可以是阻塞问题，也可以是非阻塞问题。
问题是什么？
“Formula:assertionunsatisfied”是与分类法本身相关的验证错误的错误 ID。分类法中的验证规则被称为“断言”，可以在 XBRL 技术文档中找到它们的列表。
解决问题
大多数情况下，出现“formula:assertionunsatisfied”消息的问题只是警告，这意味着您不必立即解决它们。如果需要解决这些问题，您可以参考具体的错误说明进行解决。
与此错误消息相关的两个最常见的问题是缺少元素或元素应该是正数而不是负数。无论哪种情况，更正信息很可能都能解决问题。