| Key | RuleCode | Rule | Network | Dimension | Concept | Commentary | Sequence |
| 1 | MA1 | $Total eq sum($Each) | SegmentRevenues | proof:SegmentsAxis | proof:Revenues | Segment revenue | 1 |
| 2 | PPA | $Total eq sum($Each) | PriorPeriodErrors2 | proof:RestatementAxis | proof:Equity | Prior period adjustment alternative | 2 |
Tasks (CRUD): CREATE/INSERT | READ | UPDATE | DELETE