HALMAI operates above agent frameworks and execution targets as the runtime enforcement layer — a structured model for evaluating governance maturity for autonomous agent actions, from passive monitoring to deterministic enforcement
Policy definition, rule management, and authorization decisions for autonomous actions — regardless of which agent framework generates the proposal. Operates on metadata and action proposals without executing side effects.
Financial side-effect execution with valid authorization tokens. The boundary where transaction proposals become real-world fund movements.
LLM inference, reasoning, proposal generation. Probabilistic outputs.
Transaction authorization, policy evaluation, execution. Deterministic outcomes.
The enforcement kernel ensures that stochastic proposals pass through deterministic authorization before funds move or financial systems are affected. This is the fiduciary safety boundary — distinct from cybersecurity, which protects credentials and perimeters but not transaction intent.
A progression from reactive monitoring to proactive, machine-verified transaction governance.
Observability without enforcement. Transaction anomalies detected after occurrence. No prevention capability.
Capabilities
Limitations
Human review required for sensitive financial actions. Bottleneck at scale. Inconsistent enforcement.
Capabilities
Limitations
Rules evaluated automatically. Transactions blocked based on policy. Audit logging enabled.
Capabilities
Limitations
Zero-bypass enforcement gate. Hash-linked decisions. Exactly-once execution semantics.
Capabilities
Limitations
Kernel invariants verified continuously. Public integrity endpoints. Machine-provable guarantees. Planned: structured evidence export for underwriter and institutional workflows.
Capabilities
HALMAI™ operates at Level 3–4: Deterministic Transactional Integrity.A framework-agnostic runtime enforcement kernel with continuous invariant verification — purpose-built for safety in autonomous agent actions, starting with fiduciary enforcement for agentic financial transactions.
Transaction invariant violation or anomaly identified
Severity and type determined
Transaction lockdown or escalation triggered
Root cause analysis with replay
Fix applied, lockdown released