determinism

Connect ontology-grounded context graphs with deterministic AI agent governance to enforce business rules before execution and preserve decision evidence.

ECS for Unity with full game state automatic rollbacks

Providing reproducibility in deep learning frameworks

Intuitive concurrent programming in any language

Multi-agent evidence adjudication engine - normalize claims, weigh support and contradiction, and render deterministic verdicts, with a Rust engine and a TypeScript viewer.

Audit AI agent tool-call transcripts: hash-chain sealing, deterministic replay, and scope overreach checks. Dependency-free Python CLI.

Trace-to-evaluation compiler: turn failures and execution traces into regression cases, rubrics, fixtures, and release gates.

Explainable, stdlib-only evaluation lab for AI-driven NPC behaviour: four-axis scoring with written reasons, deterministic encounter replay, fixtures, transcripts and a zero-dependency CLI.

Smart Promise Tracker AI 2026 – Commit Memory Engine

Convex component for durably executing workflows.

When the stakes are high, intelligence is only half the equation - reliability is the other ⚠️

A determinizing tracer using Ptrace

Xronos revolutionizes robotics software — enabling reproducible behavior, timing control, and rapid root cause analysis through built-in observability.

Deterministic Simulation using ROS 2

renew engine: an AI-first game engine in Rust, built to be operated. Bit-deterministic fixed-timestep simulation in Q47.16 fixed point, Vulkan rendering through ash, and every capability driven from the CLI with schema-versioned JSON. 29 modular crates, desktop and mobile. Apache-2.0. Early development.

A deterministic bytecode virtual machine for agent execution, with a verifying assembler and serializable continuations

Trace how a silent tool failure taints a whole agent run: dependency graph, taint paths, and grounded or tainted verdicts.

ZEOS: a transformer operating system — priority-preemptive scheduling, protected mode, and deterministic replay for LLM jobs

Experimental pedagogy: I don't teach, I learn and document along the way. Anyone can join.

Deterministic symbolic codes for embedding vectors. Byte-identical across CPUs and languages, content-addressed, diffable and verifiable. C core with Python, Rust, Go and TypeScript bindings.