All Rules

Type	Defined	Bound	OK
calculation	9	15	15
disclosure	20	15	15
disclosureCheck	12	12	12
existenceAssertion	0	0	0
formula	1	0	0
valueAssertion	15	18	13

Type

Defined

Bound

Derived

Fail

calculation

disclosure

disclosureCheck

existenceAssertion

formula

valueAssertion

#	Type	Name	Rule Expression
1	valueAssertion	Adjustment_ADJ01 ok:1 failed:0	Restated=OrigionallyStated+CorrectionOfAnError+ChangesInAccountingPolicy 1 instance: proof:Equity[0] = proof:Equity[2,000] + proof:CorrectionOfAnError[-500] + proof:ChangesInAccountingPolicy[-1,500]
2	valueAssertion	Arithmetic_NA01 ok:2 failed:0	NetAssets=Assets-Liabilities 2 instances: proof:NetAssets[0] = proof:Assets[0] - proof:Liabilities[0] proof:NetAssets[3,500] = proof:Assets[3,500] - proof:Liabilities[0]
3	valueAssertion	FAC_CONSISTENCY_59 Added ok:1 failed:0	ComprehensiveIncomeLoss=NetIncomeLoss+OtherComprehensiveIncome 1 instance: fac:ComprehensiveIncomeLoss[3,000] = fac:NetIncomeLoss[3,000] + fac:OtherComprehensiveIncome[0]
4	valueAssertion	FAC_CONSISTENCY_60 Added ok:3 failed:0	NetIncomeLoss=IncomeFromNormalActivitiesOfEntity+IncomeFromPeripheralOrIncidentalTransactionsOfEntity 3 instances: fac:NetIncomeLoss[1,250] = fac:IncomeFromNormalActivitiesOfEntity[500] + fac:IncomeFromPeripheralOrIncidentalTransactionsOfEntity[750] fac:NetIncomeLoss[1,750] = fac:IncomeFromNormalActivitiesOfEntity[1,500] + fac:IncomeFromPeripheralOrIncidentalTransactionsOfEntity[250] fac:NetIncomeLoss[3,000] = fac:IncomeFromNormalActivitiesOfEntity[2,000] + fac:IncomeFromPeripheralOrIncidentalTransactionsOfEntity[1,000]
5	valueAssertion	FAC_CONSISTENCY_61 Added ok:0 failed:0	NetAssets=Assets-Liabilities
6	formula	FAC_DERIVE_CI001 Added derived:0	if NetIncomeLoss eq null and OtherComprehensiveIncome eq null and exists(ComprehensiveIncomeLoss)then ComprehensiveIncomeLoss else null derives fac:NetIncomeLoss
7	valueAssertion	MAN_MA_1 ok:1 failed:0	Total eq sum(Each) 1 instance: 2000 {250, 750, 1000}
8	valueAssertion	RollForward_CF01 ok:1 failed:0	Assets_BalanceStart+NetCashFlow=Assets_BalanceEnd 1 instance: proof:Assets[0] + proof:NetCashFlow[3,500] = proof:Assets[3,500]
9	valueAssertion	RollForward_SHE01 ok:1 failed:0	Equity_BalanceStart+ComprehensiveIncome+InvestmentsByOwners-DistributionsToOwners=Equity_BalanceEnd 1 instance: proof:Equity[0] + proof:ComprehensiveIncome[3,000] + proof:InvestmentsByOwners[1,000] - proof:DistributionsToOwners[500] = proof:Equity[3,500]
10	valueAssertion	VA1805450035 ok:1 failed:0	Actual=Budget+Variance 1 instance: proof:IncomeFromPeripheralOrIncidentalTransactionsOfEntity[1,000] = proof:IncomeFromPeripheralOrIncidentalTransactionsOfEntity[750] + proof:IncomeFromPeripheralOrIncidentalTransactionsOfEntity[250]
11	valueAssertion	VA950718923 ok:1 failed:0	Actual=Budget+Variance 1 instance: proof:IncomeFromNormalActivitiesOfEntity[2,000] = proof:IncomeFromNormalActivitiesOfEntity[500] + proof:IncomeFromNormalActivitiesOfEntity[1,500]
12	valueAssertion	Variance_Expenses ok:0 failed:0	Actual=Budget+Variance
13	valueAssertion	Variance_Gains ok:0 failed:0	Actual=Budget+Variance
14	valueAssertion	Variance_Losses ok:0 failed:0	Actual=Budget+Variance
15	valueAssertion	Variance_NetIncome ok:1 failed:0	Actual=Budget+Variance 1 instance: proof:NetIncome[3,000] = proof:NetIncome[1,250] + proof:NetIncome[1,750]
16	valueAssertion	Variance_Revenues ok:0 failed:0	Actual=Budget+Variance
17	disclosure	disclosures:AssetsRollForward Added detections:1	Assets Roll Forward disclosures:AssetsRollForward requires: Hypercube proof:CashFlowHypercube Concept Arrangement Pattern cm:RollForward with proof:Assets 1 instance: In network 06-Cash Flow: proof:CashFlowHypercube is presented Detected block Assets, Beginning Balance [RollForward] with proof:Assets
18	disclosure	disclosures:AssetsRollUp Added detections:0	Assets Roll Up disclosures:AssetsRollUp requires: Hypercube proof:BalanceSheetHypercube Concept Arrangement Pattern cm:RollUp with proof:Assets
19	disclosure	disclosures:BalanceSheet Added detections:0	Balance Sheet disclosures:BalanceSheet requires: Hypercube proof:BalanceSheetHypercube Concept Arrangement Pattern cm:Component disclosure disclosures:AssetsRollUp disclosure disclosures:LiabilitiesAndEquityRollUp
20	disclosure	disclosures:BasisOfReporting Added detections:1	Basis of Reporting disclosures:BasisOfReporting requires: Hypercube proof:PoliciesHypercube Concept Arrangement Pattern cm:Level1TextBlock disclosure-equivalentTextblock proof:BasisOfReportingTextBlock 1 instance: In network 10-Policies: proof:PoliciesHypercube is presented Detected block Basis of Reporting [Text Block] [Level1TextBlock] with proof:BasisOfReportingTextBlock
21	disclosure	disclosures:CashFlowStatement Added detections:1	Cash Flow Statement disclosures:CashFlowStatement requires: Hypercube proof:CashFlowHypercube Concept Arrangement Pattern cm:Component disclosure disclosures:AssetsRollForward disclosure disclosures:NetCashFlowRollUp 1 instance: In network 06-Cash Flow: 06-Cash Flow Cash Flow [Hypercube] is a component proof:CashFlowHypercube is presented Detected block Net Cash Flow [RollUp] with proof:NetCashFlow Detected block Assets, Beginning Balance [RollForward] with proof:Assets
22	disclosure	disclosures:ChangesInEquity Added detections:1	Changes in Equity disclosures:ChangesInEquity requires: Hypercube proof:ChangesInEquityHypercube Concept Arrangement Pattern cm:RollForward with proof:Equity 1 instance: In network 09-Changes in Equity: proof:ChangesInEquityHypercube is presented Detected block Equity, Beginning Balance [RollForward] with proof:Equity
23	disclosure	disclosures:ComprehensiveIncome Added detections:1	Comprehensive Income disclosures:ComprehensiveIncome requires: Hypercube proof:ComprehensiveIncomeStatementHypercube Concept Arrangement Pattern cm:RollUp with proof:ComprehensiveIncome 1 instance: In network 05-Comprehensive Income: proof:ComprehensiveIncomeStatementHypercube is presented Detected block Comprehensive Income [RollUp] with proof:ComprehensiveIncome
24	disclosure	disclosures:FinancialHighlights Added detections:1	Financial Highlights disclosures:FinancialHighlights requires: Hypercube proof:FinancialHighlightsHypercube Concept Arrangement Pattern cm:Hierarchy with proof:Revenues OR: proof:IncomeFromNormalActivitiesOfEntity Concept proof:ComprehensiveIncome Concept proof:DistributionsToOwners 1 instance: In network 14-Financial Highlights: proof:FinancialHighlightsHypercube is presented proof:ComprehensiveIncome is presented proof:DistributionsToOwners is presented Detected block Financial Highlights [Set] [Set] with proof:FinancialHighlightsSet
25	disclosure	disclosures:IncomeStatement Added detections:0	Income Statement disclosures:IncomeStatement requires: Hypercube proof:ComprehensiveIncomeStatementHypercube Concept Arrangement Pattern cm:RollUp with proof:NetIncome OR: proof:ComprehensiveIncome Concept proof:Revenues
26	disclosure	disclosures:IncomeStatementAlternative Added detections:1	Income Statement Alternative disclosures:IncomeStatementAlternative requires: Hypercube proof:ComprehensiveIncomeStatementHypercube Concept Arrangement Pattern cm:RollUp with proof:NetIncome OR: proof:ComprehensiveIncome Concept proof:IncomeFromNormalActivitiesOfEntity Concept proof:IncomeFromPeripheralOrIncidentalTransactionsOfEntity 1 instance: In network 04-Income Statement (Alternative): proof:ComprehensiveIncomeStatementHypercube is presented proof:IncomeFromNormalActivitiesOfEntity is presented proof:IncomeFromPeripheralOrIncidentalTransactionsOfEntity is presented Detected block Net Income [RollUp] with proof:NetIncome
27	disclosure	disclosures:LiabilitiesAndEquityRollUp Added detections:0	Liabilities and Equity Roll Up disclosures:LiabilitiesAndEquityRollUp requires: Hypercube proof:BalanceSheetHypercube Concept Arrangement Pattern cm:RollUp with proof:LiabilitiesAndEquity
28	disclosure	disclosures:NatureOfOperations Added detections:1	Nature of Operations disclosures:NatureOfOperations requires: Hypercube proof:PoliciesHypercube Concept Arrangement Pattern cm:Level1TextBlock disclosure-equivalentTextblock proof:NatureOfOperationsTextBlock 1 instance: In network 10-Policies: proof:PoliciesHypercube is presented Detected block Nature of Operations [Text Block] [Level1TextBlock] with proof:NatureOfOperationsTextBlock
29	disclosure	disclosures:NetAssetsRollUp Added detections:1	Net Assets Roll Up disclosures:NetAssetsRollUp requires: Hypercube proof:NetAssetsHypercube Concept Arrangement Pattern cm:RollUp with proof:NetAssets 1 instance: In network 02-Net Assets: proof:NetAssetsHypercube is presented Detected block Net Assets [RollUp] with proof:NetAssets
30	disclosure	disclosures:NetCashFlowRollUp Added detections:1	Net Cash Flow Roll Up disclosures:NetCashFlowRollUp requires: Hypercube proof:CashFlowHypercube Concept Arrangement Pattern cm:RollUp with proof:NetCashFlow 1 instance: In network 06-Cash Flow: proof:CashFlowHypercube is presented Detected block Net Cash Flow [RollUp] with proof:NetCashFlow
31	disclosure	disclosures:PriorPeriodError Added detections:1	Prior Period Error disclosures:PriorPeriodError requires: Hypercube proof:PriorPeriodErrorsHypercube Concept Arrangement Pattern cm:Adjustment with proof:Equity Axis proof:ReportDateAxis 1 instance: In network 07-Prior Period Errors: proof:PriorPeriodErrorsHypercube is presented proof:ReportDateAxis is presented Detected block Equity, Origionally Stated [Adjustment] with proof:Equity
32	disclosure	disclosures:PriorPeriodErrorAlternative Added detections:0	Prior Period Error Alternative disclosures:PriorPeriodErrorAlternative requires: Hypercube proof:PriorPeriodErrorsHypercube Axis proof:RestatementAxis Concept Arrangement Pattern cm:Hierarchy with proof:Equity
33	disclosure	disclosures:RevenueRecognitionPolicy Added detections:1	Revenue Recognition Policy disclosures:RevenueRecognitionPolicy requires: Hypercube proof:PoliciesHypercube Concept Arrangement Pattern cm:Level1TextBlock disclosure-equivalentTextblock proof:RevenueRecognitionPolicyTextBlock 1 instance: In network 10-Policies: proof:PoliciesHypercube is presented Detected block Revenue Recognition Policy [Text Block] [Level1TextBlock] with proof:RevenueRecognitionPolicyTextBlock
34	disclosure	disclosures:SegmentRevenues Added detections:1	Segment Revenues disclosures:SegmentRevenues requires: Hypercube proof:SegmentRevenuesHypercube Concept Arrangement Pattern cm:Hierarchy with proof:Revenues OR: proof:IncomeFromNormalActivitiesOfEntity Axis proof:SegmentsAxis 1 instance: In network 12-Segment Revenues: proof:SegmentRevenuesHypercube is presented proof:SegmentsAxis is presented Detected block Segment Revenues [Set] [Set] with proof:SegmentRevenuesSet
35	disclosure	disclosures:StockPlanActivity Added detections:1	Stock Plan Activity disclosures:StockPlanActivity requires: Hypercube proof:WeightedAverageGrantDateFairValueHypercube Concept Arrangement Pattern cm:RollForwardInfo with proof:NonvestedFairValue 1 instance: In network 13-Stock Plan Activity: proof:WeightedAverageGrantDateFairValueHypercube is presented Detected block Nonvested Fair Value, Beginning Balance [RollForwardInfo] with proof:NonvestedFairValue
36	disclosure	disclosures:VarianceAnalysis Added detections:1	Variance Analysis disclosures:VarianceAnalysis requires: Hypercube proof:VarianceAnalysisHypercube Concept Arrangement Pattern cm:RollUp with proof:NetIncome OR: proof:ComprehensiveIncome Axis proof:ScenarioAxis 1 instance: In network 11-Variance Analysis: proof:VarianceAnalysisHypercube is presented proof:ScenarioAxis is presented Detected block Net Income [RollUp] with proof:NetIncome
37	calculation	proof:NetCashFlow (in CashFlow) ok:1 failed:0	total=NetCashFlowOperatingActivities_3+(NetCashFlowInvestingActivities_2+NetCashFlowFinancingActivities_1) 1 instance: proof:NetCashFlow[3,500] = proof:NetCashFlowOperatingActivities[1,500] + proof:NetCashFlowInvestingActivities[1,000] + proof:NetCashFlowFinancingActivities[1,000]
38	calculation	proof:NetIncome (in ComprehensiveIncome2) ok:3 failed:0	total=IncomeFromNormalActivitiesOfEntity_2+IncomeFromPeripheralOrIncidentalTransactionsOfEntity_1 3 instances: proof:NetIncome[3,000] = proof:IncomeFromNormalActivitiesOfEntity[2,000] + proof:IncomeFromPeripheralOrIncidentalTransactionsOfEntity[1,000] proof:NetIncome[1,250] = proof:IncomeFromNormalActivitiesOfEntity[500] + proof:IncomeFromPeripheralOrIncidentalTransactionsOfEntity[750] proof:NetIncome[1,750] = proof:IncomeFromNormalActivitiesOfEntity[1,500] + proof:IncomeFromPeripheralOrIncidentalTransactionsOfEntity[250]
39	calculation	proof:ComprehensiveIncome (in ComprehensiveIncome3) ok:1 failed:0	total=NetIncome_2+OtherComprehensiveIncome_1 1 instance: proof:ComprehensiveIncome[3,000] = proof:NetIncome[3,000] + proof:OtherComprehensiveIncome[0]
40	calculation	proof:NetAssets (in NetAssets) ok:2 failed:0	total=Assets_2+ -Liabilities_1 2 instances: proof:NetAssets[3,500] = proof:Assets[3,500] + - proof:Liabilities[0] proof:NetAssets[0] = proof:Assets[0] + - proof:Liabilities[0]
41	calculation	proof:NetIncome (in VarianceAnalysis) ok:3 failed:0	total=IncomeFromNormalActivitiesOfEntity_2+IncomeFromPeripheralOrIncidentalTransactionsOfEntity_1 3 instances: proof:NetIncome[3,000] = proof:IncomeFromNormalActivitiesOfEntity[2,000] + proof:IncomeFromPeripheralOrIncidentalTransactionsOfEntity[1,000] proof:NetIncome[1,250] = proof:IncomeFromNormalActivitiesOfEntity[500] + proof:IncomeFromPeripheralOrIncidentalTransactionsOfEntity[750] proof:NetIncome[1,750] = proof:IncomeFromNormalActivitiesOfEntity[1,500] + proof:IncomeFromPeripheralOrIncidentalTransactionsOfEntity[250]
42	calculation	fac:NetCashFlow (in CashFlowStatement) Added ok:1 failed:0	total=NetCashFlowFromOperatingActivities_3+(NetCashFlowFromInvestingActivities_2+NetCashFlowFromFinancingActivities_1) 1 instance: fac:NetCashFlow[3,500] = fac:NetCashFlowFromOperatingActivities[1,500] + fac:NetCashFlowFromInvestingActivities[1,000] + fac:NetCashFlowFromFinancingActivities[1,000]
43	calculation	fac:NetIncomeLoss (in IS2) Added ok:3 failed:0	total=IncomeFromNormalActivitiesOfEntity_2+IncomeFromPeripheralOrIncidentalTransactionsOfEntity_1 3 instances: fac:NetIncomeLoss[3,000] = fac:IncomeFromNormalActivitiesOfEntity[2,000] + fac:IncomeFromPeripheralOrIncidentalTransactionsOfEntity[1,000] fac:NetIncomeLoss[1,250] = fac:IncomeFromNormalActivitiesOfEntity[500] + fac:IncomeFromPeripheralOrIncidentalTransactionsOfEntity[750] fac:NetIncomeLoss[1,750] = fac:IncomeFromNormalActivitiesOfEntity[1,500] + fac:IncomeFromPeripheralOrIncidentalTransactionsOfEntity[250]
44	calculation	fac:NetAssets (in NetAssets) Added ok:0 failed:0	total=Assets_2+ -Liabilities_1
45	calculation	fac:ComprehensiveIncomeLoss (in OCI) Added ok:1 failed:0	total=NetIncomeLoss_2+OtherComprehensiveIncome_1 1 instance: fac:ComprehensiveIncomeLoss[3,000] = fac:NetIncomeLoss[3,000] + fac:OtherComprehensiveIncome[0]
46	disclosureCheck	require [disclosures:BasisOfReporting] Added ok:1 failed:0	Require disclosure: disclosures:BasisOfReporting 1 instance: See link above
47	disclosureCheck	require [disclosures:ChangesInEquity] Added ok:1 failed:0	Require disclosure: disclosures:ChangesInEquity 1 instance: See link above
48	disclosureCheck	require [disclosures:ComprehensiveIncome] Added ok:1 failed:0	Require disclosure: disclosures:ComprehensiveIncome 1 instance: See link above
49	disclosureCheck	require [disclosures:FinancialHighlights] Added ok:1 failed:0	Require disclosure: disclosures:FinancialHighlights 1 instance: See link above
50	disclosureCheck	require [disclosures:IncomeStatementAlternative] Added ok:1 failed:0	Require disclosure: disclosures:IncomeStatementAlternative 1 instance: See link above
51	disclosureCheck	require [disclosures:NatureOfOperations] Added ok:1 failed:0	Require disclosure: disclosures:NatureOfOperations 1 instance: See link above
52	disclosureCheck	require [disclosures:NetAssetsRollUp] Added ok:1 failed:0	Require disclosure: disclosures:NetAssetsRollUp 1 instance: See link above
53	disclosureCheck	require [disclosures:PriorPeriodError] Added ok:1 failed:0	Require disclosure: disclosures:PriorPeriodError 1 instance: See link above
54	disclosureCheck	require [disclosures:RevenueRecognitionPolicy] Added ok:1 failed:0	Require disclosure: disclosures:RevenueRecognitionPolicy 1 instance: See link above
55	disclosureCheck	require [disclosures:SegmentRevenues] Added ok:1 failed:0	Require disclosure: disclosures:SegmentRevenues 1 instance: See link above
56	disclosureCheck	require [disclosures:StockPlanActivity] Added ok:1 failed:0	Require disclosure: disclosures:StockPlanActivity 1 instance: See link above
57	disclosureCheck	require [disclosures:VarianceAnalysis] Added ok:1 failed:0	Require disclosure: disclosures:VarianceAnalysis 1 instance: See link above

