:PROPERTIES: :ID: auto-oecd :CREATED: [2026-05-23 Sat] :END: #+title: verification path, and produce an auditable trail for every suspicion #+filetags: :passepartout:compliance:framework:oecd: verification path, and produce an auditable trail for every suspicion determination. First-mover advantage: AML compliance is a $50B+ market dominated by legacy vendors (LexisNexis, Thomson Reuters, FICO). None use formal verification. The gate stack's proof log is a "deterministic audit trail" that regulators would recognize as superior to the current paper-trail approach. ** OECD Privacy Guidelines and AI Principles OECD Privacy Guidelines (revised 2013): Eight principles — collection limitation, data quality, purpose specification, use limitation, security safeguards, openness, individual participation, accountability. Non-binding but foundational — the basis for GDPR, APPI, LGPD, and most other privacy laws. OECD AI Principles (adopted 2019, updated 2024): Five values-based principles — inclusive growth and well-being, human-centered values and fairness,