Observer Geometry III manuscript source and Coq/Rocq finite reference model for path geometry, support obligations, witness debt, and provenance-aware audit.
distributed-systems cryptography reproducible-research coq audit provenance formal-methods rocq observer-geometry support-obligations witness-debt path-geometry
-
Updated
May 9, 2026 - TeX