Generated by Pacioli version 890b942 (updated 2 hours ago). Analysis at 2022-06-14T21:50:35+0000 for perfectmile@gmail.com. This page will remain online at https://pacioli.auditchain.finance/reportAnalysis/ca15d7d4060730a6be45891f30c96690254c606c.report/index.html for about 90 days.
TypeDefinedBoundDerivedOKFail
calculation17320320
disclosure20210210
disclosureCheck20200200
existenceAssertion00000
formula80000
valueAssertion25380380

All Rules

#TypeName Rule Expression
1valueAssertionAdjustment_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]

2valueAssertionArithmetic_BS01
  • ok:2
  • failed:0
 

Assets=Liabilities+Equity

2 instances:

proof:Assets[0] = proof:Liabilities[0] + proof:Equity[0]

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

3valueAssertionArithmetic_BS02
  • ok:2
  • failed:0
 

Assets=CurrentAssets+NoncurrentAssets

2 instances:

proof:Assets[0] = proof:CurrentAssets[0] + proof:NoncurrentAssets[0]

proof:Assets[3,500] = proof:CurrentAssets[500] + proof:NoncurrentAssets[3,000]

4valueAssertionArithmetic_BS03
  • ok:2
  • failed:0
 

Liabilities=CurrentLiabilities+NoncurrentLiabilities

2 instances:

proof:Liabilities[0] = proof:CurrentLiabilities[0] + proof:NoncurrentLiabilities[0]

proof:Liabilities[0] = proof:CurrentLiabilities[0] + proof:NoncurrentLiabilities[0]

5valueAssertionArithmetic_BS04
  • ok:2
  • failed:0
 

Equity=EquityAttributableToControllingInterests+EquityAttributableToNoncontrollingInterests

2 instances:

proof:Equity[0] = proof:EquityAttributableToControllingInterests[0] + proof:EquityAttributableToNoncontrollingInterests[0]

proof:Equity[3,500] = proof:EquityAttributableToControllingInterests[3,000] + proof:EquityAttributableToNoncontrollingInterests[500]

6valueAssertionArithmetic_CF01
  • ok:1
  • failed:0
 

NetCashFlow=NetCashFlowOperatingActivities+NetCashFlowFinancingActivities+NetCashFlowInvestingActivities

1 instance:

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

7valueAssertionArithmetic_IS01
  • ok:3
  • failed:0
 

NetIncome=Revenues-Expenses+Gains-Losses

3 instances:

proof:NetIncome[-750] = proof:Revenues[1,000] - proof:Expenses[1,000] + proof:Gains[250] - proof:Losses[1,000]

proof:NetIncome[3,750] = proof:Revenues[6,000] - proof:Expenses[2,000] + proof:Gains[750] - proof:Losses[1,000]

proof:NetIncome[3,000] = proof:Revenues[7,000] - proof:Expenses[3,000] + proof:Gains[1,000] - proof:Losses[2,000]

8valueAssertionArithmetic_IS02
  • ok:1
  • failed:0
 

NetIncome=IncomeFromNormalActivitiesOfEntity+IncomeFromPeripheralOrIncidentalTransactionsOfEntity

1 instance:

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

9valueAssertionArithmetic_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]

10valueAssertionCONSISTENCY_SFAC6_ElementsOfFinancialStatement
  • ok:1
  • failed:0
 

0=Equity_BalanceStart+(Revenues-Expenses+(Gains-Losses))+(InvestmentsByOwners-DistributionsToOwners)+(Liabilities_BalanceEnd-Assets_BalanceEnd)

1 instance:

0 = proof:Equity[0] + proof:Revenues[7,000] - proof:Expenses[3,000] + proof:Gains[1,000] - proof:Losses[2,000] + proof:InvestmentsByOwners[1,000] - proof:DistributionsToOwners[500] + proof:Liabilities[0] - proof:Assets[3,500]

11valueAssertionFAC_CONSISTENCY_17
  • ok:3
  • failed:0
 

NetIncomeLoss=Revenue-Expenses+Gains-Losses

3 instances:

