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.