We explicate Flach's and Morin's special value conjectures in [8] for proper regular arithmetic surfaces π : X → Spec Z and provide explicit formulas for the conjectural vanishing orders and leading Taylor coefficients of the associated arithmetic zeta-functions. In particular, we prove compatibility with the Birch and Swinnerton-Dyer conjecture, which has so far only been known for projective smooth X. Further, we derive a direct sum decomposition of Rπ*Z(n) into motivic degree components
