flux2-dev Dummy Proof Guide