Type

Name

Rule Expression

valueAssertion

Adjustment_ADJ01

ok:1
failed:0

Restated=OrigionallyStated+CorrectionOfAnError+ChangesInAccountingPolicy

1 instance:

proof:Equity[0] = proof:Equity[2,000] + proof:CorrectionOfAnError[-500] + proof:ChangesInAccountingPolicy[-1,500]

valueAssertion

Arithmetic_NA01

ok:2
failed:0

NetAssets=Assets-Liabilities

2 instances:

proof:NetAssets[0] = proof:Assets[0] - proof:Liabilities[0]

proof:NetAssets[3,500] = proof:Assets[3,500] - proof:Liabilities[0]

valueAssertion

FAC_CONSISTENCY_59 Added

ok:1
failed:0

ComprehensiveIncomeLoss=NetIncomeLoss+OtherComprehensiveIncome

1 instance:

fac:ComprehensiveIncomeLoss[3,000] = fac:NetIncomeLoss[3,000] + fac:OtherComprehensiveIncome[0]

valueAssertion

FAC_CONSISTENCY_60 Added

ok:3
failed:0

NetIncomeLoss=IncomeFromNormalActivitiesOfEntity+IncomeFromPeripheralOrIncidentalTransactionsOfEntity

3 instances:

fac:NetIncomeLoss[1,250] = fac:IncomeFromNormalActivitiesOfEntity[500] + fac:IncomeFromPeripheralOrIncidentalTransactionsOfEntity[750]

