support-obligations

Here are 2 public repositories matching this topic...

flyingrobots / echo

Echo is a WARP optic runtime for witnessed causal history, Continuum-compatible suffixes, bounded observation, and holographic readings.

rust experimental warp formal-methods optics confluence aion causal-models continuum graph-rewriting deterministic-simulation time-travel-debugging dpo-rewriting holographic-computing observer-geometry causal-history support-obligations warp-runtime witnessed-causality

Updated Aug 24, 2026
Rust

flyingrobots / og-3

Sponsor

Star

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

Add this topic to your repo

To associate your repository with the support-obligations topic, visit your repo's landing page and select "manage topics."

Learn more