The PDDS sequence moves from formal systems research into protocols, assurance, reference implementations, and deployment patterns for consequential autonomous infrastructure.
PDDS research artifacts
Published works & completed preprints
Active & planned research
Define Post-Deterministic Distributed Systems, establish the Honest Quorum problem, and formalize cognitive serializability (TCT) for safe state mutations.
Establish Epistemic Fault Domains (EFD), Cognitive Admission Control (CAC), and Assurance-Aware Scheduling (AAS) for expiring evidence.
Investigate Quality-of-Inference Scheduling, Semantic Garbage Collection, Epistemic Causality, Distributed Reasoning Topologies, and the Semantic CAP Theorem.
Advance the paradigm for reasoning about non-deterministic participants in distributed systems.
Translate the research into protocols, assurance systems, evidence records, and reference implementations.
Define governable deployment patterns for autonomous systems operating across real institutions.
A New Foundation for Trustworthy Autonomous Infrastructure
Introduces PDDS as a research and engineering model for systems in which deterministic code, stochastic models, autonomous agents, policy engines, and human-machine actors coexist.
Governing Agentic Mutation with Execution-Bound Safety and Evidence Chains
Introduces a protocol that turns proposed agentic mutations into governed intents evaluated against state, policy, execution bounds, and evidence requirements.
Decoupling AI Reasoning from Execution in Real-World Systems
Separates stochastic reasoning from bounded execution authority in regulated and multi-organization environments.
Proof-Derived Authorization for Sovereign AI Systems
Computes execution authority from structured, verifiable artifacts instead of standing credentials.
Governing Generated Software Through Invariants and Continuous Evidence
Treats a machine-enforceable protocol, rather than generated code, as the durable authority-bearing software artifact.
Certificate-Bound Admission for Agentic Infrastructure
Introduces a certificate-bound runtime admission layer for autonomous execution authority.
Collective Certification for Non-Deterministic AI Infrastructure
Certifies the semantic safety of agent proposals using diverse, read-only validator panels and risk-adaptive quorum predicates.
Epistemic State Replication for Agentic Systems
Moves replication from bitwise state identity to evidence-backed belief lineage and bounded semantic coherence.
Enforcing Certificate-Bound Authority in Agentic Control Planes
Provides a mandatory runtime enforcement point for certificate-bound authority at mutation time.
Verifiable State-Delta Evidence for Autonomous Operations
Replaces prose-first telemetry with signed, content-addressed state-delta evidence for autonomous operators.
Epistemic Byzantine Fault Tolerance for Agentic Infrastructure
When protocol-compliant agents agree, what prevents them from agreeing on the same wrong reality? Formalizes epistemic faults in protocol-compliant reasoning participants and separates semantic safety risk from liveness degradation.
Epistemic Fault Domains and Correlated Cognitive Failures in Agentic Quorums
How many genuinely independent epistemic paths support a quorum? Shows that nominally distinct agent reviewers can share upstream failure roots, so replica count alone does not establish epistemic redundancy.
Risk-Conditioned Assurance for Consequential Actions in Agentic Distributed Systems
What evidence and assurance must exist before a high-consequence action may execute? Makes action readiness an explicit, risk-conditioned evidence requirement separate from identity authorization.
Cognitive Serializability Across Data, Evidence, Policy, and Authority
When can a non-deterministic cognitive decision safely mutate durable system state? Coordinates data, evidence, policy, and delegated authority so committed effects remain compatible with their derivation inputs.
Assurance-Aware Semantic Scheduling for Evidence Acquisition in Distributed Systems
A joint evidence-selection and scheduling framework for satisfying admission obligations under expiring evidence, epistemic fault domains, deadlines, resource budgets, consequential diagnostics, and adaptive repair.
Resource Allocation for Agentic Reasoning
How should reasoning resources be allocated when cost and latency are not the only objectives? Allocating model capability, context, reasoning depth, verification compute, evidence budget, latency, and cost to achieve a required level of inference quality.
Information-Theoretic Memory Pruning for Long-Lived Agents
Which information can be removed without violating future reasoning or system invariants? Formulates safe forgetting, memory compression, and retention value without violating future reasoning or system invariants.
Tracing Belief Lineage in Non-Deterministic Systems
Which observations, transformations, and prior beliefs actually caused a decision? Distributed tracing for beliefs, evidence, transformations, and decisions in non-deterministic systems.
Cognitive Placement Theory for Agentic Systems
Where should reasoning occur to balance independence, cost, latency, and authority? Placement theory for reasoning across fault, trust, provider, and sovereignty domains.
Which guarantees cannot simultaneously be maintained when agents must act despite incomplete or divergent evidence? Investigates fundamental impossibility tradeoffs between semantic consistency, autonomous availability, and operation under epistemic partition.
Incentive-Aware Decision Protocols for Autonomous Systems
How should autonomous agents reach consequential decisions when they have distinct principals, incentives, budgets, utilities, and obligations?
A Reference Architecture for Sovereign AI Systems
Documents a deterministic control-plane architecture that isolates unstable reasoning from live operations while preserving auditability.
A Control-Plane Architecture for Saudi Arabia's National AI Infrastructure
Maps sovereign execution across national AI infrastructure through federated institutional policy and localized authority.
A Programmable Control Plane for Consequential AI Agents
Specifies an independently enforceable boundary and programmable control plane that turns verified, action-specific assurance into narrow execution authority for consequential AI-agent operations.
Turns ambiguous software requirements into Protocol-Driven Development bundles.
Implements the control plane for execution-bound safety and evidence chains.
Align execution governance, identity custody, assurance, and reference implementation milestones to your operating constraints.