fac:NetIncomeLoss[-750] = fac:Revenue[1,000] - fac:Expenses[1,000] + fac:Gains[250] - fac:Losses[1,000]

fac:NetIncomeLoss[3,750] = fac:Revenue[6,000] - fac:Expenses[2,000] + fac:Gains[750] - fac:Losses[1,000]

fac:NetIncomeLoss[3,000] = fac:Revenue[7,000] - fac:Expenses[3,000] + fac:Gains[1,000] - fac:Losses[2,000]

12valueAssertionFAC_CONSISTENCY_2
  • ok:2
  • failed:0
 

Assets=LiabilitiesAndEquity

2 instances:

fac:Assets[0] = fac:LiabilitiesAndEquity[0]

fac:Assets[3,500] = fac:LiabilitiesAndEquity[3,500]

13valueAssertionFAC_CONSISTENCY_3
  • ok:2
  • failed:0
 

Assets=CurrentAssets+NoncurrentAssets

2 instances:

fac:Assets[0] = fac:CurrentAssets[0] + fac:NoncurrentAssets[0]

fac:Assets[3,500] = fac:CurrentAssets[500] + fac:NoncurrentAssets[3,000]

14valueAssertionFAC_CONSISTENCY_4
  • ok:2
  • failed:0
 

Liabilities=CurrentLiabilities+NoncurrentLiabilities

2 instances:

fac:Liabilities[0] = fac:CurrentLiabilities[0] + fac:NoncurrentLiabilities[0]

fac:Liabilities[0] = fac:CurrentLiabilities[0] + fac:NoncurrentLiabilities[0]

15valueAssertionFAC_CONSISTENCY_5
  • ok:2
  • failed:0
 

LiabilitiesAndEquity=Liabilities+Equity

2 instances:

fac:LiabilitiesAndEquity[0] = fac:Liabilities[0] + fac:Equity[0]

fac:LiabilitiesAndEquity[3,500] = fac:Liabilities[0] + fac:Equity[3,500]

16valueAssertionFAC_CONSISTENCY_59
  • ok:1
  • failed:0
 

ComprehensiveIncomeLoss=NetIncomeLoss+OtherComprehensiveIncome

1 instance:

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

17formulaFAC_DERIVATION_BS_01
  • derived:0
 

if exists(LiabilitiesAndEquity)and exists(CurrentAssets)and Assets eq null and NoncurrentAssets eq null then CurrentAssets else null
 derives fac:Assets

18formulaFAC_DERIVATION_BS_02
  • derived:0
 

if exists(LiabilitiesAndEquity)and exists(CurrentAssets)and exists(LiabilitiesAndEquity)and Assets eq null and NoncurrentAssets eq null then CurrentAssets else null
 derives fac:Assets

19formulaFAC_DERIVATION_BS_03
  • derived:0
 

if Assets eq null and NoncurrentAssets eq null and exists(CurrentAssets)and exists(Liabilities)and exists(Equity)and exists(LiabilitiesAndEquity)and LiabilitiesAndEquity=Liabilities+Equity then CurrentAssets else null
 derives fac:Assets

20formulaFAC_DERIVATION_BS_04
  • derived:0
 

if Assets eq null and NoncurrentAssets eq null and exists(CurrentAssets)then Assets-CurrentAssets else null
 derives fac:NoncurrentAssets

21formulaFAC_DERIVATION_BS_05
  • derived:0
 

if LiabilitiesAndEquity eq null and exists(Assets)then Assets else null
 derives fac:LiabilitiesAndEquity

22formulaFAC_DERIVATION_BS_12
  • derived:0
 

if NoncurrentLiabilities eq null and exists(Liabilities)and exists(CurrentLiabilities)then Liabilities-CurrentLiabilities else null
 derives fac:NoncurrentLiabilities

23formulaFAC_DERIVATION_BS_14
  • derived:0
 

if Liabilities eq null and exists(CurrentLiabilities)and exists(NoncurrentLiabilities)then CurrentLiabilities+NoncurrentLiabilities else null
 derives fac:Liabilities

24formulaFAC_DERIVATION_BS_56
  • derived:0
 