fac:NetIncomeLoss[1,750] = fac:IncomeFromNormalActivitiesOfEntity[1,500] + fac:IncomeFromPeripheralOrIncidentalTransactionsOfEntity[250]

fac:NetIncomeLoss[3,000] = fac:IncomeFromNormalActivitiesOfEntity[2,000] + fac:IncomeFromPeripheralOrIncidentalTransactionsOfEntity[1,000]

valueAssertion

FAC_CONSISTENCY_61 Added

ok:0
failed:0

NetAssets=Assets-Liabilities

formula

FAC_DERIVE_CI001 Added

derived:0

if NetIncomeLoss eq null and OtherComprehensiveIncome eq null and exists(ComprehensiveIncomeLoss)then ComprehensiveIncomeLoss else null
derives fac:NetIncomeLoss

valueAssertion

MAN_MA_1

ok:1
failed:0

Total eq sum(Each)

1 instance:

2000 {250, 750, 1000}

valueAssertion

RollForward_CF01

ok:1
failed:0

Assets_BalanceStart+NetCashFlow=Assets_BalanceEnd

1 instance:

proof:Assets[0] + proof:NetCashFlow[3,500] = proof:Assets[3,500]

valueAssertion

RollForward_SHE01

ok:1
failed:0

Equity_BalanceStart+ComprehensiveIncome+InvestmentsByOwners-DistributionsToOwners=Equity_BalanceEnd

