{ "transactions": { "graph": { "version": 1, "id": "accounting-transactions", "inputs": { "read": "object", "write": "object", "index": "integer" }, "environment": { "policy": "1111111111111111111111111111111111111111111111111111111111111111", "tools": "2222222222222222222222222222222222222222222222222222222222222222", "credentials": "3333333333333333333333333333333333333333333333333333333333333333", "evidence": "4444444444444444444444444444444444444444444444444444444444444444", "host_configuration": null }, "terminal": "finished", "nodes": [ { "id": "evidence", "after": [], "output": "object", "step": { "kind": "read", "request": { "op": "input", "name": "read", "pointer": "" } } }, { "id": "source", "after": [], "output": "object", "step": { "kind": "pure", "value": { "op": "parse_json", "value": { "op": "node", "id": "evidence", "pointer": "/response/content" } } } }, { "id": "scope", "after": [], "output": "boolean", "step": { "kind": "policy", "condition": { "op": "equal", "left": { "op": "node", "id": "source", "pointer": "/engagement" }, "right": { "op": "literal", "value": "ENG-ALPHA" } } } }, { "id": "sample", "after": [ "scope" ], "output": "object", "step": { "kind": "pure", "value": { "op": "index", "value": { "op": "node", "id": "source", "pointer": "/samples" }, "index": { "op": "input", "name": "index", "pointer": "" } } } }, { "id": "calculate", "after": [], "output": "object", "step": { "kind": "pure", "value": { "op": "object", "fields": { "sample": { "op": "node", "id": "sample", "pointer": "/sample" }, "matches": { "op": "and", "items": [ { "op": "equal", "left": { "op": "node", "id": "sample", "pointer": "/invoice/units" }, "right": { "op": "node", "id": "sample", "pointer": "/purchase_order/units" } }, { "op": "equal", "left": { "op": "node", "id": "sample", "pointer": "/invoice/currency" }, "right": { "op": "node", "id": "sample", "pointer": "/purchase_order/currency" } }, { "op": "equal", "left": { "op": "node", "id": "sample", "pointer": "/invoice/po" }, "right": { "op": "node", "id": "sample", "pointer": "/purchase_order/id" } }, { "op": "equal", "left": { "op": "node", "id": "sample", "pointer": "/delivery/invoice" }, "right": { "op": "node", "id": "sample", "pointer": "/invoice/id" } }, { "op": "equal", "left": { "op": "node", "id": "sample", "pointer": "/delivery/received" }, "right": { "op": "literal", "value": true } } ] } } } } }, { "id": "duplicate", "after": [], "output": "object", "step": { "kind": "pure", "value": { "op": "object", "fields": { "sample": { "op": "node", "id": "sample", "pointer": "/sample" }, "matches": { "op": "and", "items": [ { "op": "equal", "left": { "op": "node", "id": "sample", "pointer": "/invoice/units" }, "right": { "op": "node", "id": "sample", "pointer": "/purchase_order/units" } }, { "op": "equal", "left": { "op": "node", "id": "sample", "pointer": "/invoice/currency" }, "right": { "op": "node", "id": "sample", "pointer": "/purchase_order/currency" } }, { "op": "equal", "left": { "op": "node", "id": "sample", "pointer": "/invoice/po" }, "right": { "op": "node", "id": "sample", "pointer": "/purchase_order/id" } }, { "op": "equal", "left": { "op": "node", "id": "sample", "pointer": "/delivery/invoice" }, "right": { "op": "node", "id": "sample", "pointer": "/invoice/id" } }, { "op": "equal", "left": { "op": "node", "id": "sample", "pointer": "/delivery/received" }, "right": { "op": "literal", "value": true } } ] } } } } }, { "id": "verified", "after": [ "duplicate" ], "output": "object", "step": { "kind": "verify", "condition": { "op": "equal", "left": { "op": "equal", "left": { "op": "node", "id": "calculate", "pointer": "/matches" }, "right": { "op": "literal", "value": false } }, "right": { "op": "if", "condition": { "op": "and", "items": [ { "op": "equal", "left": { "op": "node", "id": "sample", "pointer": "/invoice/units" }, "right": { "op": "node", "id": "sample", "pointer": "/purchase_order/units" } }, { "op": "equal", "left": { "op": "node", "id": "sample", "pointer": "/invoice/currency" }, "right": { "op": "node", "id": "sample", "pointer": "/purchase_order/currency" } }, { "op": "equal", "left": { "op": "node", "id": "sample", "pointer": "/invoice/po" }, "right": { "op": "node", "id": "sample", "pointer": "/purchase_order/id" } }, { "op": "equal", "left": { "op": "node", "id": "sample", "pointer": "/delivery/invoice" }, "right": { "op": "node", "id": "sample", "pointer": "/invoice/id" } }, { "op": "equal", "left": { "op": "node", "id": "sample", "pointer": "/delivery/received" }, "right": { "op": "literal", "value": true } } ] }, "yes": { "op": "literal", "value": false }, "no": { "op": "literal", "value": true } } }, "value": { "op": "node", "id": "calculate", "pointer": "" } } }, { "id": "checkpoint", "after": [ "verified" ], "output": "object", "step": { "kind": "checkpoint" } }, { "id": "review", "after": [ "checkpoint" ], "output": "object", "step": { "kind": "approval", "operation": "workpaper" } }, { "id": "workpaper", "after": [ "review" ], "output": "object", "step": { "kind": "effect", "request": { "op": "set", "value": { "op": "input", "name": "write", "pointer": "" }, "pointer": "/payload/data/arguments/value", "replacement": { "op": "json_text", "value": { "op": "node", "id": "verified", "pointer": "" } } } } }, { "id": "finished", "after": [ "workpaper" ], "output": "object", "step": { "kind": "verify", "condition": { "op": "equal", "left": { "op": "node", "id": "workpaper", "pointer": "/status" }, "right": { "op": "literal", "value": "effect_returned" } }, "value": { "op": "node", "id": "verified", "pointer": "" } } } ] }, "verifier": { "op": "and", "items": [ { "op": "equal", "left": { "op": "input", "name": "context", "pointer": "/read_count" }, "right": { "op": "literal", "value": "1" } }, { "op": "equal", "left": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/engagement" }, "right": { "op": "literal", "value": "ENG-ALPHA" } }, { "op": "equal", "left": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/workflow" }, "right": { "op": "literal", "value": "transactions" } }, { "op": "if", "condition": { "op": "equal", "left": { "op": "input", "name": "context", "pointer": "/phase" }, "right": { "op": "literal", "value": "before_effect" } }, "yes": { "op": "and", "items": [ { "op": "equal", "left": { "op": "input", "name": "context", "pointer": "/effect_count" }, "right": { "op": "literal", "value": "0" } }, { "op": "equal", "left": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/candidate/payload/data/arguments/value" } }, "right": { "op": "object", "fields": { "sample": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/sample" }, "matches": { "op": "and", "items": [ { "op": "equal", "left": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/invoice/units" }, "right": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/purchase_order/units" } }, { "op": "equal", "left": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/invoice/currency" }, "right": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/purchase_order/currency" } }, { "op": "equal", "left": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/invoice/po" }, "right": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/purchase_order/id" } }, { "op": "equal", "left": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/delivery/invoice" }, "right": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/invoice/id" } }, { "op": "equal", "left": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/delivery/received" }, "right": { "op": "literal", "value": true } } ] } } } } ] }, "no": { "op": "and", "items": [ { "op": "equal", "left": { "op": "input", "name": "context", "pointer": "/phase" }, "right": { "op": "literal", "value": "complete" } }, { "op": "equal", "left": { "op": "input", "name": "context", "pointer": "/effect_count" }, "right": { "op": "literal", "value": "1" } }, { "op": "equal", "left": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/1/request/payload/data/arguments/value" } }, "right": { "op": "object", "fields": { "sample": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/sample" }, "matches": { "op": "and", "items": [ { "op": "equal", "left": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/invoice/units" }, "right": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/purchase_order/units" } }, { "op": "equal", "left": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/invoice/currency" }, "right": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/purchase_order/currency" } }, { "op": "equal", "left": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/invoice/po" }, "right": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/purchase_order/id" } }, { "op": "equal", "left": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/delivery/invoice" }, "right": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/invoice/id" } }, { "op": "equal", "left": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/delivery/received" }, "right": { "op": "literal", "value": true } } ] } } } }, { "op": "equal", "left": { "op": "input", "name": "context", "pointer": "/result" }, "right": { "op": "object", "fields": { "sample": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/sample" }, "matches": { "op": "and", "items": [ { "op": "equal", "left": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/invoice/units" }, "right": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/purchase_order/units" } }, { "op": "equal", "left": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/invoice/currency" }, "right": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/purchase_order/currency" } }, { "op": "equal", "left": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/invoice/po" }, "right": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/purchase_order/id" } }, { "op": "equal", "left": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/delivery/invoice" }, "right": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/invoice/id" } }, { "op": "equal", "left": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/delivery/received" }, "right": { "op": "literal", "value": true } } ] } } } } ] } } ] } }, "recalculation": { "graph": { "version": 1, "id": "accounting-recalculation", "inputs": { "read": "object", "write": "object", "index": "integer" }, "environment": { "policy": "1111111111111111111111111111111111111111111111111111111111111111", "tools": "2222222222222222222222222222222222222222222222222222222222222222", "credentials": "3333333333333333333333333333333333333333333333333333333333333333", "evidence": "4444444444444444444444444444444444444444444444444444444444444444", "host_configuration": null }, "terminal": "finished", "nodes": [ { "id": "evidence", "after": [], "output": "object", "step": { "kind": "read", "request": { "op": "input", "name": "read", "pointer": "" } } }, { "id": "source", "after": [], "output": "object", "step": { "kind": "pure", "value": { "op": "parse_json", "value": { "op": "node", "id": "evidence", "pointer": "/response/content" } } } }, { "id": "scope", "after": [], "output": "boolean", "step": { "kind": "policy", "condition": { "op": "equal", "left": { "op": "node", "id": "source", "pointer": "/engagement" }, "right": { "op": "literal", "value": "ENG-ALPHA" } } } }, { "id": "sample", "after": [ "scope" ], "output": "object", "step": { "kind": "pure", "value": { "op": "index", "value": { "op": "node", "id": "source", "pointer": "/samples" }, "index": { "op": "input", "name": "index", "pointer": "" } } } }, { "id": "calculate", "after": [], "output": "object", "step": { "kind": "pure", "value": { "op": "object", "fields": { "sample": { "op": "node", "id": "sample", "pointer": "/sample" }, "annual_minor_units": { "op": "divide", "left": { "op": "subtract", "left": { "op": "node", "id": "sample", "pointer": "/cost" }, "right": { "op": "node", "id": "sample", "pointer": "/salvage" } }, "right": { "op": "node", "id": "sample", "pointer": "/years" } } } } } }, { "id": "duplicate", "after": [], "output": "object", "step": { "kind": "pure", "value": { "op": "object", "fields": { "sample": { "op": "node", "id": "sample", "pointer": "/sample" }, "annual_minor_units": { "op": "divide", "left": { "op": "subtract", "left": { "op": "node", "id": "sample", "pointer": "/cost" }, "right": { "op": "node", "id": "sample", "pointer": "/salvage" } }, "right": { "op": "node", "id": "sample", "pointer": "/years" } } } } } }, { "id": "verified", "after": [ "duplicate" ], "output": "object", "step": { "kind": "verify", "condition": { "op": "and", "items": [ { "op": "less_equal", "left": { "op": "literal", "value": "0" }, "right": { "op": "node", "id": "sample", "pointer": "/cost" } }, { "op": "less_equal", "left": { "op": "literal", "value": "0" }, "right": { "op": "node", "id": "sample", "pointer": "/salvage" } }, { "op": "less_equal", "left": { "op": "literal", "value": "1" }, "right": { "op": "node", "id": "sample", "pointer": "/years" } }, { "op": "less_equal", "left": { "op": "node", "id": "sample", "pointer": "/salvage" }, "right": { "op": "node", "id": "sample", "pointer": "/cost" } }, { "op": "less_equal", "left": { "op": "multiply", "left": { "op": "node", "id": "calculate", "pointer": "/annual_minor_units" }, "right": { "op": "node", "id": "sample", "pointer": "/years" } }, "right": { "op": "subtract", "left": { "op": "node", "id": "sample", "pointer": "/cost" }, "right": { "op": "node", "id": "sample", "pointer": "/salvage" } } }, { "op": "equal", "left": { "op": "less_equal", "left": { "op": "multiply", "left": { "op": "add", "left": { "op": "node", "id": "calculate", "pointer": "/annual_minor_units" }, "right": { "op": "literal", "value": "1" } }, "right": { "op": "node", "id": "sample", "pointer": "/years" } }, "right": { "op": "subtract", "left": { "op": "node", "id": "sample", "pointer": "/cost" }, "right": { "op": "node", "id": "sample", "pointer": "/salvage" } } }, "right": { "op": "literal", "value": false } } ] }, "value": { "op": "node", "id": "calculate", "pointer": "" } } }, { "id": "checkpoint", "after": [ "verified" ], "output": "object", "step": { "kind": "checkpoint" } }, { "id": "review", "after": [ "checkpoint" ], "output": "object", "step": { "kind": "approval", "operation": "workpaper" } }, { "id": "workpaper", "after": [ "review" ], "output": "object", "step": { "kind": "effect", "request": { "op": "set", "value": { "op": "input", "name": "write", "pointer": "" }, "pointer": "/payload/data/arguments/value", "replacement": { "op": "json_text", "value": { "op": "node", "id": "verified", "pointer": "" } } } } }, { "id": "finished", "after": [ "workpaper" ], "output": "object", "step": { "kind": "verify", "condition": { "op": "equal", "left": { "op": "node", "id": "workpaper", "pointer": "/status" }, "right": { "op": "literal", "value": "effect_returned" } }, "value": { "op": "node", "id": "verified", "pointer": "" } } } ] }, "verifier": { "op": "and", "items": [ { "op": "equal", "left": { "op": "input", "name": "context", "pointer": "/read_count" }, "right": { "op": "literal", "value": "1" } }, { "op": "equal", "left": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/engagement" }, "right": { "op": "literal", "value": "ENG-ALPHA" } }, { "op": "equal", "left": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/workflow" }, "right": { "op": "literal", "value": "recalculation" } }, { "op": "if", "condition": { "op": "equal", "left": { "op": "input", "name": "context", "pointer": "/phase" }, "right": { "op": "literal", "value": "before_effect" } }, "yes": { "op": "and", "items": [ { "op": "equal", "left": { "op": "input", "name": "context", "pointer": "/effect_count" }, "right": { "op": "literal", "value": "0" } }, { "op": "equal", "left": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/candidate/payload/data/arguments/value" } }, "right": { "op": "object", "fields": { "sample": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/sample" }, "annual_minor_units": { "op": "divide", "left": { "op": "subtract", "left": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/cost" }, "right": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/salvage" } }, "right": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/years" } } } } } ] }, "no": { "op": "and", "items": [ { "op": "equal", "left": { "op": "input", "name": "context", "pointer": "/phase" }, "right": { "op": "literal", "value": "complete" } }, { "op": "equal", "left": { "op": "input", "name": "context", "pointer": "/effect_count" }, "right": { "op": "literal", "value": "1" } }, { "op": "equal", "left": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/1/request/payload/data/arguments/value" } }, "right": { "op": "object", "fields": { "sample": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/sample" }, "annual_minor_units": { "op": "divide", "left": { "op": "subtract", "left": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/cost" }, "right": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/salvage" } }, "right": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/years" } } } } }, { "op": "equal", "left": { "op": "input", "name": "context", "pointer": "/result" }, "right": { "op": "object", "fields": { "sample": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/sample" }, "annual_minor_units": { "op": "divide", "left": { "op": "subtract", "left": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/cost" }, "right": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/salvage" } }, "right": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/years" } } } } } ] } } ] } }, "controls": { "graph": { "version": 1, "id": "accounting-controls", "inputs": { "read": "object", "write": "object", "index": "integer" }, "environment": { "policy": "1111111111111111111111111111111111111111111111111111111111111111", "tools": "2222222222222222222222222222222222222222222222222222222222222222", "credentials": "3333333333333333333333333333333333333333333333333333333333333333", "evidence": "4444444444444444444444444444444444444444444444444444444444444444", "host_configuration": null }, "terminal": "finished", "nodes": [ { "id": "evidence", "after": [], "output": "object", "step": { "kind": "read", "request": { "op": "input", "name": "read", "pointer": "" } } }, { "id": "source", "after": [], "output": "object", "step": { "kind": "pure", "value": { "op": "parse_json", "value": { "op": "node", "id": "evidence", "pointer": "/response/content" } } } }, { "id": "scope", "after": [], "output": "boolean", "step": { "kind": "policy", "condition": { "op": "equal", "left": { "op": "node", "id": "source", "pointer": "/engagement" }, "right": { "op": "literal", "value": "ENG-ALPHA" } } } }, { "id": "sample", "after": [ "scope" ], "output": "object", "step": { "kind": "pure", "value": { "op": "index", "value": { "op": "node", "id": "source", "pointer": "/samples" }, "index": { "op": "input", "name": "index", "pointer": "" } } } }, { "id": "calculate", "after": [], "output": "object", "step": { "kind": "pure", "value": { "op": "object", "fields": { "sample": { "op": "node", "id": "sample", "pointer": "/sample" }, "effective": { "op": "if", "condition": { "op": "less_equal", "left": { "op": "node", "id": "sample", "pointer": "/units" }, "right": { "op": "node", "id": "sample", "pointer": "/approval_limit" } }, "yes": { "op": "literal", "value": true }, "no": { "op": "node", "id": "sample", "pointer": "/approved" } }, "evidence_id": { "op": "node", "id": "sample", "pointer": "/evidence_id" } } } } }, { "id": "duplicate", "after": [], "output": "object", "step": { "kind": "pure", "value": { "op": "object", "fields": { "sample": { "op": "node", "id": "sample", "pointer": "/sample" }, "effective": { "op": "if", "condition": { "op": "less_equal", "left": { "op": "node", "id": "sample", "pointer": "/units" }, "right": { "op": "node", "id": "sample", "pointer": "/approval_limit" } }, "yes": { "op": "literal", "value": true }, "no": { "op": "node", "id": "sample", "pointer": "/approved" } }, "evidence_id": { "op": "node", "id": "sample", "pointer": "/evidence_id" } } } } }, { "id": "verified", "after": [ "duplicate" ], "output": "object", "step": { "kind": "verify", "condition": { "op": "equal", "left": { "op": "node", "id": "calculate", "pointer": "/effective" }, "right": { "op": "if", "condition": { "op": "less_equal", "left": { "op": "node", "id": "sample", "pointer": "/units" }, "right": { "op": "node", "id": "sample", "pointer": "/approval_limit" } }, "yes": { "op": "literal", "value": true }, "no": { "op": "node", "id": "sample", "pointer": "/approved" } } }, "value": { "op": "node", "id": "calculate", "pointer": "" } } }, { "id": "checkpoint", "after": [ "verified" ], "output": "object", "step": { "kind": "checkpoint" } }, { "id": "review", "after": [ "checkpoint" ], "output": "object", "step": { "kind": "approval", "operation": "workpaper" } }, { "id": "workpaper", "after": [ "review" ], "output": "object", "step": { "kind": "effect", "request": { "op": "set", "value": { "op": "input", "name": "write", "pointer": "" }, "pointer": "/payload/data/arguments/value", "replacement": { "op": "json_text", "value": { "op": "node", "id": "verified", "pointer": "" } } } } }, { "id": "finished", "after": [ "workpaper" ], "output": "object", "step": { "kind": "verify", "condition": { "op": "equal", "left": { "op": "node", "id": "workpaper", "pointer": "/status" }, "right": { "op": "literal", "value": "effect_returned" } }, "value": { "op": "node", "id": "verified", "pointer": "" } } } ] }, "verifier": { "op": "and", "items": [ { "op": "equal", "left": { "op": "input", "name": "context", "pointer": "/read_count" }, "right": { "op": "literal", "value": "1" } }, { "op": "equal", "left": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/engagement" }, "right": { "op": "literal", "value": "ENG-ALPHA" } }, { "op": "equal", "left": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/workflow" }, "right": { "op": "literal", "value": "controls" } }, { "op": "if", "condition": { "op": "equal", "left": { "op": "input", "name": "context", "pointer": "/phase" }, "right": { "op": "literal", "value": "before_effect" } }, "yes": { "op": "and", "items": [ { "op": "equal", "left": { "op": "input", "name": "context", "pointer": "/effect_count" }, "right": { "op": "literal", "value": "0" } }, { "op": "equal", "left": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/candidate/payload/data/arguments/value" } }, "right": { "op": "object", "fields": { "sample": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/sample" }, "effective": { "op": "if", "condition": { "op": "less_equal", "left": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/units" }, "right": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/approval_limit" } }, "yes": { "op": "literal", "value": true }, "no": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/approved" } }, "evidence_id": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/evidence_id" } } } } ] }, "no": { "op": "and", "items": [ { "op": "equal", "left": { "op": "input", "name": "context", "pointer": "/phase" }, "right": { "op": "literal", "value": "complete" } }, { "op": "equal", "left": { "op": "input", "name": "context", "pointer": "/effect_count" }, "right": { "op": "literal", "value": "1" } }, { "op": "equal", "left": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/1/request/payload/data/arguments/value" } }, "right": { "op": "object", "fields": { "sample": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/sample" }, "effective": { "op": "if", "condition": { "op": "less_equal", "left": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/units" }, "right": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/approval_limit" } }, "yes": { "op": "literal", "value": true }, "no": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/approved" } }, "evidence_id": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/evidence_id" } } } }, { "op": "equal", "left": { "op": "input", "name": "context", "pointer": "/result" }, "right": { "op": "object", "fields": { "sample": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/sample" }, "effective": { "op": "if", "condition": { "op": "less_equal", "left": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/units" }, "right": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/approval_limit" } }, "yes": { "op": "literal", "value": true }, "no": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/approved" } }, "evidence_id": { "op": "get", "value": { "op": "index", "value": { "op": "get", "value": { "op": "parse_json", "value": { "op": "input", "name": "context", "pointer": "/operations/0/response/content" } }, "pointer": "/samples" }, "index": { "op": "input", "name": "context", "pointer": "/inputs/index" } }, "pointer": "/evidence_id" } } } } ] } } ] } } }