@caliperforge
cf-invariants-jito is public. Invariant-fuzzing harness for the Jito tip-distribution program, ported to anchor-lang 1.0.1 to run on Crucible (Asymmetric Research). Four invariant classes; CI runs each against a clean reference and a planted-bug twin: clean=0, planted≥1.
github.com/caliperforge/cf-invariants-jito