1 instance:

proof:Equity[0] + proof:ComprehensiveIncome[3,000] + proof:InvestmentsByOwners[1,000] - proof:DistributionsToOwners[500] = proof:Equity[3,500]

valueAssertion

VA1805450035

ok:1
failed:0

Actual=Budget+Variance

1 instance:

proof:IncomeFromPeripheralOrIncidentalTransactionsOfEntity[1,000] = proof:IncomeFromPeripheralOrIncidentalTransactionsOfEntity[750] + proof:IncomeFromPeripheralOrIncidentalTransactionsOfEntity[250]

valueAssertion

VA950718923

ok:1
failed:0

Actual=Budget+Variance

1 instance:

proof:IncomeFromNormalActivitiesOfEntity[2,000] = proof:IncomeFromNormalActivitiesOfEntity[500] + proof:IncomeFromNormalActivitiesOfEntity[1,500]

valueAssertion

Variance_Expenses

ok:0
failed:0

Actual=Budget+Variance

valueAssertion

Variance_Gains

ok:0
failed:0

Actual=Budget+Variance

valueAssertion

Variance_Losses

ok:0
failed:0

Actual=Budget+Variance

valueAssertion

Variance_NetIncome

ok:1
failed:0

Actual=Budget+Variance

1 instance:

proof:NetIncome[3,000] = proof:NetIncome[1,250] + proof:NetIncome[1,750]

