Salvatore Ciaravino

Co-commitment by distinct parties, certification gated on re-executing the record's rule, and non-author approval before merge in 25 GitHub repositories

A decision can stand when only one party committed to it: a merged software change, an authorization, an oversight verdict. A valid signature shows which key asserted a value. It does not show that anyone else took part. This paper specifies a determination that exists only when...