A deterministic behavioral risk engine providing verifiable trade supervision and institutional-grade risk audits