zen-engine 2.0.1

Business rules engine
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110

# Per-property dependency-lineage tests (`PolicyWorkspace::dependencies`).
#
# policies / content / policy: load policies into the workspace (same as
#   diagnostics.toml — fixtures by filename, or inline `content`).
# target: the property whose dependency tree is built. May be a sub-path of a
#   computed object/array-of-object (per-field lineage).
#
# Assertions check classification of any node in the tree by its dotted path:
#   computed   = paths that must resolve to a writer block (lineage continues)
#   inputs     = paths that must be plain inputs (no writer, resolvable)
#   unresolved = paths the analyzer could not pin down (flagged, not silently
#                treated as inputs)

[[test]]
name = "loan summary traces through per-account computed interest"
policies = ["loan_summary.json"]
target = "accountSummaries"
computed = ["account.interestDue"]
inputs = ["accounts.id", "account.balance", "account.apr"]

[[test]]
name = "per-field: projected computed field traces to its specific source"
policies = ["loan_summary.json"]
target = "accountSummaries.interest"
computed = ["account.interestDue"]

[[test]]
name = "per-field: projected input field traces to the input, not the computed sibling"
policies = ["loan_summary.json"]
target = "accountSummaries.id"
inputs = ["accounts.id"]

[[test]]
name = "per-field: ternary-of-objects unions both branches"
target = "summary.total"
computed = ["base", "bonus"]
content = '''
{
  "blocks": [
    { "id": "dm", "type": "dataModel", "props": { "data": {
      "name": "globals", "scope": "global",
      "properties": [
        { "id": "g1", "name": "amount", "type": "number", "array": false, "optional": false },
        { "id": "g2", "name": "flag", "type": "boolean", "array": false, "optional": false }
      ]
    }}},
    { "id": "s1", "type": "expression", "props": { "data": { "key": "base", "value": "amount * 2" } } },
    { "id": "s2", "type": "expression", "props": { "data": { "key": "bonus", "value": "amount * 3" } } },
    { "id": "s3", "type": "expression", "props": { "data": { "key": "summary", "value": "flag ? { total: base } : { total: bonus }" } } }
  ]
}
'''

[[test]]
name = "per-field: non-decomposable computed object field is flagged unresolved, not silent"
target = "wrapper.a"
unresolved = ["wrapper.a"]
content = '''
{
  "blocks": [
    { "id": "dm", "type": "dataModel", "props": { "data": {
      "name": "globals", "scope": "global",
      "properties": [
        { "id": "g1", "name": "amount", "type": "number", "array": false, "optional": false }
      ]
    }}},
    { "id": "s1", "type": "expression", "props": { "data": { "key": "base", "value": "{ a: amount }" } } },
    { "id": "s2", "type": "expression", "props": { "data": { "key": "wrapper", "value": "base" } } }
  ]
}
'''

[[test]]
name = "untrackable closure collection is flagged, resolvable operands stay inputs"
target = "ledgerTotals"
unresolved = ["t.amount"]
inputs = ["deposits", "withdrawals"]
content = '''
{
  "blocks": [
    { "id": "dm-ledger", "type": "dataModel", "props": { "data": {
      "name": "ledger", "scope": "global",
      "properties": [
        { "id": "g1", "name": "deposits", "type": "number", "array": true, "optional": false },
        { "id": "g2", "name": "withdrawals", "type": "number", "array": true, "optional": false }
      ]
    }}},
    { "id": "s1", "type": "expression", "props": { "data": { "key": "ledgerTotals", "value": "map(deposits or withdrawals as t, t.amount)" } } }
  ]
}
'''

[[test]]
name = "nested write parent unions its leaf writers' dependencies"
target = "loanSummary"
inputs = ["principal"]
content = '''
{
  "blocks": [
    { "id": "dm", "type": "dataModel", "props": { "data": {
      "name": "globals", "scope": "global",
      "properties": [
        { "id": "g1", "name": "principal", "type": "number", "array": false, "optional": false }
      ]
    }}},
    { "id": "s1", "type": "expression", "props": { "data": { "key": "loanSummary.byBucket.CURRENT.interestDue", "value": "principal * 0.04" } } },
    { "id": "s2", "type": "expression", "props": { "data": { "key": "loanSummary.grandTotal", "value": "principal * 1.04" } } }
  ]
}
'''