TAG ARCHIVE
code-generation
4 MARIA OS blog articles tagged code-generation, organized as a Bonginkan topic archive for search engines and LLM retrieval.
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.
Agentic R&D and Judgment Science
Research operations, simulation labs, judgment science, recursive improvement, and experimental AI governance.
Agent Tool Compiler: From Natural Language Intent to Executable Tool Code via Compilation Pipeline
Agents as compilers — a formal framework mapping NL intent through intermediate representation to optimized, type-safe runtime tools
Tool-generating agents are ad-hoc code producers. We reframe tool synthesis as a compilation problem: natural language intent is parsed into an Intent AST, lowered to a Tool IR (intermediate representation), optimized through security hardening and dead code elimination passes, and emitted as type-safe executable code that hot-loads into the agent runtime. This paper presents the Agent Tool Compiler architecture with formal language theory foundations.
Tool Genesis Under Governance: How to Safely Turn Generated Code into New Commands
A formal framework for sandbox verification, permission escalation, audit trails, and rollback mechanisms that enable self-extending agent systems without sacrificing safety
When an AI agent generates code that could become a new command in a production system, every line of that code becomes an attack surface. Without governance gates between generation and registration, a self-extending agent is indistinguishable from a self-propagating vulnerability. This paper presents the MARIA OS Tool Genesis Framework: a 7-stage pipeline that transforms generated code into governed commands through sandbox verification, formal safety proofs, permission escalation models, immutable audit trails, and automatic rollback mechanisms. We formalize tool safety as a decidable property under bounded execution, derive permission escalation bounds using lattice theory, introduce the Tool Safety Index (TSI) as a composite metric, and demonstrate that governed tool genesis achieves 99.7% safety compliance with only 12% latency overhead compared to ungoverned registration. The central thesis: self-extension is not dangerous — ungoverned self-extension is.
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.