The sequencer is slashed if no proof is submitted, and so has incentive to submit a proof as early as possible.
Rebates for all valid proofs sounds too costly. If you only rebate gas for the winning tree, that might work. However, this ensures the proof lands in the final L1 slot (may affect liveness), which means L1 proposers can just steal it (like with block proposals in Fernet).
3 Likes