TAG ARCHIVE
auto-dev
2 MARIA OS blog articles tagged auto-dev, organized as a Bonginkan topic archive for search engines and LLM retrieval.
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.
DB-Approved Development: Consistency Proofs for AI-Generated Code Through State Transition Modeling
Defining code changes as state transitions with reproducibility guarantees and gate-enforced approval workflows
AI code generation is probabilistic, so the same prompt may produce different outputs across runs. In enterprise systems, this requires reproducibility, auditability, and explicit approval controls for every change. This paper introduces DB-Approved Development, a framework that models code changes as database-backed state transitions with reproducibility guarantees and gate-enforced approval workflows for AI-generated code.
Optimal Explanation Frequency for Generative AI: Balancing Oversight Cost and Misgeneration Risk
A mathematical optimization of how often AI code generators should be required to explain their output, minimizing total cost of explanation overhead plus undetected errors
Requiring AI to explain every generated line can be expensive, while requiring no explanation increases risk exposure. The practical operating point lies between these extremes. This paper derives an optimal explanation interval that minimizes the combined cost of explanation overhead and undetected misgeneration risk.