valueAssertion

Variance_Revenues

ok:0
failed:0

Actual=Budget+Variance

disclosure

disclosures:AssetsRollForward Added

detections:1

Assets Roll Forward

disclosures:AssetsRollForward requires:

Hypercube proof:CashFlowHypercube
Concept Arrangement Pattern cm:RollForward
- with proof:Assets

1 instance:

In network 06-Cash Flow:
proof:CashFlowHypercube is presented
Detected block Assets, Beginning Balance [RollForward] with proof:Assets

disclosure

disclosures:AssetsRollUp Added

detections:0

Assets Roll Up

disclosures:AssetsRollUp requires:

Hypercube proof:BalanceSheetHypercube
Concept Arrangement Pattern cm:RollUp
- with proof:Assets

disclosure

disclosures:BalanceSheet Added

detections:0

Balance Sheet

disclosures:BalanceSheet requires:

Hypercube proof:BalanceSheetHypercube
Concept Arrangement Pattern cm:Component
disclosure disclosures:AssetsRollUp
disclosure disclosures:LiabilitiesAndEquityRollUp

disclosure

disclosures:BasisOfReporting Added

detections:1

Basis of Reporting

disclosures:BasisOfReporting requires:

Hypercube proof:PoliciesHypercube
Concept Arrangement Pattern cm:Level1TextBlock
disclosure-equivalentTextblock proof:BasisOfReportingTextBlock

