TAG ARCHIVE

max-constraint

1 MARIA OS blog articles tagged max-constraint, organized as a Bonginkan topic archive for search engines and LLM retrieval.

1 article|Published by Bonginkan

Judgment OS / Decision Intelligence OS

Core MARIA OS research on turning organizational judgment into executable decision systems.

Agentic Company Architecture

Research on human-agent organizations, delegation boundaries, role topology, and governed autonomy.

Responsibility Gates and AI Governance

Safety, accountability, fail-closed gates, auditability, and human-in-the-loop control for AI agents.

Multi-Agent Mathematics

Formal models for convergence, stability, game theory, graph dynamics, and multi-agent evaluation.

Evidence, RAG, and Knowledge Governance

Evidence bundles, retrieval architecture, Graph RAG, knowledge trust, and auditable reasoning pipelines.

Industry ApplicationsFebruary 12, 202636 min read

Audit Stopping Criteria: Mathematical Foundations for Knowing When Enough Is Enough

Defining audit termination conditions through MAX constraints and probability thresholds to minimize False Allow Rate

Every audit faces the same question: when is evidence sufficient to stop? Stopping too early can allow defects to escape into production, while stopping too late consumes budget and attention with diminishing returns. This paper formalizes audit stopping criteria as a constrained optimization problem, derives solutions under MAX constraints and sequential probability ratio testing, and describes integration with the MARIA OS Fail-Closed Gate Engine. In evaluated SOX workloads, the approach reported a False Allow Rate below 0.3%.

auditstopping-criteriafalse-allow-rateprobability-thresholdmax-constraintgovernancemathematics