Generated by Pacioli version 54f833c (updated 2 hours ago). Analysis at 2021-06-16T22:02:28+0000 for charles.hoffman@me.com. This page will remain online at https://pacioli.logicalcontracts.com/reportAnalysis/9f7f4380c8fe0b91d223d9b6e4346fab4e42974a.report/index.html for about 28 days.

TypeDefinedBoundDerivedOKFail
calculation46060
disclosure77070
disclosureCheck77070
existenceAssertion00000
formula00000
valueAssertion7100100

Rule Details

TypeName Rule ExpressionProlog form (technical)
valueAssertionArithmetic_BS01
  • derived:0
  • ok:2
  • failed:0
 

Assets=Liabilities+Equity

2 instances:

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

sfac6:Assets[3500] = sfac6:Liabilities[0] + sfac6:Equity[3500]

 

'Arithmetic_BS01' valueAssertion
  Assets=Liabilities+Equity
  variables
  Assets: [concept(sfac6:'Assets')],
  Equity: [concept(sfac6:'Equity')],
  Liabilities: [concept(sfac6:'Liabilities')].
valueAssertionArithmetic_CNA01
  • derived:0
  • ok:1
  • failed:0
 

ChangeInNetAssets=Revenues-Expenses+Gains-Losses

1 instance:

sfac6:ChangeInNetAssets[3000] = sfac6:Revenues[7000] - sfac6:Expenses[3000] + sfac6:Gains[1000] - sfac6:Losses[2000]

 

'Arithmetic_CNA01' valueAssertion
  ChangeInNetAssets=Revenues-Expenses+Gains-Losses
  variables
  ChangeInNetAssets: [concept(sfac6:'ChangeInNetAssets')],
  Expenses: [concept(sfac6:'Expenses')],
  Gains: [concept(sfac6:'Gains')],
  Losses: [concept(sfac6:'Losses')],
  Revenues: [concept(sfac6:'Revenues')].
valueAssertionArithmetic_IS01
  • derived:0
  • ok:1
  • failed:0
 

ComprehensiveIncome=Revenues-Expenses+Gains-Losses

1 instance:

sfac6:ComprehensiveIncome[3000] = sfac6:Revenues[7000] - sfac6:Expenses[3000] + sfac6:Gains[1000] - sfac6:Losses[2000]

 

'Arithmetic_IS01' valueAssertion
  ComprehensiveIncome=Revenues-Expenses+Gains-Losses
  variables
  ComprehensiveIncome: [concept(sfac6:'ComprehensiveIncome')],
  Expenses: [concept(sfac6:'Expenses')],
  Gains: [concept(sfac6:'Gains')],
  Losses: [concept(sfac6:'Losses')],
  Revenues: [concept(sfac6:'Revenues')].
valueAssertionArithmetic_NP01
  • derived:0
  • ok:2
  • failed:0
 

NetAssets=Assets-Liabilities

2 instances:

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

sfac6:NetAssets[3500] = sfac6:Assets[3500] - sfac6:Liabilities[0]

 

'Arithmetic_NP01' valueAssertion
  NetAssets=Assets-Liabilities
  variables
  Assets: [concept(sfac6:'Assets')],
  Liabilities: [concept(sfac6:'Liabilities')],
  NetAssets: [concept(sfac6:'NetAssets')].
valueAssertionArithmetic_NP02
  • derived:0
  • ok:2
  • failed:0
 

NetPosition=NetPositionPermanentlyRestricted+NetPositionTemporarilyRestricted+NetPositionUnrestricted

2 instances:

sfac6:FundBalance[0] = sfac6:FundBalancePermanentlyRestricted[0] + sfac6:FundBalanceTemporarilyRestricted[0] + sfac6:FundBalanceUnrestricted[0]

sfac6:FundBalance[3500] = sfac6:FundBalancePermanentlyRestricted[2000] + sfac6:FundBalanceTemporarilyRestricted[1000] + sfac6:FundBalanceUnrestricted[500]

 

'Arithmetic_NP02' valueAssertion
  NetPosition=NetPositionPermanentlyRestricted+NetPositionTemporarilyRestricted+NetPositionUnrestricted
  variables
  NetPosition: [concept(sfac6:'FundBalance')],
  NetPositionPermanentlyRestricted: [concept(sfac6:'FundBalancePermanentlyRestricted')],
  NetPositionTemporarilyRestricted: [concept(sfac6:'FundBalanceTemporarilyRestricted')],
  NetPositionUnrestricted: [concept(sfac6:'FundBalanceUnrestricted')].
valueAssertionRollForward_CNP01
  • derived:0
  • ok:1
  • failed:0
 

FundBalance_BalanceStart+ChangeInNetAssets+OtherIncreasesDecreasesInFundBalance=FundBalance_BalanceEnd

1 instance:

