Mining tasks

That reference is already synthesized and already passing its test vectors. Its burn basis b* and design cost C_ref are locked on-chain when the task goes live — that's the number you have to beat.

There's only one thing to do: get your design cost C lower. Fewer gates and shallower logic mean a lower C. Then pass on-chain verification.

Each task has one Best Original slot per processor. It goes to the verified circuit with the lowest C — if two tie, the earlier commitment wins. A lower-C circuit takes the slot from whoever holds it, and the design premium K_task · q goes with it.