Value Assertions

Generated by Pacioli version 45d7c8c (updated 2 years, 9 months ago). Analysis at 2026-01-29T15:48:48+0000 for myAUDTaddress. Return to MAIN PAGE

Type	Defined	Bound	Derived	OK	Fail
valueAssertion	13	13	0	13	0

Value Assertions

#	Type	Name	Rule Expression
1	valueAssertion	MAR_07160aac ok:1 failed:0	Total eq sum(Each) 1 instance: 6000 {2000, 2000, 2000}
2	valueAssertion	MAR_19a4842b ok:1 failed:0	Total eq sum(Each) 1 instance: 6000 {2000, 2000, 2000}
3	valueAssertion	MAR_2bb72254 ok:1 failed:0	Total eq sum(Each) 1 instance: 18000 {6000, 6000, 6000}
4	valueAssertion	MAR_3ea09a14 ok:1 failed:0	Total eq sum(Each) 1 instance: 12000 {4000, 4000, 4000}
5	valueAssertion	MAR_534a478b ok:1 failed:0	Total eq sum(Each) 1 instance: 3000 {1000, 1000, 1000}
6	valueAssertion	MAR_5a4f115d ok:1 failed:0	Total eq sum(Each) 1 instance: 0 {0, 0, 0}
7	valueAssertion	MAR_5f2ce314 ok:1 failed:0	Total eq sum(Each) 1 instance: 12000 {4000, 4000, 4000}
8	valueAssertion	MAR_7e8d1aae ok:1 failed:0	Total eq sum(Each) 1 instance: 30000 {10000, 10000, 10000}
9	valueAssertion	MAR_9041ed6c ok:1 failed:0	Total eq sum(Each) 1 instance: 6000 {2000, 2000, 2000}
10	valueAssertion	MAR_a12afa7c ok:1 failed:0	Total eq sum(Each) 1 instance: 12000 {4000, 4000, 4000}
11	valueAssertion	MAR_a6ea8beb ok:1 failed:0	Total eq sum(Each) 1 instance: 3000 {1000, 1000, 1000}
12	valueAssertion	MAR_b13f19a8 ok:1 failed:0	Total eq sum(Each) 1 instance: 3000 {1000, 1000, 1000}
13	valueAssertion	MAR_dfaf6e0f ok:1 failed:0	Total eq sum(Each) 1 instance: 3000 {1000, 1000, 1000}

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