Solution: Torn Numbers

The code...

declare
   proc {Torn X}
      D3 D2 D1 D0
      Sum = {FD.decl}
   in
      X = [D3 D2 D1 D0]
      X ::: 0#9
      D3 \=: 0
      Sum =: D3 * 10 + D2 + D1 * 10 + D0
      Sum * Sum =: D3 * 1000 + D2 * 100 + D1 * 10 + D0
      {FD.distribute ff X}
   end
   {ExploreOne Torn}

... and the search tree:

...giving the solution

1#[2 0 2 5].