eBPF-supervised execution of controllers/models

QuickCheck-like testing framework for Isabelle/ML

URF Counterexamples — certified counterexamples and boundary cases for the Unified Rigidity Framework, clarifying limits and failure modes.

example of a nowhere continuous (weakly) Picard operator

construction of a nowhere convex, non-negative, strictly increasing, continuously differentiable function tightly bounded from above by a convex one

Certified minimal obstructions for graph and inference baselines under the Unified Rigidity Framework (URF).