1 instance:

In network 10-Policies:
proof:PoliciesHypercube is presented
Detected block Basis of Reporting [Text Block] [Level1TextBlock] with proof:BasisOfReportingTextBlock

disclosure

disclosures:CashFlowStatement Added

detections:1

Cash Flow Statement

disclosures:CashFlowStatement requires:

Hypercube proof:CashFlowHypercube
Concept Arrangement Pattern cm:Component
disclosure disclosures:AssetsRollForward
disclosure disclosures:NetCashFlowRollUp

1 instance:

In network 06-Cash Flow:
06-Cash Flow Cash Flow [Hypercube] is a component
proof:CashFlowHypercube is presented
Detected block Net Cash Flow [RollUp] with proof:NetCashFlow
Detected block Assets, Beginning Balance [RollForward] with proof:Assets

disclosure

disclosures:ChangesInEquity Added

detections:1

Changes in Equity

disclosures:ChangesInEquity requires:

Hypercube proof:ChangesInEquityHypercube
Concept Arrangement Pattern cm:RollForward
- with proof:Equity

1 instance:

In network 09-Changes in Equity:
proof:ChangesInEquityHypercube is presented
Detected block Equity, Beginning Balance [RollForward] with proof:Equity

disclosure

disclosures:ComprehensiveIncome Added

detections:1

Comprehensive Income

disclosures:ComprehensiveIncome requires:

Hypercube proof:ComprehensiveIncomeStatementHypercube
Concept Arrangement Pattern cm:RollUp
- with proof:ComprehensiveIncome

1 instance:

In network 05-Comprehensive Income:
proof:ComprehensiveIncomeStatementHypercube is presented
Detected block Comprehensive Income [RollUp] with proof:ComprehensiveIncome

disclosure

disclosures:FinancialHighlights Added

detections:1

Financial Highlights

disclosures:FinancialHighlights requires:

Hypercube proof:FinancialHighlightsHypercube
Concept Arrangement Pattern cm:Hierarchy
- with proof:Revenues OR:
  - proof:IncomeFromNormalActivitiesOfEntity
Concept proof:ComprehensiveIncome
Concept proof:DistributionsToOwners

1 instance:

