Deterministic architecture for multi-agent observability, verification and controlled degradation.

PRoTECT is an open-source software tool, with a user-friendly GUI, for the purposes of formal verification using polynomial-type barrier certificates for safety specifications. PRoTECT can handle discrete-time stochastic systems, continuous-time stochastic systems, discrete-time deterministic systems and continuous-time deterministic systems.

An engineering architecture for AI-assisted development that separates exploration (humans + LLMs) from deterministic verification.

SMALL (Schema, Manifest, Artifact, Lineage, Lifecycle) is a formal execution state protocol that makes AI-assisted work legible, deterministic, and resumable by separating durable state from ephemeral execution.

Deterministic action-governance kernel for LLM-driven systems with fail-closed execution, signed approvals, and verifiable audit chains.

Deterministic on-chain logic synthesis verified by the Horpestad Standard.

Normative specifications for deterministic, secure, and cost-aware AI orchestration systems.

Immutable constraint kernel with cryptographic genesis anchored on the XRP Ledger.

Archived deterministic combat simulation built as an engineering exercise.

URC Minimal Blockchain — minimal, auditable blockchain core illustrating capacity, locality, and rigidity constraints with deterministic verification.

Deterministic, event-driven Core, with explicit risk management, order state machines, queue semantics, and research orchestration.

Deterministic governance system for AI-driven marketing that separates diagnostics, human reasoning, and execution into strictly controlled layers.

Deterministic, fully controllable time and time-ordered identifiers for distributed-system simulations and testing. Time is just another dependency.

A theoretical framework introducing the Non-Turing Machine: a deterministic, structure-driven model of machine order based on UDML, formal axioms, functional intentionality, and the declarative L-OPS language. This repository consolidates the core papers defining the architecture, logic, and conceptual foundations of this new machine type.

Minimal cognitive kernel for traceable reasoning, temporal integrity, and data sovereignty.

Turn-based control architectures

Deterministic Compiler System (DCS): a system for compiling structured intent into reproducible software artifacts.

Engine-agnostic foundation for deterministic legendary encounters in Hytale

Axiom LLC website — AI systems & automation consultancy. Static HTML.