OpenChainGraph Suite · ART-628

Declarative Decision-Tree Evaluator

Evaluates a caller-supplied, hash-pinned decision tree against caller-supplied facts entirely offline, client-side. The tree is inert data: one audited interpreter walks it over a closed operator set (eq, in, lt, lte, gt, gte, between, all_of, any_of, none_of), never eval, never a function-valued criterion. Every node in the tree, internal criteria included and not leaves only, must carry a citation to a pinned clause snapshot; a tree with any uncited node is rejected by the loader. The interpreter independently recomputes the tree's own tree_digest from its bytes and refuses to evaluate on a mismatch, never trusting the declared digest as an oracle for itself. Evaluation walks an explicit stack, not recursion, and acyclicity is checked at load, before any evaluation begins.

Decision TreeReg D Rule 501(a)Zero PIIClient-side only

🔒 All inputs are processed locally in your browser. No data is transmitted. Do not enter real personal data — use synthetic or anonymised inputs only.

Scope & reliance

This kernel carries no embedded classification rules of its own. The demonstrator tree below is one caller-supplied example, the Reg D Rule 501(a) entity-type accredited-investor category test, citing 17 CFR 230.501(a)(1), (2), (3), (8) and (9). It is a category test only: the natural-person prongs and the two numeric-threshold entity prongs of Rule 501(a) (net worth, income, and the $5m "investments" definition's own numeric test) are out of scope for this demonstrator and are not evaluated here. Every criterion in this tree reads a bounded enum (boolean), so it was enumerated exhaustively: 2⁵ = 32 combinations, 0 unexplained results. This tool does not reproduce CFR text and does not assert that any entity is in fact accredited. No formal correctness proof exists for this node yet; see the proof-status note below the results.

Demonstrator tree · Reg D Rule 501(a) entity-type category test

Five declared boolean facts, each gating one CFR sub-paragraph in sequence. Answer each; the interpreter walks the tree from its root and stops at the first matching leaf.

Result

Proof status

This node ships compute_proof_ready: deferred. No formal correctness proof has been produced for this kernel; the result above is a deterministic recompute, verified by a property-test floor, not a proven one.

Execution Hash & §4 Artifact

SHA-256 execution hash (JCS canonical, RFC 8785):

Ask your agent

Copy this paragraph into Claude, OpenClaw, or any MCP-aware agent to run this exact tool, with this sample, and verify the artifact.

Run the AINumbers MCP tool `evaluate_decision_tree`. Task: Evaluate a caller-supplied, citation-gated, hash-pinned decision tree against caller-supplied facts over a closed operator set (eq/in/lt/lte/gt/gte/between/all_of/any_of/none_of).
Call it with arguments: {"policy_parameters":{"tree":{"tree_id":"reg-d-501a-entity-accredited-investor-category-test","tree_version":"1.0.0","tree_digest":"f61c62137ae8f90a43866df4e8cfbd122499c942599d3287813dc2fc71c0dd91","root":"c_501a1","nodes":{"c_501a1":{"kind":"criterion","field":"is_501a1_institution","operator":"eq","operand":true,"branches":{"true":"leaf_501a1","false":"c_bdc"},"citation":{"clause":"17 CFR 230.501(a)(1)","source":"17 CFR 230.501(a)(1) (Regulation D, Securities Act of 1933, accredited investor definition)","source_digest":"0cd4295ba5a4b7192725f7dcf323d59c3e4f4768064b9a498f721504119279f6","snapshot_location":"research/clause-snapshots/17-cfr-230.501-a.snapshot.md"}},"c_bdc":{"kind":"criterion","field":"is_private_bdc","operator":"eq","operand":true,"branches":{"true":"leaf_bdc","false":"c_501c3"},"citation":{"clause":"17 CFR 230.501(a)(2)","source":"17 CFR 230.501(a)(2) (Regulation D, Securities Act of 1933, accredited investor definition)","source_digest":"0cd4295ba5a4b7192725f7dcf323d59c3e4f4768064b9a498f721504119279f6","snapshot_location":"research/clause-snapshots/17-cfr-230.501-a.snapshot.md"}},"c_501c3":{"kind":"criterion","field":"is_501c3_or_qualifying_entity_over_5m","operator":"eq","operand":true,"branches":{"true":"leaf_501c3","false":"c_equity"},"citation":{"clause":"17 CFR 230.501(a)(3)","source":"17 CFR 230.501(a)(3) (Regulation D, Securities Act of 1933, accredited investor definition)","source_digest":"0cd4295ba5a4b7192725f7dcf323d59c3e4f4768064b9a498f721504119279f6","snapshot_location":"research/clause-snapshots/17-cfr-230.501-a.snapshot.md"}},"c_equity":{"kind":"criterion","field":"all_equity_owners_accredited","operator":"eq","operand":true,"branches":{"true":"leaf_equity","false":"c_catchall"},"citation":{"clause":"17 CFR 230.501(a)(8)","source":"17 CFR 230.501(a)(8) (Regulation D, Securities Act of 1933, accredited investor definition)","source_digest":"0cd4295ba5a4b7192725f7dcf323d59c3e4f4768064b9a498f721504119279f6","snapshot_location":"research/clause-snapshots/17-cfr-230.501-a.snapshot.md"}},"c_catchall":{"kind":"criterion","field":"is_other_entity_investments_over_5m","operator":"eq","operand":true,"branches":{"true":"leaf_catchall","false":"leaf_not_accredited"},"citation":{"clause":"17 CFR 230.501(a)(9)","source":"17 CFR 230.501(a)(9) (Regulation D, Securities Act of 1933, accredited investor definition)","source_digest":"0cd4295ba5a4b7192725f7dcf323d59c3e4f4768064b9a498f721504119279f6","snapshot_location":"research/clause-snapshots/17-cfr-230.501-a.snapshot.md"}},"leaf_501a1":{"kind":"leaf","verdict":"accredited","citation":{"clause":"17 CFR 230.501(a)(1)","source":"17 CFR 230.501(a)(1) (Regulation D, Securities Act of 1933, accredited investor definition)","source_digest":"0cd4295ba5a4b7192725f7dcf323d59c3e4f4768064b9a498f721504119279f6","snapshot_location":"research/clause-snapshots/17-cfr-230.501-a.snapshot.md"}},"leaf_bdc":{"kind":"leaf","verdict":"accredited","citation":{"clause":"17 CFR 230.501(a)(2)","source":"17 CFR 230.501(a)(2) (Regulation D, Securities Act of 1933, accredited investor definition)","source_digest":"0cd4295ba5a4b7192725f7dcf323d59c3e4f4768064b9a498f721504119279f6","snapshot_location":"research/clause-snapshots/17-cfr-230.501-a.snapshot.md"}},"leaf_501c3":{"kind":"leaf","verdict":"accredited","citation":{"clause":"17 CFR 230.501(a)(3)","source":"17 CFR 230.501(a)(3) (Regulation D, Securities Act of 1933, accredited investor definition)","source_digest":"0cd4295ba5a4b7192725f7dcf323d59c3e4f4768064b9a498f721504119279f6","snapshot_location":"research/clause-snapshots/17-cfr-230.501-a.snapshot.md"}},"leaf_equity":{"kind":"leaf","verdict":"accredited","citation":{"clause":"17 CFR 230.501(a)(8)","source":"17 CFR 230.501(a)(8) (Regulation D, Securities Act of 1933, accredited investor definition)","source_digest":"0cd4295ba5a4b7192725f7dcf323d59c3e4f4768064b9a498f721504119279f6","snapshot_location":"research/clause-snapshots/17-cfr-230.501-a.snapshot.md"}},"leaf_catchall":{"kind":"leaf","verdict":"accredited","citation":{"clause":"17 CFR 230.501(a)(9)","source":"17 CFR 230.501(a)(9) (Regulation D, Securities Act of 1933, accredited investor definition)","source_digest":"0cd4295ba5a4b7192725f7dcf323d59c3e4f4768064b9a498f721504119279f6","snapshot_location":"research/clause-snapshots/17-cfr-230.501-a.snapshot.md"}},"leaf_not_accredited":{"kind":"leaf","verdict":"not_accredited","citation":{"clause":"17 CFR 230.501(a)","source":"17 CFR 230.501(a) chapeau (categories are exhaustive: any person within any of the following categories)","source_digest":"0cd4295ba5a4b7192725f7dcf323d59c3e4f4768064b9a498f721504119279f6","snapshot_location":"research/clause-snapshots/17-cfr-230.501-a.snapshot.md"}}}},"facts":{"is_501a1_institution":true,"is_private_bdc":false,"is_501c3_or_qualifying_entity_over_5m":false,"all_equity_owners_accredited":false,"is_other_entity_investments_over_5m":false}}}
Verify before trusting: call `verify_execution_hash` on mcp.ainumbers.co (https://mcp.ainumbers.co/mcp) with the parameter `claimed_hash` set to the returned `execution_hash`, passing the full artifact the run returned (the object containing `policy_parameters` + `output_payload` + `execution_hash`; equivalently `policy_parameters` + `output_payload` with `claimed_hash`), not the bare hash string.
Return the ledger link https://ledger.ainumbers.co/ so a human can re-verify without contacting us.
PII rule: All inputs are processed locally in your browser. No data is transmitted. Do not enter real personal data — use synthetic or anonymised inputs only.
Open the tool with the sample prefilled: https://ainumbers.co/chaingraph/art-628-declarative-decision-tree-evaluator.html#p=v1.H4sIAAAAAAAA_wEaE-XseyJ0cmVlIjp7InRyZWVfaWQiOiJyZWctZC01MDFhLWVudGl0eS1hY2NyZWRpdGVkLWludmVzdG9yLWNhdGVnb3J5LXRlc3QiLCJ0cmVlX3ZlcnNpb24iOiIxLjAuMCIsInRyZWVfZGlnZXN0IjoiZjYxYzYyMTM3YWU4ZjkwYTQzODY2ZGY0ZThjZmJkMTIyNDk5Yzk0MjU5OWQzMjg3ODEzZGMyZmM3MWMwZGQ5MSIsInJvb3QiOiJjXzUwMWExIiwibm9kZXMiOnsiY181MDFhMSI6eyJraW5kIjoiY3JpdGVyaW9uIiwiZmllbGQiOiJpc181MDFhMV9pbnN0aXR1dGlvbiIsIm9wZXJhdG9yIjoiZXEiLCJvcGVyYW5kIjp0cnVlLCJicmFuY2hlcyI6eyJ0cnVlIjoibGVhZl81MDFhMSIsImZhbHNlIjoiY19iZGMifSwiY2l0YXRpb24iOnsiY2xhdXNlIjoiMTcgQ0ZSIDIzMC41MDEoYSkoMSkiLCJzb3VyY2UiOiIxNyBDRlIgMjMwLjUwMShhKSgxKSAoUmVndWxhdGlvbiBELCBTZWN1cml0aWVzIEFjdCBvZiAxOTMzLCBhY2NyZWRpdGVkIGludmVzdG9yIGRlZmluaXRpb24pIiwic291cmNlX2RpZ2VzdCI6IjBjZDQyOTViYTVhNGI3MTkyNzI1ZjdkY2YzMjNkNTljM2U0ZjQ3NjgwNjRiOWE0OThmNzIxNTA0MTE5Mjc5ZjYiLCJzbmFwc2hvdF9sb2NhdGlvbiI6InJlc2VhcmNoL2NsYXVzZS1zbmFwc2hvdHMvMTctY2ZyLTIzMC41MDEtYS5zbmFwc2hvdC5tZCJ9fSwiY19iZGMiOnsia2luZCI6ImNyaXRlcmlvbiIsImZpZWxkIjoiaXNfcHJpdmF0ZV9iZGMiLCJvcGVyYXRvciI6ImVxIiwib3BlcmFuZCI6dHJ1ZSwiYnJhbmNoZXMiOnsidHJ1ZSI6ImxlYWZfYmRjIiwiZmFsc2UiOiJjXzUwMWMzIn0sImNpdGF0aW9uIjp7ImNsYXVzZSI6IjE3IENGUiAyMzAuNTAxKGEpKDIpIiwic291cmNlIjoiMTcgQ0ZSIDIzMC41MDEoYSkoMikgKFJlZ3VsYXRpb24gRCwgU2VjdXJpdGllcyBBY3Qgb2YgMTkzMywgYWNjcmVkaXRlZCBpbnZlc3RvciBkZWZpbml0aW9uKSIsInNvdXJjZV9kaWdlc3QiOiIwY2Q0Mjk1YmE1YTRiNzE5MjcyNWY3ZGNmMzIzZDU5YzNlNGY0NzY4MDY0YjlhNDk4ZjcyMTUwNDExOTI3OWY2Iiwic25hcHNob3RfbG9jYXRpb24iOiJyZXNlYXJjaC9jbGF1c2Utc25hcHNob3RzLzE3LWNmci0yMzAuNTAxLWEuc25hcHNob3QubWQifX0sImNfNTAxYzMiOnsia2luZCI6ImNyaXRlcmlvbiIsImZpZWxkIjoiaXNfNTAxYzNfb3JfcXVhbGlmeWluZ19lbnRpdHlfb3Zlcl81bSIsIm9wZXJhdG9yIjoiZXEiLCJvcGVyYW5kIjp0cnVlLCJicmFuY2hlcyI6eyJ0cnVlIjoibGVhZl81MDFjMyIsImZhbHNlIjoiY19lcXVpdHkifSwiY2l0YXRpb24iOnsiY2xhdXNlIjoiMTcgQ0ZSIDIzMC41MDEoYSkoMykiLCJzb3VyY2UiOiIxNyBDRlIgMjMwLjUwMShhKSgzKSAoUmVndWxhdGlvbiBELCBTZWN1cml0aWVzIEFjdCBvZiAxOTMzLCBhY2NyZWRpdGVkIGludmVzdG9yIGRlZmluaXRpb24pIiwic291cmNlX2RpZ2VzdCI6IjBjZDQyOTViYTVhNGI3MTkyNzI1ZjdkY2YzMjNkNTljM2U0ZjQ3NjgwNjRiOWE0OThmNzIxNTA0MTE5Mjc5ZjYiLCJzbmFwc2hvdF9sb2NhdGlvbiI6InJlc2VhcmNoL2NsYXVzZS1zbmFwc2hvdHMvMTctY2ZyLTIzMC41MDEtYS5zbmFwc2hvdC5tZCJ9fSwiY19lcXVpdHkiOnsia2luZCI6ImNyaXRlcmlvbiIsImZpZWxkIjoiYWxsX2VxdWl0eV9vd25lcnNfYWNjcmVkaXRlZCIsIm9wZXJhdG9yIjoiZXEiLCJvcGVyYW5kIjp0cnVlLCJicmFuY2hlcyI6eyJ0cnVlIjoibGVhZl9lcXVpdHkiLCJmYWxzZSI6ImNfY2F0Y2hhbGwifSwiY2l0YXRpb24iOnsiY2xhdXNlIjoiMTcgQ0ZSIDIzMC41MDEoYSkoOCkiLCJzb3VyY2UiOiIxNyBDRlIgMjMwLjUwMShhKSg4KSAoUmVndWxhdGlvbiBELCBTZWN1cml0aWVzIEFjdCBvZiAxOTMzLCBhY2NyZWRpdGVkIGludmVzdG9yIGRlZmluaXRpb24pIiwic291cmNlX2RpZ2VzdCI6IjBjZDQyOTViYTVhNGI3MTkyNzI1ZjdkY2YzMjNkNTljM2U0ZjQ3NjgwNjRiOWE0OThmNzIxNTA0MTE5Mjc5ZjYiLCJzbmFwc2hvdF9sb2NhdGlvbiI6InJlc2VhcmNoL2NsYXVzZS1zbmFwc2hvdHMvMTctY2ZyLTIzMC41MDEtYS5zbmFwc2hvdC5tZCJ9fSwiY19jYXRjaGFsbCI6eyJraW5kIjoiY3JpdGVyaW9uIiwiZmllbGQiOiJpc19vdGhlcl9lbnRpdHlfaW52ZXN0bWVudHNfb3Zlcl81bSIsIm9wZXJhdG9yIjoiZXEiLCJvcGVyYW5kIjp0cnVlLCJicmFuY2hlcyI6eyJ0cnVlIjoibGVhZl9jYXRjaGFsbCIsImZhbHNlIjoibGVhZl9ub3RfYWNjcmVkaXRlZCJ9LCJjaXRhdGlvbiI6eyJjbGF1c2UiOiIxNyBDRlIgMjMwLjUwMShhKSg5KSIsInNvdXJjZSI6IjE3IENGUiAyMzAuNTAxKGEpKDkpIChSZWd1bGF0aW9uIEQsIFNlY3VyaXRpZXMgQWN0IG9mIDE5MzMsIGFjY3JlZGl0ZWQgaW52ZXN0b3IgZGVmaW5pdGlvbikiLCJzb3VyY2VfZGlnZXN0IjoiMGNkNDI5NWJhNWE0YjcxOTI3MjVmN2RjZjMyM2Q1OWMzZTRmNDc2ODA2NGI5YTQ5OGY3MjE1MDQxMTkyNzlmNiIsInNuYXBzaG90X2xvY2F0aW9uIjoicmVzZWFyY2gvY2xhdXNlLXNuYXBzaG90cy8xNy1jZnItMjMwLjUwMS1hLnNuYXBzaG90Lm1kIn19LCJsZWFmXzUwMWExIjp7ImtpbmQiOiJsZWFmIiwidmVyZGljdCI6ImFjY3JlZGl0ZWQiLCJjaXRhdGlvbiI6eyJjbGF1c2UiOiIxNyBDRlIgMjMwLjUwMShhKSgxKSIsInNvdXJjZSI6IjE3IENGUiAyMzAuNTAxKGEpKDEpIChSZWd1bGF0aW9uIEQsIFNlY3VyaXRpZXMgQWN0IG9mIDE5MzMsIGFjY3JlZGl0ZWQgaW52ZXN0b3IgZGVmaW5pdGlvbikiLCJzb3VyY2VfZGlnZXN0IjoiMGNkNDI5NWJhNWE0YjcxOTI3MjVmN2RjZjMyM2Q1OWMzZTRmNDc2ODA2NGI5YTQ5OGY3MjE1MDQxMTkyNzlmNiIsInNuYXBzaG90X2xvY2F0aW9uIjoicmVzZWFyY2gvY2xhdXNlLXNuYXBzaG90cy8xNy1jZnItMjMwLjUwMS1hLnNuYXBzaG90Lm1kIn19LCJsZWFmX2JkYyI6eyJraW5kIjoibGVhZiIsInZlcmRpY3QiOiJhY2NyZWRpdGVkIiwiY2l0YXRpb24iOnsiY2xhdXNlIjoiMTcgQ0ZSIDIzMC41MDEoYSkoMikiLCJzb3VyY2UiOiIxNyBDRlIgMjMwLjUwMShhKSgyKSAoUmVndWxhdGlvbiBELCBTZWN1cml0aWVzIEFjdCBvZiAxOTMzLCBhY2NyZWRpdGVkIGludmVzdG9yIGRlZmluaXRpb24pIiwic291cmNlX2RpZ2VzdCI6IjBjZDQyOTViYTVhNGI3MTkyNzI1ZjdkY2YzMjNkNTljM2U0ZjQ3NjgwNjRiOWE0OThmNzIxNTA0MTE5Mjc5ZjYiLCJzbmFwc2hvdF9sb2NhdGlvbiI6InJlc2VhcmNoL2NsYXVzZS1zbmFwc2hvdHMvMTctY2ZyLTIzMC41MDEtYS5zbmFwc2hvdC5tZCJ9fSwibGVhZl81MDFjMyI6eyJraW5kIjoibGVhZiIsInZlcmRpY3QiOiJhY2NyZWRpdGVkIiwiY2l0YXRpb24iOnsiY2xhdXNlIjoiMTcgQ0ZSIDIzMC41MDEoYSkoMykiLCJzb3VyY2UiOiIxNyBDRlIgMjMwLjUwMShhKSgzKSAoUmVndWxhdGlvbiBELCBTZWN1cml0aWVzIEFjdCBvZiAxOTMzLCBhY2NyZWRpdGVkIGludmVzdG9yIGRlZmluaXRpb24pIiwic291cmNlX2RpZ2VzdCI6IjBjZDQyOTViYTVhNGI3MTkyNzI1ZjdkY2YzMjNkNTljM2U0ZjQ3NjgwNjRiOWE0OThmNzIxNTA0MTE5Mjc5ZjYiLCJzbmFwc2hvdF9sb2NhdGlvbiI6InJlc2VhcmNoL2NsYXVzZS1zbmFwc2hvdHMvMTctY2ZyLTIzMC41MDEtYS5zbmFwc2hvdC5tZCJ9fSwibGVhZl9lcXVpdHkiOnsia2luZCI6ImxlYWYiLCJ2ZXJkaWN0IjoiYWNjcmVkaXRlZCIsImNpdGF0aW9uIjp7ImNsYXVzZSI6IjE3IENGUiAyMzAuNTAxKGEpKDgpIiwic291cmNlIjoiMTcgQ0ZSIDIzMC41MDEoYSkoOCkgKFJlZ3VsYXRpb24gRCwgU2VjdXJpdGllcyBBY3Qgb2YgMTkzMywgYWNjcmVkaXRlZCBpbnZlc3RvciBkZWZpbml0aW9uKSIsInNvdXJjZV9kaWdlc3QiOiIwY2Q0Mjk1YmE1YTRiNzE5MjcyNWY3ZGNmMzIzZDU5YzNlNGY0NzY4MDY0YjlhNDk4ZjcyMTUwNDExOTI3OWY2Iiwic25hcHNob3RfbG9jYXRpb24iOiJyZXNlYXJjaC9jbGF1c2Utc25hcHNob3RzLzE3LWNmci0yMzAuNTAxLWEuc25hcHNob3QubWQifX0sImxlYWZfY2F0Y2hhbGwiOnsia2luZCI6ImxlYWYiLCJ2ZXJkaWN0IjoiYWNjcmVkaXRlZCIsImNpdGF0aW9uIjp7ImNsYXVzZSI6IjE3IENGUiAyMzAuNTAxKGEpKDkpIiwic291cmNlIjoiMTcgQ0ZSIDIzMC41MDEoYSkoOSkgKFJlZ3VsYXRpb24gRCwgU2VjdXJpdGllcyBBY3Qgb2YgMTkzMywgYWNjcmVkaXRlZCBpbnZlc3RvciBkZWZpbml0aW9uKSIsInNvdXJjZV9kaWdlc3QiOiIwY2Q0Mjk1YmE1YTRiNzE5MjcyNWY3ZGNmMzIzZDU5YzNlNGY0NzY4MDY0YjlhNDk4ZjcyMTUwNDExOTI3OWY2Iiwic25hcHNob3RfbG9jYXRpb24iOiJyZXNlYXJjaC9jbGF1c2Utc25hcHNob3RzLzE3LWNmci0yMzAuNTAxLWEuc25hcHNob3QubWQifX0sImxlYWZfbm90X2FjY3JlZGl0ZWQiOnsia2luZCI6ImxlYWYiLCJ2ZXJkaWN0Ijoibm90X2FjY3JlZGl0ZWQiLCJjaXRhdGlvbiI6eyJjbGF1c2UiOiIxNyBDRlIgMjMwLjUwMShhKSIsInNvdXJjZSI6IjE3IENGUiAyMzAuNTAxKGEpIGNoYXBlYXUgKGNhdGVnb3JpZXMgYXJlIGV4aGF1c3RpdmU6IGFueSBwZXJzb24gd2l0aGluIGFueSBvZiB0aGUgZm9sbG93aW5nIGNhdGVnb3JpZXMpIiwic291cmNlX2RpZ2VzdCI6IjBjZDQyOTViYTVhNGI3MTkyNzI1ZjdkY2YzMjNkNTljM2U0ZjQ3NjgwNjRiOWE0OThmNzIxNTA0MTE5Mjc5ZjYiLCJzbmFwc2hvdF9sb2NhdGlvbiI6InJlc2VhcmNoL2NsYXVzZS1zbmFwc2hvdHMvMTctY2ZyLTIzMC41MDEtYS5zbmFwc2hvdC5tZCJ9fX19LCJmYWN0cyI6eyJpc181MDFhMV9pbnN0aXR1dGlvbiI6dHJ1ZSwiaXNfcHJpdmF0ZV9iZGMiOmZhbHNlLCJpc181MDFjM19vcl9xdWFsaWZ5aW5nX2VudGl0eV9vdmVyXzVtIjpmYWxzZSwiYWxsX2VxdWl0eV9vd25lcnNfYWNjcmVkaXRlZCI6ZmFsc2UsImlzX290aGVyX2VudGl0eV9pbnZlc3RtZW50c19vdmVyXzVtIjpmYWxzZX19wbiR9BoTAAA