{
  "$type": "com.atproto.lexicon.schema",
  "defs": {
    "main": {
      "description": "Mark notifications as seen up to seenAt.",
      "input": {
        "encoding": "application/json",
        "schema": {
          "properties": {
            "seenAt": {
              "format": "datetime",
              "type": "string"
            },
            "token": {
              "description": "Caller's push token. When supplied and bound to the viewer, the response carries the post-update device badge.",
              "type": "string"
            }
          },
          "required": [
            "seenAt"
          ],
          "type": "object"
        }
      },
      "output": {
        "encoding": "application/json",
        "schema": {
          "properties": {
            "badge": {
              "description": "Device-wide unread sum across every DID bound to the supplied token.",
              "minimum": 0,
              "type": "integer"
            }
          },
          "type": "object"
        }
      },
      "type": "procedure"
    }
  },
  "id": "app.didpic.notification.updateSeen",
  "lexicon": 1
}