Evidence row 1238755

What was observed

{
  "count": 5,
  "tools": [
    {
      "description": "A maimai DX player's rating from their scores: the new 15 (b15) and old 35 (b35), with each chart's rating, and the scores whose next rank would raise the rating most. Achievements are integers in 1/10000 of a percent: 100.7543% is 1007543.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "scores": {
            "description": "The scores of the player, up to 300; of a chart given twice the better one counts",
            "items": {
              "properties": {
                "achievement": {
                  "description": "Achievement in 1/10000 of a percent, an integer: 100.7543% is 1007543, 99.5% is 995000",
                  "maximum": 1010000,
                  "minimum": 0,
                  "type": "integer"
                },
                "combo": {
                  "description": "Combo lamp: fc, fcp (FC+), ap or app (AP+). AP and AP+ add 1 to the rating.",
                  "enum": [
                    "fc",
                    "fcp",
                    "ap",
                    "app"
                  ],
                  "type": "string"
                },
                "difficulty": {
                  "description": "basic, advanced, expert, master or remaster",
                  "maxLength": 40,
                  "type": "string"
                },
                "song": {
                  "description": "Sheet ID (dsht_…), or song ID or name with type and difficulty",
                  "maxLength": 200,
                  "minLength": 1,
                  "type": "string"
                },
                "type": {
                  "description": "dx or std",
                  "enum": [
                    "dx",
                    "std",
                    "utage",
                    "utage2p"
                  ],
                  "type": "string"
                }
              },
              "required": [
                "song",
                "achievement"
              ],
              "type": "object"
            },
            "maxItems": 300,
            "minItems": 1,
            "type": "array"
          },
          "server": {
            "description": "Game server the player plays on: jp (default), intl, usa or cn",
            "maxLength": 20,
            "type": "string"
          },
          "suggestions": {
            "description": "Most suggestions of scores to improve, 0 to 50. Default 10.",
            "maximum": 50,
            "minimum": 0,
            "type": "integer"
          },
          "version": {
            "description": "Game version whose new charts make the new 15 (b15): PRiSM PLUS. Default: the newest on the server.",
            "maxLength": 40,
            "type": "string"
          }
        },
        "required": [
          "scores"
        ],
        "type": "object"
      },
      "name": "calculate_best50"
    },
    {
      "description": "The rating a maimai DX chart gives for an achievement, the achievement a rating needs, and the rating of each rank (S to SSS+). Give a chart (looked up with its current internal level) or an internal level. Achievements are integers in 1/10000 of a percent: 100.7543% is 1007543.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "achievement": {
            "description": "Achievement in 1/10000 of a percent, an integer: 100.7543% is 1007543, 99.5% is 995000",
            "maximum": 1010000,
            "minimum": 0,
            "type": "integer"
          },
          "combo": {
            "description": "Combo lamp: fc, fcp (FC+), ap or app (AP+). AP and AP+ add 1 to the rating.",
            "enum": [
              "fc",
              "fcp",
              "ap",
              "app"
            ],
            "type": "string"
          },
          "difficulty": {
            "description": "Difficulty of the chart of song: basic … remaster",
            "maxLength": 40,
            "type": "string"
          },
          "internal_level": {
            "description": "Internal level (譜面定数) instead of a chart: 13.7",
            "maximum": 15,
            "minimum": 1,
            "type": "number"
          },
          "server": {
            "description": "Game server (jp, intl, usa, cn), whose internal level is used where it differs. Default jp.",
            "maxLength": 20,
            "type": "string"
          },
          "song": {
            "description": "The chart: a sheet ID (dsht_…), or a song ID or name with type and difficulty. Or give internal_level.",
            "maxLength": 200,
            "type": "string"
          },
          "target_rating": {
            "description": "A rating of the chart to reach: the lowest achievement that gives it",
            "maximum": 400,
            "minimum": 1,
            "type": "integer"
          },
          "type": {
            "description": "Type of the chart of song: dx or std",
            "enum": [
              "dx",
              "std",
              "utage",
              "utage2p"
            ],
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "calculate_rating"
    },
    {
      "description": "Details of a maimai DX song and its charts (譜面): level, internal level (譜面定数) now and in past versions, note counts, note designer, release date, servers and community tags. Filter by type, difficulty and server.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "difficulty": {
            "description": "Only the charts of this difficulty: basic, advanced, expert, master or remaster (MAS, Re:MAS work)",
            "maxLength": 40,
            "type": "string"
          },
          "lang": {
            "description": "Language of the tag names: en (default), ja, zh-Hans or zh-Hant. Use the language of the user.",
            "enum": [
              "en",
              "ja",
              "zh-Hans",
              "zh-Hant"
            ],
            "type": "string"
          },
          "server": {
            "description": "Game server: jp, intl, usa or cn. Only the charts on that server, with its own level where it differs. Omitted: every chart, with the servers of each.",
            "maxLength": 20,
            "type": "string"
          },
          "song": {
            "description": "Song ID (dsng_…) or sheet ID (dsht_…) from search_songs. A title or alias that only one song has works too.",
            "maxLength": 200,
            "minLength": 1,
            "type": "string"
          },
          "type": {
            "description": "Only the charts of this type: dx, std, utage or utage2p",
            "enum": [
              "dx",
              "std",
              "utage",
              "utage2p"
            ],
            "type": "string"
          }
        },
        "required": [
          "song"
        ],
        "type": "object"
      },
      "name": "get_sheet"
    },
    {
      "description": "Lists the maimai DX songs and charts released recently, by release date, newest first: on each date the new songs, and the new charts added to songs released before, with the level and internal level (譜面定数) of each chart. Use it for \"what is new\" questions. Release dates are those of Japan.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "days": {
            "description": "Release dates from this many days before today (UTC). Default 30.",
            "maximum": 3650,
            "minimum": 1,
            "type": "integer"
          },
          "limit": {
            "description": "Most songs to return, newest dates first, 1 to 200. Default 50.",
            "maximum": 200,
            "minimum": 1,
            "type": "integer"
          },
          "server": {
            "description": "Game server: jp, intl, usa or cn. Only the charts on that server, with its own level where it differs; a song is new on the date of its first chart there. Omitted: every chart of every server.",
            "maxLength": 20,
            "type": "string"
          },
          "since": {
            "description": "First release date to list, YYYY-MM-DD. Give since or days, not both.",
            "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "list_recent_songs"
    },
    {
      "description": "Finds maimai DX songs by title, alias, nickname, romanization or artist, best match first, with the level and internal level (譜面定数) of each chart. Use it to get the song ID of a song the user names.",
      "inputSchema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "limit": {
            "description": "Most songs to return, 1 to 50. Default 10.",
            "maximum": 50,
            "minimum": 1,
            "type": "integer"
          },
          "query": {
            "description": "Title, alias, nickname, romanization or artist, in any language: ウミユリ海底譚, umiyuri, 海底谭, n-buna. Width, case, kana and punctuation are ignored.",
            "maxLength": 200,
            "minLength": 1,
            "type": "string"
          },
          "type": {
            "description": "Only the songs that have a chart of this type, and only those charts: dx, std, utage or utage2p",
            "enum": [
              "dx",
              "std",
              "utage",
              "utage2p"
            ],
            "type": "string"
          }
        },
        "required": [
          "query"
        ],
        "type": "object"
      },
      "name": "search_songs"
    }
  ]
}

What the leaf hashes

{"body":"0153875a90226caff5e80f501739486297bd4eb60e25c05dbaaff6f455e19ea1","id":1238755,"kind":"mcp.tools","method":"probe.mcp/1","observed_us":1793352750339562,"prev":1054135,"subject":"ea147bae-d106-4447-a636-7f357c290b68","subject_kind":"endpoint"}

Proof

Its day has not closed yet. A day closes ten minutes after midnight UTC; the proof appears here then.