CAUSAL LEDGER WHITEPAPER
Authors:Rafael Oliveira,Jameson Bednarski
DPID: 871Published:
Abstract
This document contains formal mathematical proofs of safety, determinism, and confluence. It constitutes a cryptographic-free, trustless ledger specification suitable for high-integrity institutional applications.