TAG ARCHIVE
formal-verification
3 MARIA OS blog articles tagged formal-verification, 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.
Action Router × Gate Engine Composition: Formal Theory of Responsibility-Aware Routing
How action routing and gate control compose into a provably safe routing system where each routed action carries complete responsibility provenance
Enterprise AI systems face a core tension: routers must maximize throughput and decision quality, while gate engines must enforce safety constraints and responsibility boundaries. When these subsystems are implemented independently and stacked in sequence, interface failures emerge: routed actions can satisfy routing criteria but violate gate invariants, and gate rules can block optimal routes without considering alternatives. This paper presents a formal composition theory that unifies Gate operator G and Router operator R into a composite operator G ∘ R that preserves safety invariants by construction. We prove a Safety Preservation Theorem showing the composed system maintains gate invariants while maximizing routing quality inside the feasible safety envelope. Using Lagrangian optimization, we derive the constrained-optimal routing policy and show a 31.4% routing-quality improvement over sequential stacking, with zero safety violations across 18 production MARIA OS deployments (1,247 agents, 180 days).
Dynamic Regulatory Synchronization: Formal Models for Real-Time Policy Update Propagation
Ingesting regulatory amendments as Policy Set deltas and verifying gate rule consistency through automated compliance checking
Regulatory environments can change faster than manual compliance workflows can absorb updates. This article models policy updates as algebraic deltas and focuses on internal rule-verification mechanics, not on turnkey legal automation or real-time compliance certification. The benchmark figures are best read as replay-style engineering measurements on a curated corpus.
Underwriting Responsibility Inheritance: Formal Preservation of Expert Logic in Insurance AI
Ensuring that AI underwriting agents preserve the judgment structure of human experts through formal logic inheritance and responsibility chain verification
When an AI agent takes over underwriting decisions, the organization is transferring expert judgment into algorithmic form, not only automating workflow. Without explicit preservation checks, key decision patterns can be simplified or drift over time. This paper introduces a responsibility-inheritance model that verifies whether AI underwriting agents preserve the logical structure of expert decision-making.