@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

0 reply

0 recast

0 reaction