Its spool gun, not a sear tripper. the "clapper" solenoid is used to move an air valve. the choice of going with the "clapper" style is because it is more robust, and can be manufactured in house.
I talked to them Monday, and asked him to put a shooting video up on the site, so keep checking.
Mokal is not the kind of company to release a marker , then say "you will need this upgrade kit to make it work properly" , so there have been some changes made to the marker before he is willing to start releasing them. The bolt and board have been upgraded from the proto-type.