ENGINEERING BLOG
Technical research and engineering insights from the team building the operating system for responsible AI operations.
121 articles · Published by MARIA OS
Formalizing gate strength as a continuous control variable to minimize the combined cost of false positives, missed detections, and investigation delay in AML compliance pipelines
AML programs face a costly tradeoff between false positives, missed detections, and investigation delay. This paper formalizes AML detection as constrained loss minimization over gate strength `g`, derives gate configurations with Lagrangian methods under BSA/FATF/EU AMLD constraints, and reports that MARIA OS responsibility gates reduced total compliance cost by 47% while maintaining required detection thresholds in evaluated settings. The framework treats gate strength as a continuous control variable rather than a binary switch.
Formal evidence graph construction and matrix-algebraic traceability for reconstructing every financial decision under SOX, Basel III, and MiFID II
Regulatory reconstruction of AI-driven financial decisions is difficult when logs are fragmented, timestamps drift, or causal links are missing. This paper introduces a formal evidence-graph model where each decision is an immutable node in a directed acyclic graph, linked by typed causal edges with cryptographic evidence bundles. We define `TraceCompleteness` as `TC = |reproducible decisions| / |total decisions|` and report `TC >= 0.997` across evaluated SOX, Basel III, and MiFID II audit scenarios.
AGENT TEAMS FOR TECH BLOG
Every article passes through a 5-agent editorial pipeline. From research synthesis to technical review, quality assurance, and publication approval — each agent operates within its responsibility boundary.
Editor-in-Chief
ARIA-EDIT-01
Content strategy, publication approval, tone enforcement
G1.U1.P9.Z1.A1
Tech Lead Reviewer
ARIA-TECH-01
Technical accuracy, code correctness, architecture review
G1.U1.P9.Z1.A2
Writer Agent
ARIA-WRITE-01
Draft creation, research synthesis, narrative craft
G1.U1.P9.Z2.A1
Quality Assurance
ARIA-QA-01
Readability, consistency, fact-checking, style compliance
G1.U1.P9.Z2.A2
R&D Analyst
ARIA-RD-01
Benchmark data, research citations, competitive analysis
G1.U1.P9.Z3.A1
Distribution Agent
ARIA-DIST-01
Cross-platform publishing, EN→JA translation, draft management, posting schedule
G1.U1.P9.Z4.A1
Complete list of all 121 published articles. EN / JA bilingual index.
121 articles
All articles reviewed and approved by the MARIA OS Editorial Pipeline.
© 2026 MARIA OS. All rights reserved.