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.

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

example of a nowhere continuous (weakly) Picard operator

Canonical counterexamples and boundary constructions for OWC-style rigidity and capacity–locality claims. Includes explicit witnesses, verification scripts, and documented failure modes to delineate admissible vs. non-admissible regimes.

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