All Rules

Type	Defined	Bound	OK
calculation	2	2	2
disclosure	3	3	3
disclosureCheck	3	3	3
existenceAssertion	0	0	0
formula	0	0	0
valueAssertion	2	2	2

All Rules

#	Type	Name	Rule Expression
1	valueAssertion	FAC_CONSISTENCY_Assets Added ok:1 failed:0	Assets=Liabilities 1 instance: fac:Assets[5] = fac:Liabilities[5]
2	valueAssertion	RULE1 ok:1 failed:0	Resources=Liabilities 1 instance: occ:Resources[5] = occ:Liabilities[5]
3	disclosure	disclosures:LiabilitiesRollUp Added detections:1	Liabilities Roll Up disclosures:LiabilitiesRollUp requires: Hypercube occ:ReportToComptrollerHypercube Concept Arrangement Pattern cm:RollUp with occ:Liabilities 1 instance: In network Report to Comptroller: occ:ReportToComptrollerHypercube is presented Detected block Liabilities [RollUp] with occ:Liabilities
4	disclosure	disclosures:ReportToController Added detections:1	Report to Controller disclosures:ReportToController requires: Concept Arrangement Pattern cm:Component disclosure disclosures:ResourcesRollUp disclosure disclosures:LiabilitiesRollUp 1 instance: In network Report to Comptroller: Report to Comptroller Report to Comptroller [Hypercube] is a component occ:ReportToComptrollerHypercube is presented Detected block Resources [RollUp] with occ:Resources Detected block Liabilities [RollUp] with occ:Liabilities
5	disclosure	disclosures:ResourcesRollUp Added detections:1	Resources Roll Up disclosures:ResourcesRollUp requires: Hypercube occ:ReportToComptrollerHypercube Concept Arrangement Pattern cm:RollUp with occ:Resources 1 instance: In network Report to Comptroller: occ:ReportToComptrollerHypercube is presented Detected block Resources [RollUp] with occ:Resources
6	calculation	occ:Liabilities (in ReportToComptroller) ok:1 failed:0	total=Capital_4+(SurplusAndUndividedProfits_3+(Circulation_2+Deposits_1)) 1 instance: occ:Liabilities[5] = occ:Capital[2] + occ:SurplusAndUndividedProfits[1] + occ:Circulation[1] + occ:Deposits[1]
7	calculation	occ:Resources (in ReportToComptroller) ok:1 failed:0	total=LoansIncludingOverdraft_5+(USBondsAndPremiums_4+(RealEstateFurnitureAndFixtures_3+(RedemptionFundWithUSTreasurer_2+CashAndDueFromBanks_1))) 1 instance: occ:Resources[5] = occ:LoansIncludingOverdraft[1] + occ:USBondsAndPremiums[1] + occ:RealEstateFurnitureAndFixtures[1] + occ:RedemptionFundWithUSTreasurer[1] + occ:CashAndDueFromBanks[1]
8	disclosureCheck	require [disclosures:LiabilitiesRollUp] Added ok:1 failed:0	Require disclosure: disclosures:LiabilitiesRollUp 1 instance: See link above
9	disclosureCheck	require [disclosures:ReportToController] Added ok:1 failed:0	Require disclosure: disclosures:ReportToController 1 instance: See link above
10	disclosureCheck	require [disclosures:ResourcesRollUp] Added ok:1 failed:0	Require disclosure: disclosures:ResourcesRollUp 1 instance: See link above

Type

Name

Rule Expression

valueAssertion

FAC_CONSISTENCY_Assets Added

ok:1
failed:0

Assets=Liabilities

1 instance:

fac:Assets[5] = fac:Liabilities[5]

valueAssertion

RULE1

ok:1
failed:0

Resources=Liabilities

1 instance:

occ:Resources[5] = occ:Liabilities[5]

disclosure

disclosures:LiabilitiesRollUp Added

detections:1

Liabilities Roll Up

disclosures:LiabilitiesRollUp requires:

Hypercube occ:ReportToComptrollerHypercube
Concept Arrangement Pattern cm:RollUp
- with occ:Liabilities

1 instance:

In network Report to Comptroller:
occ:ReportToComptrollerHypercube is presented
Detected block Liabilities [RollUp] with occ:Liabilities

disclosure

disclosures:ReportToController Added

detections:1

Report to Controller

disclosures:ReportToController requires:

Concept Arrangement Pattern cm:Component
disclosure disclosures:ResourcesRollUp
disclosure disclosures:LiabilitiesRollUp

1 instance:

In network Report to Comptroller:
Report to Comptroller Report to Comptroller [Hypercube] is a component
occ:ReportToComptrollerHypercube is presented
Detected block Resources [RollUp] with occ:Resources
Detected block Liabilities [RollUp] with occ:Liabilities

disclosure

disclosures:ResourcesRollUp Added

detections:1

Resources Roll Up

disclosures:ResourcesRollUp requires:

Hypercube occ:ReportToComptrollerHypercube
Concept Arrangement Pattern cm:RollUp
- with occ:Resources

1 instance:

In network Report to Comptroller:
occ:ReportToComptrollerHypercube is presented
Detected block Resources [RollUp] with occ:Resources

calculation

occ:Liabilities (in ReportToComptroller)

ok:1
failed:0

total=Capital_4+(SurplusAndUndividedProfits_3+(Circulation_2+Deposits_1))

1 instance:

occ:Liabilities[5] = occ:Capital[2] + occ:SurplusAndUndividedProfits[1] + occ:Circulation[1] + occ:Deposits[1]

calculation

occ:Resources (in ReportToComptroller)

ok:1
failed:0

total=LoansIncludingOverdraft_5+(USBondsAndPremiums_4+(RealEstateFurnitureAndFixtures_3+(RedemptionFundWithUSTreasurer_2+CashAndDueFromBanks_1)))

1 instance:

occ:Resources[5] = occ:LoansIncludingOverdraft[1] + occ:USBondsAndPremiums[1] + occ:RealEstateFurnitureAndFixtures[1] + occ:RedemptionFundWithUSTreasurer[1] + occ:CashAndDueFromBanks[1]

disclosureCheck

require [disclosures:LiabilitiesRollUp] Added

ok:1
failed:0

Require disclosure:

disclosures:LiabilitiesRollUp

1 instance:

See link above

disclosureCheck

require [disclosures:ReportToController] Added

ok:1
failed:0

Require disclosure:

disclosures:ReportToController

1 instance:

See link above

disclosureCheck

require [disclosures:ResourcesRollUp] Added

ok:1
failed:0

Require disclosure:

disclosures:ResourcesRollUp

1 instance:

See link above

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

When all intervening facts have been checked by consistency rules these are are in green
Rules with inconsistent facts in red
Rules that were not evaluated, because they had no facts to bind, in yellow
Derivation rules (if any) that have derived (imputed) facts which have not been checked are in blue

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