In network 14-Financial Highlights:
proof:FinancialHighlightsHypercube is presented
proof:ComprehensiveIncome is presented
proof:DistributionsToOwners is presented
Detected block Financial Highlights [Set] [Set] with proof:FinancialHighlightsSet

disclosure

disclosures:IncomeStatement Added

detections:0

Income Statement

disclosures:IncomeStatement requires:

Hypercube proof:ComprehensiveIncomeStatementHypercube
Concept Arrangement Pattern cm:RollUp
- with proof:NetIncome OR:
  - proof:ComprehensiveIncome
Concept proof:Revenues

disclosure

disclosures:IncomeStatementAlternative Added

detections:1

Income Statement Alternative

disclosures:IncomeStatementAlternative requires:

Hypercube proof:ComprehensiveIncomeStatementHypercube
Concept Arrangement Pattern cm:RollUp
- with proof:NetIncome OR:
  - proof:ComprehensiveIncome
Concept proof:IncomeFromNormalActivitiesOfEntity
Concept proof:IncomeFromPeripheralOrIncidentalTransactionsOfEntity

1 instance:

In network 04-Income Statement (Alternative):
proof:ComprehensiveIncomeStatementHypercube is presented
proof:IncomeFromNormalActivitiesOfEntity is presented
proof:IncomeFromPeripheralOrIncidentalTransactionsOfEntity is presented
Detected block Net Income [RollUp] with proof:NetIncome

disclosure

disclosures:LiabilitiesAndEquityRollUp Added

detections:0

Liabilities and Equity Roll Up

disclosures:LiabilitiesAndEquityRollUp requires:

Hypercube proof:BalanceSheetHypercube
Concept Arrangement Pattern cm:RollUp
- with proof:LiabilitiesAndEquity

disclosure

disclosures:NatureOfOperations Added

detections:1

Nature of Operations

disclosures:NatureOfOperations requires:

Hypercube proof:PoliciesHypercube
Concept Arrangement Pattern cm:Level1TextBlock
disclosure-equivalentTextblock proof:NatureOfOperationsTextBlock

1 instance:

In network 10-Policies:
proof:PoliciesHypercube is presented
Detected block Nature of Operations [Text Block] [Level1TextBlock] with proof:NatureOfOperationsTextBlock

disclosure

disclosures:NetAssetsRollUp Added

detections:1

Net Assets Roll Up

disclosures:NetAssetsRollUp requires:

Hypercube proof:NetAssetsHypercube
Concept Arrangement Pattern cm:RollUp
- with proof:NetAssets

1 instance:

In network 02-Net Assets:
proof:NetAssetsHypercube is presented
Detected block Net Assets [RollUp] with proof:NetAssets

disclosure

disclosures:NetCashFlowRollUp Added

detections:1

Net Cash Flow Roll Up

disclosures:NetCashFlowRollUp requires:

Hypercube proof:CashFlowHypercube
Concept Arrangement Pattern cm:RollUp
- with proof:NetCashFlow

1 instance:

In network 06-Cash Flow:
proof:CashFlowHypercube is presented
Detected block Net Cash Flow [RollUp] with proof:NetCashFlow

disclosure

disclosures:PriorPeriodError Added

detections:1

Prior Period Error

disclosures:PriorPeriodError requires:

Hypercube proof:PriorPeriodErrorsHypercube
Concept Arrangement Pattern cm:Adjustment
- with proof:Equity
Axis proof:ReportDateAxis

1 instance:

In network 07-Prior Period Errors:
proof:PriorPeriodErrorsHypercube is presented
proof:ReportDateAxis is presented
Detected block Equity, Origionally Stated [Adjustment] with proof:Equity

disclosure

disclosures:PriorPeriodErrorAlternative Added

detections:0

Prior Period Error Alternative

disclosures:PriorPeriodErrorAlternative requires:

Hypercube proof:PriorPeriodErrorsHypercube
Axis proof:RestatementAxis
Concept Arrangement Pattern cm:Hierarchy
- with proof:Equity

disclosure

disclosures:RevenueRecognitionPolicy Added

detections:1

Revenue Recognition Policy

disclosures:RevenueRecognitionPolicy requires:

Hypercube proof:PoliciesHypercube
Concept Arrangement Pattern cm:Level1TextBlock
disclosure-equivalentTextblock proof:RevenueRecognitionPolicyTextBlock

1 instance:

In network 10-Policies:
proof:PoliciesHypercube is presented
Detected block Revenue Recognition Policy [Text Block] [Level1TextBlock] with proof:RevenueRecognitionPolicyTextBlock

disclosure

disclosures:SegmentRevenues Added

detections:1

Segment Revenues

disclosures:SegmentRevenues requires:

