| Category | Network | RuleCode | Rule | Sequence | Concept |
| Consistency | BalanceSheet | BS01 | $Assets = ($Liabilities + $Equity) | 1 | proof:Assets |
| Consistency | ComprehensiveIncome | IS01 | $NetIncome = ($Revenues - $Expenses + $Gains - $Losses) | 2 | proof:NetIncome |
| Consistency | BalanceSheet | BS02 | $Assets = ($CurrentAssets + $NoncurrentAssets) | 3 | proof:Assets |
| Consistency | BalanceSheet | BS03 | $Liabilities = ($CurrentLiabilities + $NoncurrentLiabilities) | 4 | proof:Liabilities |
| Consistency | BalanceSheet | BS04 | $Equity = ($EquityAttributableToControllingInterests + $EquityAttributableToNoncontrollingInterests) | 5 | proof:Equity |
| Consistency | CashFlow | CF01 | $NetCashFlow = ($NetCashFlowOperatingActivities + $NetCashFlowFinancingActivities + $NetCashFlowInvestingActivities) | 6 | proof:NetCashFlow |
| Consistency | ComprehensiveIncome2 | IS02 | $NetIncome = ($IncomeFromNormalActivitiesOfEntity + $IncomeFromPeripheralOrIncidentalTransactionsOfEntity) | 7 | proof:NetIncome |
| Consistency | NetAssets | NA01 | $NetAssets = ($Assets - $Liabilities) | 8 | proof:NetAssets |
| Consistency | ComprehensiveIncome3 | IS03 | $ComprehensiveIncome = ($NetIncome + $OtherComprehensiveIncome) | 7 | proof:ComprehensiveIncome |
Tasks (CRUD): CREATE/INSERT | READ | UPDATE | DELETE