|%
+$  challenges  (set challenge)
+$  challenge    @uv
+$  authorization
  $:  who=@p
      challenge=@uv
      adr=tape
      sig=tape
  ==
:: +$  user-sessions  (map coki=@ [proven=@p src=@p])
+$  user-sessions  (map coki=@ ship=@p)
+$  sessions
  $:  =challenges
      users=user-sessions
  ==
+$  self-poke
  $%  [%meta challenge=@uv]
      [%coki who=@p coki=@ challenge=@uv]
      [%logout eyre-id=@t coki=@t redirect=@t]
  ==
--