Queue final solve

Request a higher-quality proof before machine handoff

Dither form

; Request a higher-quality proof before machine handoff
(simulation/submit-final-solve)

Inputs

This command needs no additional input.

Behavior

• Runs as a background job and keeps the interface responsive.
• No undo transaction