         {log-state ::log/state
          vouch ::vouch} (build-inner-vouch (assoc this
                                                   ::log/state log-state))]
+    (assert log-state)
     (build-initiate-packet! (assoc this
                                    ::log/state log-state
                                    ::specs/inner-i-vouch vouch)

                                 "No message bytes to send")
           ::specs/deferred (dfrd/success-deferred ::nothing-to-send))))

(s/fdef build-inner-vouch
  :args (s/cat :this ::vouch-building-params)
  :ret ::vouch-built)
(defn build-inner-vouch
  [{:keys [::log/logger
           ::shared/my-keys
           ::shared/packet-management

                                      ::shared/text text
                                      ::key-length K/key-length
                                      ::shared/working-nonce working-nonce})
                {log-state ::log/state
                 :keys [::specs/vouch]} (encrypt-inner-vouch log-state
                                                             shared-secret
                                                             working-nonce
                                                             text)]
            ;; I've finally found one solid piece of evidence about that
            ;; ridiculous StackOverflow error.
            ;; If this assert fails, that particular error goes away (and
            ;; the server handshake-test turns into a false positive).
            ;; If it passes, then something that happens downstream
            ;; triggers the StackOverflow.
            (assert log-state)
            {::specs/inner-i-nonce nonce-suffix
             ::log/state log-state
             ::specs/vouch vouch})
