# This is an example Preserves Schema definition.
# https://preserves.dev/preserves-schema.html

# Every schema definition file must specify the version of the schema language it uses.
# This allows for evolution of the schema language.
version 1 .

# The remainder of the file consists of definitions appropriate for using Preserves to
# represent parsed records and internal implementation states of the SSH authentication
# subprotocol of an SSH protocol implementation.

SshAuthenticatedUser = <authenticated @username string @service bytes>.

SshAuthMethod =
  / @none #"none"
  / @publickey #"publickey"
  / @password #"password"
.

SshAuthRequest =
  / <none @username string>
  / <publickey @username string @key PublicKey>
  / <password @username string @password string>
.

SshAuthenticationMethodAcceptable = <authentication-method-acceptable @method SshAuthMethod>.

SshAuthenticationAcceptable =
  <authentication-acceptable? @method SshAuthMethod @request SshAuthRequest @ok bool>.

PublicKey = Ed25519PublicKey .

Ed25519PublicKey = <ed25519-public-key @q bytes>.
Ed25519PrivateKey = <ed25519-private-key @q bytes @d bytes>.