Business Rules

Link to verification rules
Component: (Network and Table)
Network
Some Network
(http://www.template.com/SomeNetwork)
Table Available-for-sale Securities, Contractual Maturities [Table]

Member Aggregation Computations

Reporting Entity 0000000001 (http://www.sec.gov/CIK)
Period 2019-12-31
Unit USD
Label Rendered Reported Calculated Balance Decimals Message
All Available-for-Sale Debt and Equity Securities [Domain] [Member Aggregation]
Treasury bills [Member] 100,000,000  + 100,000,000  100,000,000  -6
Corporate bonds [Member] 100,000,000  + 100,000,000  100,000,000  -6
Sovereign debt securities [Member] 100,000,000  + 100,000,000  100,000,000  -6
All Available-for-Sale Debt and Equity Securities [Domain] 300,000,000  + 300,000,000  300,000,000  -6 OK
 
Reporting Entity 0000000001 (http://www.sec.gov/CIK)
Period 2019-12-31
Unit USD
Label Rendered Reported Calculated Balance Decimals Message
All Available-for-Sale Debt and Equity Securities [Domain] [Member Aggregation]
Treasury bills [Member] 100,000,000  + 100,000,000  100,000,000  -6
Corporate bonds [Member] 100,000,000  + 100,000,000  100,000,000  -6
Sovereign debt securities [Member] 100,000,000  + 100,000,000  100,000,000  -6
All Available-for-Sale Debt and Equity Securities [Domain] 300,000,000  + 300,000,000  300,000,000  -6 OK
 
Reporting Entity 0000000001 (http://www.sec.gov/CIK)
Period 2019-12-31
Unit USD
Label Rendered Reported Calculated Balance Decimals Message
All Available-for-Sale Debt and Equity Securities [Domain] [Member Aggregation]
Treasury bills [Member] 100,000,000  + 100,000,000  100,000,000  -6
Corporate bonds [Member] 100,000,000  + 100,000,000  100,000,000  -6
Sovereign debt securities [Member] 100,000,000  + 100,000,000  100,000,000  -6
All Available-for-Sale Debt and Equity Securities [Domain] 300,000,000  + 300,000,000  300,000,000  -6 OK
 
Reporting Entity 0000000001 (http://www.sec.gov/CIK)
Period 2019-12-31
Unit USD
Label Rendered Reported Calculated Balance Decimals Message
All Available-for-Sale Debt and Equity Securities [Domain] [Member Aggregation]
Treasury bills [Member] 100,000,000  + 100,000,000  100,000,000  -6
Corporate bonds [Member] 100,000,000  + 100,000,000  100,000,000  -6
Sovereign debt securities [Member] 100,000,000  + 100,000,000  100,000,000  -6
All Available-for-Sale Debt and Equity Securities [Domain] 300,000,000  + 300,000,000  300,000,000  -6 OK
 
Reporting Entity 0000000001 (http://www.sec.gov/CIK)
Period 2019-12-31
Unit USD
Label Rendered Reported Calculated Balance Decimals Message
All Available-for-Sale Debt and Equity Securities [Domain] [Member Aggregation]
Treasury bills [Member] 100,000,000  + 100,000,000  100,000,000  -6
Corporate bonds [Member] 100,000,000  + 100,000,000  100,000,000  -6
Sovereign debt securities [Member] 100,000,000  + 100,000,000  100,000,000  -6
All Available-for-Sale Debt and Equity Securities [Domain] 300,000,000  + 300,000,000  300,000,000  -6 OK
 
Reporting Entity 0000000001 (http://www.sec.gov/CIK)
Period 2019-12-31
Unit USD
Label Rendered Reported Calculated Balance Decimals Message
All Available-for-Sale Debt and Equity Securities [Domain] [Member Aggregation]
Treasury bills [Member] 100,000,000  + 100,000,000  100,000,000  -6
Corporate bonds [Member] 100,000,000  + 100,000,000  100,000,000  -6
Sovereign debt securities [Member] 100,000,000  + 100,000,000  100,000,000  -6
All Available-for-Sale Debt and Equity Securities [Domain] 300,000,000  + 300,000,000  300,000,000  -6 OK
 
Reporting Entity 0000000001 (http://www.sec.gov/CIK)
Period 2019-12-31
Unit USD
Label Rendered Reported Calculated Balance Decimals Message
All Available-for-Sale Debt and Equity Securities [Domain] [Member Aggregation]
Treasury bills [Member] 100,000,000  + 100,000,000  100,000,000  -6
Corporate bonds [Member] 100,000,000  + 100,000,000  100,000,000  -6
Sovereign debt securities [Member] 100,000,000  + 100,000,000  100,000,000  -6
All Available-for-Sale Debt and Equity Securities [Domain] 300,000,000  + 300,000,000  300,000,000  -6 OK
 
Reporting Entity 0000000001 (http://www.sec.gov/CIK)
Period 2019-12-31
Unit USD
Label Rendered Reported Calculated Balance Decimals Message
All Available-for-Sale Debt and Equity Securities [Domain] [Member Aggregation]
Treasury bills [Member] 100,000,000  + 100,000,000  100,000,000  -6
Corporate bonds [Member] 100,000,000  + 100,000,000  100,000,000  -6
Sovereign debt securities [Member] 100,000,000  + 100,000,000  100,000,000  -6
All Available-for-Sale Debt and Equity Securities [Domain] 300,000,000  + 300,000,000  300,000,000  -6 OK
 
Reporting Entity 0000000001 (http://www.sec.gov/CIK)
Period 2019-12-31
Unit USD
Label Rendered Reported Calculated Balance Decimals Message
All Available-for-Sale Debt and Equity Securities [Domain] [Member Aggregation]
Treasury bills [Member] 100,000,000  + 100,000,000  100,000,000  -6
Corporate bonds [Member] 100,000,000  + 100,000,000  100,000,000  -6
Sovereign debt securities [Member] 100,000,000  + 100,000,000  100,000,000  -6
All Available-for-Sale Debt and Equity Securities [Domain] 300,000,000  + 300,000,000  300,000,000  -6 OK
 
Reporting Entity 0000000001 (http://www.sec.gov/CIK)
Period 2019-12-31
Unit USD
Label Rendered Reported Calculated Balance Decimals Message
All Available-for-Sale Debt and Equity Securities [Domain] [Member Aggregation]
Treasury bills [Member] 100,000,000  + 100,000,000  100,000,000  -6
Corporate bonds [Member] 100,000,000  + 100,000,000  100,000,000  -6
Sovereign debt securities [Member] 100,000,000  + 100,000,000  100,000,000  -6
All Available-for-Sale Debt and Equity Securities [Domain] 300,000,000  + 300,000,000  300,000,000  -6 OK
 
Reporting Entity 0000000001 (http://www.sec.gov/CIK)
Period 2019-12-31
Unit USD
Label Rendered Reported Calculated Balance Decimals Message
All Available-for-Sale Debt and Equity Securities [Domain] [Member Aggregation]
Treasury bills [Member] 500,000,000  + 500,000,000  500,000,000  -6
Corporate bonds [Member] 500,000,000  + 500,000,000  500,000,000  -6
Sovereign debt securities [Member] 500,000,000  + 500,000,000  500,000,000  -6
All Available-for-Sale Debt and Equity Securities [Domain] 1,500,000,000  + 1,500,000,000  1,500,000,000  -6 OK
 
Reporting Entity 0000000001 (http://www.sec.gov/CIK)
Period 2019-12-31
Unit USD
Label Rendered Reported Calculated Balance Decimals Message
All Available-for-Sale Debt and Equity Securities [Domain] [Member Aggregation]
Treasury bills [Member] 500,000,000  + 500,000,000  500,000,000  -6
Corporate bonds [Member] 500,000,000  + 500,000,000  500,000,000  -6
Sovereign debt securities [Member] 500,000,000  + 500,000,000  500,000,000  -6
All Available-for-Sale Debt and Equity Securities [Domain] 1,500,000,000  + 1,500,000,000  1,500,000,000  -6 OK
 

Component: (Network and Table)
Network
(Component not specified)
(http://www.xbrl.org/2003/role/link)
Table (Implied)

Assertion Report

Existence Assertions

# Label Result Rule
1 Available-for-sale securities at estimated fair value (added:AvailableForSaleSecuritiesDebtSecurities) required in this component.
(ASSERTION_Exists_AvailableForSaleSecuritiesDebtSecurities)
Pass Specified concept(s) exist
2 Available-for-sale securities at amortized cost (added:AvailableForSaleSecuritiesAmortizedCost) required in this component.
(ASSERTION_Exists_AvailableForSaleSecuritiesDebtMaturitiesAmortizedCost)
Pass Specified concept(s) exist

Value Assertions

# Label Result Rule
1 Available-for-sale contractual maturities cross cast across major type.
(ASSERTION_MemberAggregation_Foots_AvailableForSaleSecuritiesDebtMaturities)
Pass $VARIABLE_Total = sum($VARIABLE_Each)
2 Available-for-sale contractual maturities cross cast across major type.
(ASSERTION_MemberAggregation_Foots_AvailableForSaleSecuritiesDebtMaturities)
Pass $VARIABLE_Total = sum($VARIABLE_Each)
3 Available-for-sale contractual maturities cross cast across major type.
(ASSERTION_MemberAggregation_Foots_AvailableForSaleSecuritiesDebtMaturities)
Pass $VARIABLE_Total = sum($VARIABLE_Each)
4 Available-for-sale contractual maturities cross cast across major type.
(ASSERTION_MemberAggregation_Foots_AvailableForSaleSecuritiesDebtMaturities)
Pass $VARIABLE_Total = sum($VARIABLE_Each)
5 Available-for-sale contractual maturities cross cast across major type.
(ASSERTION_MemberAggregation_Foots_AvailableForSaleSecuritiesDebtMaturities)
Pass $VARIABLE_Total = sum($VARIABLE_Each)
6 Available-for-sale contractual maturities cross cast across major type.
(ASSERTION_MemberAggregation_Foots_AvailableForSaleSecuritiesDebtMaturities)
Pass $VARIABLE_Total = sum($VARIABLE_Each)
7 Available-for-sale contractual maturities cross cast across major type.
(ASSERTION_MemberAggregation_Foots_AvailableForSaleSecuritiesDebtMaturities)
Pass $VARIABLE_Total = sum($VARIABLE_Each)
8 Available-for-sale contractual maturities cross cast across major type.
(ASSERTION_MemberAggregation_Foots_AvailableForSaleSecuritiesDebtMaturities)
Pass $VARIABLE_Total = sum($VARIABLE_Each)
9 Available-for-sale contractual maturities cross cast across major type.
(ASSERTION_MemberAggregation_Foots_AvailableForSaleSecuritiesDebtMaturities)
Pass $VARIABLE_Total = sum($VARIABLE_Each)
10 Available-for-sale contractual maturities cross cast across major type.
(ASSERTION_MemberAggregation_Foots_AvailableForSaleSecuritiesDebtMaturities)
Pass $VARIABLE_Total = sum($VARIABLE_Each)
11 Available-for-sale contractual maturities cross cast across major type.
(ASSERTION_MemberAggregation_Foots_AvailableForSaleSecuritiesDebtMaturities)
Pass $VARIABLE_Total = sum($VARIABLE_Each)
12 Available-for-sale contractual maturities cross cast across major type.
(ASSERTION_MemberAggregation_Foots_AvailableForSaleSecuritiesDebtMaturities)
Pass $VARIABLE_Total = sum($VARIABLE_Each)
13 Total contractual maturities at estimated fair value foot.
(ASSERTION_RollUp_EstimatedFairValue)
Pass $Total_EstimatedFairValue = ($OneYear + $AfterOneThroughFive + $AfterFiveThroughTen + $AfterTenYears + $WithoutSingleMaturityDate)
14 Total contractual maturities at estimated fair value foot.
(ASSERTION_RollUp_EstimatedFairValue)
Pass $Total_EstimatedFairValue = ($OneYear + $AfterOneThroughFive + $AfterFiveThroughTen + $AfterTenYears + $WithoutSingleMaturityDate)
15 Total contractual maturities at estimated fair value foot.
(ASSERTION_RollUp_EstimatedFairValue)
Pass $Total_EstimatedFairValue = ($OneYear + $AfterOneThroughFive + $AfterFiveThroughTen + $AfterTenYears + $WithoutSingleMaturityDate)
16 Total contractual maturities at estimated fair value foot.
(ASSERTION_RollUp_EstimatedFairValue)
Pass $Total_EstimatedFairValue = ($OneYear + $AfterOneThroughFive + $AfterFiveThroughTen + $AfterTenYears + $WithoutSingleMaturityDate)
17 Total contractual maturities at amortized cost foot.
(ASSERTION_RollUp_AmortizedCost)
Pass $Total_AmortizedCost = ($OneYear + $AfterOneThroughFive + $AfterFiveThroughTen + $AfterTenYears + $WithoutSingleMaturityDate)
18 Total contractual maturities at amortized cost foot.
(ASSERTION_RollUp_AmortizedCost)
Pass $Total_AmortizedCost = ($OneYear + $AfterOneThroughFive + $AfterFiveThroughTen + $AfterTenYears + $WithoutSingleMaturityDate)
19 Total contractual maturities at amortized cost foot.
(ASSERTION_RollUp_AmortizedCost)
Pass $Total_AmortizedCost = ($OneYear + $AfterOneThroughFive + $AfterFiveThroughTen + $AfterTenYears + $WithoutSingleMaturityDate)
20 Total contractual maturities at amortized cost foot.
(ASSERTION_RollUp_AmortizedCost)
Pass $Total_AmortizedCost = ($OneYear + $AfterOneThroughFive + $AfterFiveThroughTen + $AfterTenYears + $WithoutSingleMaturityDate)