I've added a offical PDF document released after the product introduction, which with more information (in Chinese) about the new cameras' features. It's not Prores but cinemaDNG or cineform for RAW.
For the KineMINI, I think the most significant upgrading for the new KineMINI (let alone the KineMAX) and previous KineRAW-MINI and KineRAW-S35 is the option of 100 FPS high speed mode as well as the 4K capacity. As for its way of recording, it's mentioned 2K internal recording for KineMINI (page 22). The workflow is presented in page 30 in detail as well as bitrate (page 31). The KineSation is mentioned and termed as workstation, which I think serves as external recorder proving other functions (in the future) like diversified input / output format as well as debyer algorithm, applying of different LUT, management / playback / labeling / transcoding of footage (page 32) for free (so far for merely recording, page 35). The price for KineMINI is availble as ï¿¥19800(ï¿¥3237) for the body, which is indeed a little higher than BMCC4K in consideration of extra ï¿¥4000 (c.$654) for the optional 4K and another ï¿¥4000 for high speed capacity, but I think s35 2K is sufficient for entry-level applications.
For the KineMAX, it's possible that the CinemaDNG is recorded internally. Note that two SSD are required for 6K cinemaDNG recording (RAW?) and only one is needed for compressed cinemaDNG data (page 48). This is why two SSD sockets are necessary (on the right side of a very compact body), which implying disk array to achieve high bitrate recording. It's really somthing for a young campany. The only riddle is its price.