Value Assertions

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

Type

Defined

Bound

Derived

Fail

valueAssertion

#	Type	Name	Rule Expression
1	valueAssertion	MA_LEAD_10 ok:1 failed:0	Total eq sum(Each) 1 instance: 210000 {0, 210000}
2	valueAssertion	MA_LEAD_11 ok:1 failed:0	Total eq sum(Each) 1 instance: 90000 {0, 90000}
3	valueAssertion	MA_LEAD_12 ok:1 failed:0	Total eq sum(Each) 1 instance: 90000 {0, 90000}
4	valueAssertion	MA_LEAD_13 ok:1 failed:0	Total eq sum(Each) 1 instance: 75000 {25000, 50000}
5	valueAssertion	MA_LEAD_14 ok:1 failed:0	Total eq sum(Each) 1 instance: 75000 {25000, 50000}
6	valueAssertion	MA_LEAD_15 ok:1 failed:0	Total eq sum(Each) 1 instance: 350000 {0, 350000}
7	valueAssertion	MA_LEAD_16 ok:1 failed:0	Total eq sum(Each) 1 instance: 350000 {0, 350000}
8	valueAssertion	MA_LEAD_4 ok:1 failed:0	Total eq sum(Each) 1 instance: 60000 {0, 60000}
9	valueAssertion	MA_LEAD_5 ok:1 failed:0	Total eq sum(Each) 1 instance: 230000 {50000, 180000}
10	valueAssertion	MA_LEAD_6 ok:1 failed:0	Total eq sum(Each) 1 instance: 230000 {50000, 180000}
11	valueAssertion	MA_LEAD_7 ok:1 failed:0	Total eq sum(Each) 1 instance: 300000 {0, 300000}
12	valueAssertion	MA_LEAD_8 ok:1 failed:0	Total eq sum(Each) 1 instance: 300000 {0, 300000}
13	valueAssertion	MA_LEAD_9 ok:1 failed:0	Total eq sum(Each) 1 instance: 210000 {0, 210000}
14	valueAssertion	MA_LEAD__LEAD_1 ok:1 failed:0	Total eq sum(Each) 1 instance: 40000 {0, 40000}
15	valueAssertion	MA_LEAD__LEAD_2 ok:1 failed:0	Total eq sum(Each) 1 instance: 15000 {0, 15000}
16	valueAssertion	MA_LEAD__LEAD_3 ok:1 failed:0	Total eq sum(Each) 1 instance: 5000 {0, 5000}

Type

Name

Rule Expression

valueAssertion

MA_LEAD_10

ok:1
failed:0

Total eq sum(Each)

1 instance:

210000 {0, 210000}

valueAssertion

MA_LEAD_11

ok:1
failed:0

Total eq sum(Each)

1 instance:

90000 {0, 90000}

valueAssertion

MA_LEAD_12

ok:1
failed:0

Total eq sum(Each)

1 instance:

90000 {0, 90000}

valueAssertion

MA_LEAD_13

ok:1
failed:0

Total eq sum(Each)

1 instance:

75000 {25000, 50000}

valueAssertion

MA_LEAD_14

ok:1
failed:0

Total eq sum(Each)

1 instance:

75000 {25000, 50000}

valueAssertion

MA_LEAD_15

ok:1
failed:0

Total eq sum(Each)

1 instance:

350000 {0, 350000}

valueAssertion

MA_LEAD_16

ok:1
failed:0

Total eq sum(Each)

1 instance:

350000 {0, 350000}

valueAssertion

MA_LEAD_4

ok:1
failed:0

Total eq sum(Each)

1 instance:

60000 {0, 60000}

valueAssertion

MA_LEAD_5

ok:1
failed:0

Total eq sum(Each)

1 instance:

230000 {50000, 180000}

valueAssertion

MA_LEAD_6

ok:1
failed:0

Total eq sum(Each)

1 instance:

230000 {50000, 180000}

valueAssertion

MA_LEAD_7

ok:1
failed:0

Total eq sum(Each)

1 instance:

300000 {0, 300000}

valueAssertion

MA_LEAD_8

ok:1
failed:0

Total eq sum(Each)

1 instance:

300000 {0, 300000}

valueAssertion

MA_LEAD_9

ok:1
failed:0

Total eq sum(Each)

1 instance:

210000 {0, 210000}

valueAssertion

MA_LEAD__LEAD_1

ok:1
failed:0

Total eq sum(Each)

1 instance:

40000 {0, 40000}

valueAssertion

MA_LEAD__LEAD_2

ok:1
failed:0

Total eq sum(Each)

1 instance:

15000 {0, 15000}

valueAssertion

MA_LEAD__LEAD_3

ok:1
failed:0

Total eq sum(Each)

1 instance:

5000 {0, 5000}

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