Deterministic Systems Python Packages

dof-sdk

Deterministic Observability Framework — formal governance, privacy benchmarks, and adversarial testing for multi-agent LLM systems

dbl-gateway

Reference implementation of the DBL execution boundary. Deterministic event chain separating intent, policy, and execution.

o1op

Deterministic code synthesis operator — zero LLM in the loop. 8-color algebraic type system, 7-pass causal inference, 7-layer verification, 9-phase autonomous engagement. Substrate validated across 9 IEEE 2026 papers + IBM z/OS production assessment.

veramem-kernel

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

carl-studio

CARL (Coherence-Aware Reinforcement Learning) — information-theoretic reward signals for LLM training via token-level probability distributions

determ8

Determ8: the deterministic gate for agentic systems. The agent proposes, the pipeline proves. Open core by Tech4Biz.

agentledger-core

Deterministic run ledger for AI agents

carl-core

Coherence math primitives for CARL (Coherence-Aware Reinforcement Learning)

logicpearl

Official Python bindings for logicpearl-engine.