I like the idea of a brute force processor on a tiny sensor. 30 fps, and slomo video, no cell phone does that (and no dslr...). That hopeless lens is the issue, shorter zom, wider aperture, and manual shutter control in slo mo video and this could be a good one.
Why the jpg size of the sample is 4.8 mb against the 6.8mb of the k30? Maybe Excessive compression is related to the softness of jpgs? I usually set +2inSharpness and +1 in saturation, what are your best settings?