if NoncurrentLiabilities eq null and exists(CurrentLiabilities)and exists(Liabilities)then Liabilities-CurrentLiabilities else null
 derives fac:NoncurrentLiabilities

25valueAssertionMemberAggregation_MA1
  • ok:1
  • failed:0
 

Total eq sum(Each)

1 instance:

7000, 1000, 4000, 2000

26valueAssertionMemberAggregation_PPA
  • ok:1
  • failed:0
 

Total eq sum(Each)

1 instance:

0, -1500, -500, 2000

27valueAssertionRollForward_CF01
  • ok:1
  • failed:0
 

Assets_BalanceStart+NetCashFlow=Assets_BalanceEnd

1 instance:

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

28valueAssertionRollForward_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]

29valueAssertionVariance_VAR01
  • ok:1
  • failed:0
 

Actual=Budget+Variance

1 instance:

proof:Revenues[7,000] = proof:Revenues[6,000] + proof:Revenues[1,000]

30valueAssertionVariance_VAR02
  • ok:1
  • failed:0
 

Actual=Budget+Variance

1 instance:

proof:Expenses[3,000] = proof:Expenses[2,000] + proof:Expenses[1,000]

31valueAssertionVariance_VAR03
  • ok:1
  • failed:0
 

Actual=Budget+Variance

1 instance:

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

32valueAssertionVariance_VAR04
  • ok:1
  • failed:0
 

Actual=Budget+Variance

1 instance:

proof:Losses[2,000] = proof:Losses[1,000] + proof:Losses[1,000]

33valueAssertionVariance_VAR05
  • ok:1
  • failed:0
 

Actual=Budget+Variance

1 instance:

proof:NetIncome[3,000] = proof:NetIncome[3,750] + proof:NetIncome[-750]

34disclosuredisclosures:AssetsRollForward
  • detections:1
 