sfac6:FundBalance[0] + sfac6:ChangeInNetAssets[3000] + sfac6:OtherIncreasesDecreasesInFundBalance[500] = sfac6:FundBalance[3500]

 

'RollForward_CNP01' valueAssertion
  FundBalance_BalanceStart+ChangeInNetAssets+OtherIncreasesDecreasesInFundBalance=FundBalance_BalanceEnd
  variables
  ChangeInNetAssets: [concept(sfac6:'ChangeInNetAssets')],
  FundBalance_BalanceEnd: [concept(sfac6:'FundBalance'),instantDuration('ChangeInNetAssets',end)],
  FundBalance_BalanceStart: [concept(sfac6:'FundBalance'),instantDuration('ChangeInNetAssets',start)],
  OtherIncreasesDecreasesInFundBalance: [concept(sfac6:'OtherIncreasesDecreasesInFundBalance')].
valueAssertionRollForward_SHE01
  • derived:0
  • ok:1
  • failed:0
 

Equity_BalanceStart+ComprehensiveIncome+InvestmentsByOwners-DistributionsToOwners=Equity_BalanceEnd

1 instance:

sfac6:Equity[0] + sfac6:ComprehensiveIncome[3000] + sfac6:InvestmentsByOwners[1000] - sfac6:DistributionsToOwners[500] = sfac6:Equity[3500]

 

'RollForward_SHE01' valueAssertion
  Equity_BalanceStart+ComprehensiveIncome+InvestmentsByOwners-DistributionsToOwners=Equity_BalanceEnd
  variables
  ComprehensiveIncome: [concept(sfac6:'ComprehensiveIncome')],
  DistributionsToOwners: [concept(sfac6:'DistributionsToOwners')],
  Equity_BalanceEnd: [concept(sfac6:'Equity'),instantDuration('DistributionsToOwners',end)],
  Equity_BalanceStart: [concept(sfac6:'Equity'),instantDuration('DistributionsToOwners',start)],
  InvestmentsByOwners: [concept(sfac6:'InvestmentsByOwners')].
calculationsfac6:ChangeInNetAssets (in ChangeInNetAssets)
  • derived:0
  • ok:1
  • failed:0
 

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

1 instance:

sfac6:ChangeInNetAssets[3000] = sfac6:Revenues[7000] + - sfac6:Expenses[3000] + sfac6:Gains[1000] + - sfac6:Losses[2000]

 

calculation('http://www.xbrlsite.com/sfac6/role/ChangeInNetAssets',sfac6:'ChangeInNetAssets') valueAssertion /* not loadable */
  total=Revenues_4+(-Expenses_3+(Gains_2+ -Losses_1))
  variables
  total: [concept(sfac6:'ChangeInNetAssets')],
  Revenues_4: [concept(sfac6:'Revenues')],
  Expenses_3: [concept(sfac6:'Expenses')],
  Gains_2: [concept(sfac6:'Gains')],
  Losses_1: [concept(sfac6:'Losses')].
calculationsfac6:ComprehensiveIncome (in ComprehensiveIncome)
  • derived:0
  • ok:1
  • failed:0
 

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

1 instance:

sfac6:ComprehensiveIncome[3000] = sfac6:Revenues[7000] + - sfac6:Expenses[3000] + sfac6:Gains[1000] + - sfac6:Losses[2000]

 

calculation('http://www.xbrlsite.com/sfac6/role/ComprehensiveIncome',sfac6:'ComprehensiveIncome') valueAssertion /* not loadable */
  total=Revenues_4+(-Expenses_3+(Gains_2+ -Losses_1))
  variables
  total: [concept(sfac6:'ComprehensiveIncome')],
  Revenues_4: [concept(sfac6:'Revenues')],
  Expenses_3: [concept(sfac6:'Expenses')],
  Gains_2: [concept(sfac6:'Gains')],
  Losses_1: [concept(sfac6:'Losses')].
calculationsfac6:FundBalance (in NetAssets)
  • derived:0
  • ok:2
  • failed:0
 

total=FundBalancePermanentlyRestricted_3+(FundBalanceTemporarilyRestricted_2+FundBalanceUnrestricted_1)

2 instances:

sfac6:FundBalance[3500] = sfac6:FundBalancePermanentlyRestricted[2000] + sfac6:FundBalanceTemporarilyRestricted[1000] + sfac6:FundBalanceUnrestricted[500]

sfac6:FundBalance[0] = sfac6:FundBalancePermanentlyRestricted[0] + sfac6:FundBalanceTemporarilyRestricted[0] + sfac6:FundBalanceUnrestricted[0]

 

calculation('http://www.xbrlsite.com/sfac6/role/NetAssets',sfac6:'FundBalance') valueAssertion /* not loadable */
  total=FundBalancePermanentlyRestricted_3+(FundBalanceTemporarilyRestricted_2+FundBalanceUnrestricted_1)
  variables
  total: [concept(sfac6:'FundBalance')],
  FundBalancePermanentlyRestricted_3: [concept(sfac6:'FundBalancePermanentlyRestricted')],
  FundBalanceTemporarilyRestricted_2: [concept(sfac6:'FundBalanceTemporarilyRestricted')],
  FundBalanceUnrestricted_1: [concept(sfac6:'FundBalanceUnrestricted')].
