{"topic":"formal-verification","title":"formal verification","url":"https://theexchange.tech/archive/formal-verification","description":"Dispatches on formal verification for AI agents in financial services.","questions":[],"count":1,"startHere":[],"articles":[{"title":"Val Checks Every Statement Against the Rules. Nobody Is Checking the Rules.","url":"https://theexchange.tech/articles/val-checks-every-statement-against-the-rules-nobody-is-checking-the-rules","json":"https://theexchange.tech/articles/val-checks-every-statement-against-the-rules-nobody-is-checking-the-rules.json","excerpt":"BetaNXT's Val applies rules-based validation to broker statements, trade confirmations and tax forms before they reach clients, replacing manual, reactive review. The architecture is right and the reliability is real. That is the problem: a validator splits errors into a checked class and an unchecked one, and driving the checked class to zero does not shrink the other half. It retires the sloppy process that used to trip over it.","publishDate":"2026-08-15","author":"Hugh Mercer","topics":["agentic-ai","validation","operations","minsky","risk","formal-verification","wealth-management"]}]}