Hypercube proof:SegmentRevenuesHypercube
Concept Arrangement Pattern cm:Hierarchy
- with proof:Revenues OR:
  - proof:IncomeFromNormalActivitiesOfEntity
Axis proof:SegmentsAxis

1 instance:

In network 12-Segment Revenues:
proof:SegmentRevenuesHypercube is presented
proof:SegmentsAxis is presented
Detected block Segment Revenues [Set] [Set] with proof:SegmentRevenuesSet

disclosure

disclosures:StockPlanActivity Added

detections:1

Stock Plan Activity

disclosures:StockPlanActivity requires:

Hypercube proof:WeightedAverageGrantDateFairValueHypercube
Concept Arrangement Pattern cm:RollForwardInfo
- with proof:NonvestedFairValue

1 instance:

In network 13-Stock Plan Activity:
proof:WeightedAverageGrantDateFairValueHypercube is presented
Detected block Nonvested Fair Value, Beginning Balance [RollForwardInfo] with proof:NonvestedFairValue

disclosure

disclosures:VarianceAnalysis Added

detections:1

Variance Analysis

disclosures:VarianceAnalysis requires:

Hypercube proof:VarianceAnalysisHypercube
Concept Arrangement Pattern cm:RollUp
- with proof:NetIncome OR:
  - proof:ComprehensiveIncome
Axis proof:ScenarioAxis

1 instance:

In network 11-Variance Analysis:
proof:VarianceAnalysisHypercube is presented
proof:ScenarioAxis is presented
Detected block Net Income [RollUp] with proof:NetIncome

calculation

proof:NetCashFlow (in CashFlow)

ok:1
failed:0

total=NetCashFlowOperatingActivities_3+(NetCashFlowInvestingActivities_2+NetCashFlowFinancingActivities_1)

1 instance:

proof:NetCashFlow[3,500] = proof:NetCashFlowOperatingActivities[1,500] + proof:NetCashFlowInvestingActivities[1,000] + proof:NetCashFlowFinancingActivities[1,000]

calculation

proof:NetIncome (in ComprehensiveIncome2)

ok:3
failed:0

total=IncomeFromNormalActivitiesOfEntity_2+IncomeFromPeripheralOrIncidentalTransactionsOfEntity_1

3 instances:

proof:NetIncome[3,000] = proof:IncomeFromNormalActivitiesOfEntity[2,000] + proof:IncomeFromPeripheralOrIncidentalTransactionsOfEntity[1,000]

proof:NetIncome[1,250] = proof:IncomeFromNormalActivitiesOfEntity[500] + proof:IncomeFromPeripheralOrIncidentalTransactionsOfEntity[750]

proof:NetIncome[1,750] = proof:IncomeFromNormalActivitiesOfEntity[1,500] + proof:IncomeFromPeripheralOrIncidentalTransactionsOfEntity[250]

calculation

proof:ComprehensiveIncome (in ComprehensiveIncome3)

ok:1
failed:0

total=NetIncome_2+OtherComprehensiveIncome_1

1 instance:

proof:ComprehensiveIncome[3,000] = proof:NetIncome[3,000] + proof:OtherComprehensiveIncome[0]

calculation

proof:NetAssets (in NetAssets)

ok:2
failed:0

total=Assets_2+ -Liabilities_1

2 instances:

proof:NetAssets[3,500] = proof:Assets[3,500] + - proof:Liabilities[0]

proof:NetAssets[0] = proof:Assets[0] + - proof:Liabilities[0]

calculation

proof:NetIncome (in VarianceAnalysis)

ok:3
failed:0

total=IncomeFromNormalActivitiesOfEntity_2+IncomeFromPeripheralOrIncidentalTransactionsOfEntity_1

3 instances:

proof:NetIncome[3,000] = proof:IncomeFromNormalActivitiesOfEntity[2,000] + proof:IncomeFromPeripheralOrIncidentalTransactionsOfEntity[1,000]

proof:NetIncome[1,250] = proof:IncomeFromNormalActivitiesOfEntity[500] + proof:IncomeFromPeripheralOrIncidentalTransactionsOfEntity[750]

proof:NetIncome[1,750] = proof:IncomeFromNormalActivitiesOfEntity[1,500] + proof:IncomeFromPeripheralOrIncidentalTransactionsOfEntity[250]

calculation

fac:NetCashFlow (in CashFlowStatement) Added

ok:1
failed:0

total=NetCashFlowFromOperatingActivities_3+(NetCashFlowFromInvestingActivities_2+NetCashFlowFromFinancingActivities_1)

1 instance:

fac:NetCashFlow[3,500] = fac:NetCashFlowFromOperatingActivities[1,500] + fac:NetCashFlowFromInvestingActivities[1,000] + fac:NetCashFlowFromFinancingActivities[1,000]

calculation

fac:NetIncomeLoss (in IS2) Added