It is a double trigger, but the rear one does in fact cock the hammer. I saw it called a kick spanner mechanism. I have the original factory certificate for the gun from April 1968 with the matching serial number. On the back of the certificate the instructions call it a unique double safety system, requiring the gun to be manually cocked instead of cocking on closing. This model is different than most of the other models I've seen listed. I can say for sure that it is not a typical set trigger setup.