Assets Roll Forward
  • disclosures:AssetsRollForward requires:

    • 1 instance:

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

    35disclosuredisclosures:AssetsRollUp
    • detections:1
    		 
    Assets Roll Up
  • disclosures:AssetsRollUp requires:

    • 1 instance:

     In network 01-Balance Sheet:
    proof:BalanceSheetHypercube is presented
    Detected block Assets [RollUp] with proof:Assets

    36disclosuredisclosures:BalanceSheet
    • detections:1
    		 
    Balance Sheet
  • disclosures:BalanceSheet requires:

    • 1 instance:

     In network 01-Balance Sheet:
    01-Balance Sheet Balance Sheet [Hypercube] is a component
    proof:BalanceSheetHypercube is presented
    Detected block Assets [RollUp] with proof:Assets
    Detected block Liabilities and Equity [RollUp] with proof:LiabilitiesAndEquity

    37disclosuredisclosures:BasisOfReporting
    • detections:1
    		 
    Basis of Reporting
  • disclosures:BasisOfReporting requires:

    • 1 instance:

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

    38disclosuredisclosures:CashFlowStatement
    • detections:1
    		 
    Cash Flow Statement
  • disclosures:CashFlowStatement requires:

    • 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

    39disclosuredisclosures:ChangesInEquity
    • detections:1
    		 
    Changes in Equity
  • disclosures:ChangesInEquity requires:

    • 1 instance:

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

    40disclosuredisclosures:ComprehensiveIncome
    • detections:1
    		 
    Comprehensive Income
  • disclosures:ComprehensiveIncome requires:

    • 1 instance:

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

    41disclosuredisclosures:FinancialHighlights
    • detections:1
    		 
    Financial Highlights
  • disclosures:FinancialHighlights requires:

    • 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

    42disclosuredisclosures:IncomeStatement
    • detections:2
    		 
    Income Statement
  • disclosures:IncomeStatement requires:

    • 2 instances:

     In network 03-Income Statement:
    proof:ComprehensiveIncomeStatementHypercube is presented
    Detected block Net Income [RollUp] with proof:NetIncome

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

    43disclosuredisclosures:IncomeStatementAlternative
    • detections:1
    		 
    Income Statement Alternative
  • disclosures:IncomeStatementAlternative requires:

    • 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

    44disclosuredisclosures:LiabilitiesAndEquityRollUp
    • detections:1
    		 
    Liabilities and Equity Roll Up
  • disclosures:LiabilitiesAndEquityRollUp requires:

    • 1 instance:

     In network 01-Balance Sheet:
    proof:BalanceSheetHypercube is presented
    Detected block Liabilities and Equity [RollUp] with proof:LiabilitiesAndEquity

    45disclosuredisclosures:NatureOfOperations
    • detections:1
    		 
    Nature of Operations
  • disclosures:NatureOfOperations requires:

    • 1 instance:

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

    46disclosuredisclosures:NetAssetsRollUp
    • detections:1
    		 
    Net Assets Roll Up
  • disclosures:NetAssetsRollUp requires:

    • 1 instance:

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

    47disclosuredisclosures:NetCashFlowRollUp
    • detections:1
    		 
    Net Cash Flow Roll Up
  • disclosures:NetCashFlowRollUp requires:

    • 1 instance:

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

    48disclosuredisclosures:PriorPeriodError
    • detections:1
    		 
    Prior Period Error
  • disclosures:PriorPeriodError requires:

    • 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

    49disclosuredisclosures:PriorPeriodErrorAlternative
    • detections:1
    		 
    Prior Period Error Alternative
  • disclosures:PriorPeriodErrorAlternative requires:

    • 1 instance:

     In network 08-Prior Period Errors (Alternative):
    proof:PriorPeriodErrorsHypercube is presented
    proof:RestatementAxis is presented
    Detected block Prior Period Errors [Adjustment] [Set] with proof:PriorPeriodErrorsAdjustment

    50disclosuredisclosures:RevenueRecognitionPolicy
    • detections:1
    		 
    Revenue Recognition Policy
  • disclosures:RevenueRecognitionPolicy requires:

    • 1 instance:

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

    51disclosuredisclosures:SegmentRevenues
    • detections:1
    		 
    Segment Revenues
  • disclosures:SegmentRevenues requires:

    • 1 instance:

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

    52disclosuredisclosures:StockPlanActivity
    • detections:1
    		 
    Stock Plan Activity
  • disclosures:StockPlanActivity requires:

    • 1 instance:

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

    53disclosuredisclosures:VarianceAnalysis
    • detections:1
    		 
    Variance Analysis
  • disclosures:VarianceAnalysis requires:

    • 1 instance:

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

    54calculationfac:Assets (in BSC)
    • ok:2
    • failed:0
    		 

    total=CurrentAssets_2+NoncurrentAssets_1

    2 instances:

    fac:Assets[3,500] = fac:CurrentAssets[500] + fac:NoncurrentAssets[3,000]

    fac:Assets[0] = fac:CurrentAssets[0] + fac:NoncurrentAssets[0]

    55calculationfac:Equity (in BSC)
    • ok:2
    • failed:0
    		 

    total=EquityAttributableToControllingInterests_2+EquityAttributableToNoncontrollingInterests_1

    2 instances:

    fac:Equity[3,500] = fac:EquityAttributableToControllingInterests[3,000] + fac:EquityAttributableToNoncontrollingInterests[500]

    fac:Equity[0] = fac:EquityAttributableToControllingInterests[0] + fac:EquityAttributableToNoncontrollingInterests[0]

    56calculationfac:Liabilities (in BSC)
    • ok:2
    • failed:0
    		 

    total=CurrentLiabilities_2+NoncurrentLiabilities_1

    2 instances:

    fac:Liabilities[0] = fac:CurrentLiabilities[0] + fac:NoncurrentLiabilities[0]

    fac:Liabilities[0] = fac:CurrentLiabilities[0] + fac:NoncurrentLiabilities[0]

    57calculationfac:LiabilitiesAndEquity (in BSC)
    • ok:2
    • failed:0
    		 

    total=Liabilities_2+Equity_1

    2 instances:

    fac:LiabilitiesAndEquity[3,500] = fac:Liabilities[0] + fac:Equity[3,500]

    fac:LiabilitiesAndEquity[0] = fac:Liabilities[0] + fac:Equity[0]

    58calculationfac:NetCashFlow (in CashFlowStatement)
    • 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]

    59calculationfac:NetIncomeLoss (in IS1)
    • ok:3
    • failed:0
    		 

    total=Revenue_4+(-Expenses_3+(Gains_2+ -Losses_1))

    3 instances:

    fac:NetIncomeLoss[3,750] = fac:Revenue[6,000] + - fac:Expenses[2,000] + fac:Gains[750] + - fac:Losses[1,000]

    fac:NetIncomeLoss[-750] = fac:Revenue[1,000] + - fac:Expenses[1,000] + fac:Gains[250] + - fac:Losses[1,000]

    fac:NetIncomeLoss[3,000] = fac:Revenue[7,000] + - fac:Expenses[3,000] + fac:Gains[1,000] + - fac:Losses[2,000]

    60calculationfac:ComprehensiveIncomeLoss (in OCI)
    • ok:1
    • failed:0
    		 

    total=NetIncomeLoss_2+OtherComprehensiveIncome_1

    1 instance:

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

    61calculationproof:Assets (in BalanceSheet)
    • ok:2
    • failed:0
    		 

    total=CurrentAssets_2+NoncurrentAssets_1

    2 instances:

    proof:Assets[3,500] = proof:CurrentAssets[500] + proof:NoncurrentAssets[3,000]

    proof:Assets[0] = proof:CurrentAssets[0] + proof:NoncurrentAssets[0]

    62calculationproof:Equity (in BalanceSheet)
    • ok:2
    • failed:0
    		 

    total=EquityAttributableToControllingInterests_2+EquityAttributableToNoncontrollingInterests_1

    2 instances:

    proof:Equity[3,500] = proof:EquityAttributableToControllingInterests[3,000] + proof:EquityAttributableToNoncontrollingInterests[500]

    proof:Equity[0] = proof:EquityAttributableToControllingInterests[0] + proof:EquityAttributableToNoncontrollingInterests[0]

    63calculationproof:Liabilities (in BalanceSheet)
    • ok:2
    • failed:0
    		 

    total=CurrentLiabilities_2+NoncurrentLiabilities_1

    2 instances:

    proof:Liabilities[0] = proof:CurrentLiabilities[0] + proof:NoncurrentLiabilities[0]

    proof:Liabilities[0] = proof:CurrentLiabilities[0] + proof:NoncurrentLiabilities[0]

    64calculationproof:LiabilitiesAndEquity (in BalanceSheet)
    • ok:2
    • failed:0
    		 

    total=Liabilities_2+Equity_1

    2 instances:

    proof:LiabilitiesAndEquity[3,500] = proof:Liabilities[0] + proof:Equity[3,500]

    proof:LiabilitiesAndEquity[0] = proof:Liabilities[0] + proof:Equity[0]

    65calculationproof: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]

    66calculationproof:NetIncome (in ComprehensiveIncome)
    • ok:3
    • failed:0
    		 

    total=Revenues_4+(-Expenses_3+(Gains_2+ -Losses_1))

    3 instances:

    proof:NetIncome[3,750] = proof:Revenues[6,000] + - proof:Expenses[2,000] + proof:Gains[750] + - proof:Losses[1,000]

    proof:NetIncome[-750] = proof:Revenues[1,000] + - proof:Expenses[1,000] + proof:Gains[250] + - proof:Losses[1,000]

    proof:NetIncome[3,000] = proof:Revenues[7,000] + - proof:Expenses[3,000] + proof:Gains[1,000] + - proof:Losses[2,000]

    67calculationproof:NetIncome (in ComprehensiveIncome2)
    • ok:1
    • failed:0
    		 

    total=IncomeFromNormalActivitiesOfEntity_2+IncomeFromPeripheralOrIncidentalTransactionsOfEntity_1

    1 instance:

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

    68calculationproof: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]

    69calculationproof: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]

    70calculationproof:NetIncome (in VarianceAnalysis)
    • ok:3
    • failed:0
    		 

    total=Revenues_4+(-Expenses_3+(Gains_2+ -Losses_1))

    3 instances:

    proof:NetIncome[3,750] = proof:Revenues[6,000] + - proof:Expenses[2,000] + proof:Gains[750] + - proof:Losses[1,000]

    proof:NetIncome[-750] = proof:Revenues[1,000] + - proof:Expenses[1,000] + proof:Gains[250] + - proof:Losses[1,000]

    proof:NetIncome[3,000] = proof:Revenues[7,000] + - proof:Expenses[3,000] + proof:Gains[1,000] + - proof:Losses[2,000]

    71disclosureCheckrequire [disclosures:AssetsRollForward]
    • ok:1
    • failed:0
    		 
    Require disclosure:

    1 instance:

    See link above

    72disclosureCheckrequire [disclosures:AssetsRollUp]
    • ok:1
    • failed:0
    		 
    Require disclosure:

    1 instance:

    See link above

    73disclosureCheckrequire [disclosures:BalanceSheet]
    • ok:1
    • failed:0
    		 
    Require disclosure:

    1 instance:

    See link above

    74disclosureCheckrequire [disclosures:BasisOfReporting]
    • ok:1
    • failed:0
    		 
    Require disclosure:

    1 instance:

    See link above

    75disclosureCheckrequire [disclosures:CashFlowStatement]
    • ok:1
    • failed:0
    		 
    Require disclosure:

    1 instance:

    See link above

    76disclosureCheckrequire [disclosures:ChangesInEquity]
    • ok:1
    • failed:0
    		 
    Require disclosure:

    1 instance:

    See link above

    77disclosureCheckrequire [disclosures:ComprehensiveIncome]
    • ok:1
    • failed:0
    		 
    Require disclosure:

    1 instance:

    See link above

    78disclosureCheckrequire [disclosures:FinancialHighlights]
    • ok:1
    • failed:0
    		 
    Require disclosure:

    1 instance:

    See link above

    79disclosureCheckrequire [disclosures:IncomeStatement]
    • ok:1
    • failed:0
    		 
    Require disclosure:

    1 instance:

    See link above

    80disclosureCheckrequire [disclosures:IncomeStatementAlternative]
    • ok:1
    • failed:0
    		 
    Require disclosure:

    1 instance:

    See link above

    81disclosureCheckrequire [disclosures:LiabilitiesAndEquityRollUp]
    • ok:1
    • failed:0
    		 
    Require disclosure:

    1 instance:

    See link above

    82disclosureCheckrequire [disclosures:NatureOfOperations]
    • ok:1
    • failed:0
    		 
    Require disclosure:

    1 instance:

    See link above

    83disclosureCheckrequire [disclosures:NetAssetsRollUp]
    • ok:1
    • failed:0
    		 
    Require disclosure:

    1 instance:

    See link above

    84disclosureCheckrequire [disclosures:NetCashFlowRollUp]
    • ok:1
    • failed:0
    		 
    Require disclosure:

    1 instance:

    See link above

    85disclosureCheckrequire [disclosures:PriorPeriodError]
    • ok:1
    • failed:0
    		 
    Require disclosure:

    1 instance:

    See link above

    86disclosureCheckrequire [disclosures:PriorPeriodErrorAlternative]
    • ok:1
    • failed:0
    		 
    Require disclosure:

    1 instance:

    See link above

    87disclosureCheckrequire [disclosures:RevenueRecognitionPolicy]
    • ok:1
    • failed:0
    		 
    Require disclosure:

    1 instance:

    See link above

    88disclosureCheckrequire [disclosures:SegmentRevenues]
    • ok:1
    • failed:0
    		 
    Require disclosure:

    1 instance:

    See link above

    89disclosureCheckrequire [disclosures:StockPlanActivity]
    • ok:1
    • failed:0
    		 
    Require disclosure:

    1 instance:

    See link above

    90disclosureCheckrequire [disclosures:VarianceAnalysis]
    • ok:1
    • failed:0
    		 
    Require disclosure:

    1 instance:

    See link above

    The colours used for the rules are significant, and have the following meanings:

    For more information: http://accounting.auditchain.finance/index.html
    DISCLAIMER: this analysis is provided by software still under development, and likely incomplete or even erroneous; do NOT use it other than for experimental, inconsequential purposes