Harden the soundness-ledger gate: content-binding, stamp-enforcement, xfail pin-liveness

Harden the soundness-ledger gate: content-binding, stamp-enforcement, xfail pin-liveness #1275