Selected Work

Helaix Applied Research Institute

Founder & Research Director | 2021 – Present

Founded applied research institute to solve the fundamental reliability problem in AI agent systems. Formalized K-12/G-9/M-7 through systematic first-principles investigation. Built complete research-to-production pipeline.

Key achievements:

  • • Developed formally specified foundations for multi-agent coordination
  • • Formalized 32 normative specifications with mathematical laws
  • • Built 52k-line reference implementation + 6 production libraries
  • • Mapped 197 regulatory clauses to formal invariants
  • • Authored 4 research papers + 3 technical books

helaix.com

Publications

Research Papers (arXiv, In Preparation 2025)

K-12 / G-9 / M-7: Typed-Effect Kernels for Reliable Multi-Agent Systems

Ryan Hunter | arXiv preprint (cs.AI, cs.PL, cs.SE)

ryanhunter.io/papers/k12

Ledger-First Observability: Audit-Before-Mutation for Deterministic Replay and Compliance in Production AI

Ryan Hunter | arXiv preprint (cs.SE, cs.CY)

ryanhunter.io/papers/ledger

Exactly-Once Semantics for LLM Function Calling via Idempotency Patterns at Scale

Ryan Hunter | arXiv preprint (cs.DC, cs.SE)

ryanhunter.io/papers/eos

CRDT-Based Memory for Distributed Agents with Provable Convergence and GDPR-Compliant Deletion

Ryan Hunter | arXiv preprint (cs.DC, cs.DB, cs.CY)

ryanhunter.io/papers/crdt

Technical Books (Published 2025)

Standard Agent Runtime: The Missing Layer Where Agents Actually Run

Designing Production Agent Systems: Reliability, Observability, and Determinism

Auditable AI: Mathematical Foundations for Compliant-by-Construction Systems

View full details →

Open Source

Production-Grade Code

agientic - Complete K-12/G-9/M-7 Implementation

52,000-line reference implementation with specs, conformance tests, and regulatory mappings.

github.com/helaix/agientic

effect-gql-spanner - Cloud Spanner Graph Integration

First public GQL implementation for Spanner Graph. Production-ready.

github.com/artimath/effect-gql-spanner

effect-sql-spanner - Type-Safe SQL Client for Cloud Spanner

Transaction management, streaming, connection pooling.

github.com/artimath/effect-sql-spanner

effect-gql - Graph Query Language for Effect

Error handling, execution patterns, type-safe queries.

github.com/artimath/effect-gql

effect-sql-googlesql - GoogleSQL Dialect Support

Spanner-specific features, type-safe param compilation.

github.com/artimath/effect-sql-googlesql

better-auth-effect - Better Auth + Effect Integration

Type-safe auth flows, Effect layers, Kysely integration.

github.com/artimath/better-auth-effect

effect-system-dynamics - System Dynamics Modeling

Stock-flow diagrams, causal loops, parser-based DSL.

github.com/artimath/effect-system-dynamics

All libraries: Apache 2.0 | Production-ready | Extracted from real systems

Speaking & Writing

Technical writing:

  • • 3 books (2025)
  • • 4 research papers (arXiv, in preparation)
  • • Blog posts (when I have time)

Speaking:

  • • Available for technical talks on formal methods, agent systems, compliance
  • • Conference presentations (contact for booking)
  • • Podcast appearances (contact for booking)

ryan@ryanhunter.io | github.com/artimath