calculationsfac6:NetAssets (in NetAssets)
  • derived:0
  • ok:2
  • failed:0
 

total=Assets_2+ -Liabilities_1

2 instances:

sfac6:NetAssets[3500] = sfac6:Assets[3500] + - sfac6:Liabilities[0]

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

 

calculation('http://www.xbrlsite.com/sfac6/role/NetAssets',sfac6:'NetAssets') valueAssertion /* not loadable */
  total=Assets_2+ -Liabilities_1
  variables
  total: [concept(sfac6:'NetAssets')],
  Assets_2: [concept(sfac6:'Assets')],
  Liabilities_1: [concept(sfac6:'Liabilities')].
disclosuredisclosures:BalanceSheet
  • detections:1
 
Balance Sheet
  • disclosures:BalanceSheet requires:

    • 1 instance:

    sfac6:BalanceSheetHypercube is presented
    sfac6:Liabilities is presented
    sfac6:Equity is presented
    Detected block 1.1.1.1.arithmetic with sfac6:Assets

    		 
    Not yet
    disclosuredisclosures:ChangesInEquity
    • detections:1
    		 
    Changes in Equity
  • disclosures:ChangesInEquity requires:

    • 1 instance:

    sfac6:ChangesInEquityHypercube is presented
    Detected block 1.1.1.1.rollForward with sfac6:Equity

    		 
    Not yet
    disclosuredisclosures:ChangesInFundBalance
    • detections:1
    		 
    Changes in Fund Balance
  • disclosures:ChangesInFundBalance requires:

    • 1 instance:

    sfac6:ChangesInFundBalanceHypercube is presented
    Detected block 1.1.1.1.rollForward with sfac6:FundBalance

    		 
    Not yet
    disclosuredisclosures:ChangesInNetAssets
    • detections:1
    		 
    Changes in Net Assets
  • disclosures:ChangesInNetAssets requires:

    • 1 instance:

    sfac6:ChangesInNetAssetsHypercube is presented
    Detected block 1.1.1.5.rollUp with sfac6:ChangeInNetAssets

    		 
    Not yet
    disclosuredisclosures:ComprehensiveIncome
    • detections:1
    		 
    Comprehensive Income
  • disclosures:ComprehensiveIncome requires:

    • 1 instance:

    sfac6:ComprehensiveIncomeStatementHypercube is presented
    Detected block 1.1.1.5.rollUp with sfac6:ComprehensiveIncome

    		 
    Not yet
    disclosuredisclosures:FundBalance
    • detections:1
    		 
    Fund Balance
  • disclosures:FundBalance requires:

    • 1 instance:

    sfac6:FundBalanceHypercube is presented
    sfac6:FundBalancePermanentlyRestricted is presented
    sfac6:FundBalanceUnrestricted is presented
    Detected block 1.1.2.4.rollUp with sfac6:FundBalance

    		 
    Not yet
    disclosuredisclosures:NetAssets
    • detections:1
    		 
    Net Assets
  • disclosures:NetAssets requires:

    • 1 instance:

    sfac6:FundBalanceHypercube is presented
    sfac6:Assets is presented
    sfac6:Liabilities is presented
    Detected block 1.1.1.3.rollUp with sfac6:NetAssets

    		 
    Not yet
    disclosureCheckrequire [disclosures:BalanceSheet]
    • ok:1
    • failed:0
    		 
    Requires disclosure:

    1 instance:

    		 
    Not yet
    disclosureCheckrequire [disclosures:ComprehensiveIncome]
    • ok:1
    • failed:0
    		 
    Requires disclosure:

    1 instance:

    		 
    Not yet
    disclosureCheckrequire [disclosures:ChangesInEquity]
    • ok:1
    • failed:0
    		 
    Requires disclosure:

    1 instance:

    		 
    Not yet
    disclosureCheckrequire [disclosures:NetAssets]
    • ok:1
    • failed:0
    		 
    Requires disclosure:

    1 instance:

    		 
    Not yet
    disclosureCheckrequire [disclosures:ChangesInNetAssets]
    • ok:1
    • failed:0
    		 
    Requires disclosure:

    1 instance:

    		 
    Not yet
    disclosureCheckrequire [disclosures:ChangesInFundBalance]
    • ok:1
    • failed:0
    		 
    Requires disclosure:

    1 instance:

    		 
    Not yet
    disclosureCheckrequire [disclosures:FundBalance]
    • ok:1
    • failed:0
    		 
    Requires disclosure:

    1 instance:

    		 
    Not yet

    For more information: http://logicalcontracts.com/xbrl-and-sbrm-reporting/
    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