AMLO-FINMA partial revision — correspondent banking / payable-through accounts
Payments on behalf of a customer’s clients may only be executed if it is ensured that the customer can provide the client information required for due-diligence duties on request.
Model the information-availability condition as an execution dependency. If the required dependency does not close for the requested payment, no valid Execution Right should be derived for that governed path.
Machine Law™ separates the legal/source condition, the determination, Execution-Rights Closure, the resulting bounded Capability and the evidence of the state used for that event.