CausalFence v0.1.0

CausalFence 0.1.0

CausalFence turns a strict, bounded client-visible key-value trace into deterministic consistency findings, bounded local witnesses, a canonical SHA-256 ledger, and an independently replayed receipt.

Included

• strict duplicate-key-free UTF-8 JSON contract: at most 512 KiB and 256 events;
• causal closure plus read-your-writes, monotonic reads, writes-follow-reads, and monotonic writes;
• deterministic content-bound finding IDs and an event/finding hash chain;
• a verifier that rebuilds reachability with Floyd–Warshall without importing the analyzer, relation builder, ledger, or engine;
• dependency-free offline CLI commands for analyze, verify, inspect, and self-contained HTML reporting;
• a synthetic 16-event / 3-region / 5-session reference incident;
• 13 real, reproducible CLI/browser/diagram/chart/GIF/HTML/JSON evidence files.

Verified release result

• 60 tests, 97.78% measured line coverage;
• CPython 3.11.15, 3.12.13, 3.13.14, and 3.14.6;
• 16 events, 9 findings, 5 affected events, 11 conformant events;
• trace SHA-256: 6a79b5d0fec6bc5a00556bf85841decd8c410f86c3cd8f07c3e2e233d45bab8f;
• ledger root: b35faf866e59d74aa57e4c4073dd9deba684475fd6799dfc1cbbe559fa82411c;
• receipt SHA-256: bd69701c451eb185400bff8460fc643c6a43e3c4241b8a498be909a649d1fb37.

Review the immutable evidence bundle, generation method, and claim boundary.

Boundaries

This release proves deterministic agreement between two implementations under the declared semantics of the supplied bounded trace. It does not authenticate trace producers, certify a database, establish production correctness, prove globally minimal counterexamples, or measure performance.

The frozen legacy/dtk-lpr-2025/ directory preserves the original repository upload byte-for-byte for provenance. It is unsupported, excluded from packaging and analysis, and not relicensed by the Apache-2.0 CausalFence grant.

Release commit: ef6e8d076dd467a649870ad4cd6163ebb1b6bfc7