{
  "model_id": "moonshotai/Kimi-K2.5",
  "vocab_size": 163840,
  "all_stop_token_ids": [163585, 163586],
  "cases": {
    "auto": {
      "grammar": {
        "format": {
          "type": "sequence",
          "elements": [
            {
              "type": "tag",
              "begin": "",
              "content": {
                "type": "any_text",
                "excludes": [],
                "max_tokens": null,
                "max_chars": null
              },
              "end": "</think>"
            },
            {
              "type": "triggered_tags",
              "triggers": [
                "<|tool_calls_section_begin|>"
              ],
              "tags": [
                {
                  "type": "tag",
                  "begin": "<|tool_calls_section_begin|>",
                  "content": {
                    "type": "tags_with_separator",
                    "tags": [
                      {
                        "type": "tag",
                        "begin": "<|tool_call_begin|>functions.get_weather:",
                        "content": {
                          "type": "sequence",
                          "elements": [
                            {
                              "type": "regex",
                              "pattern": "\\d+"
                            },
                            {
                              "type": "const_string",
                              "value": "<|tool_call_argument_begin|>"
                            },
                            {
                              "type": "json_schema",
                              "json_schema": {
                                "type": "object",
                                "properties": {
                                  "location": {
                                    "type": "string"
                                  }
                                },
                                "required": [
                                  "location"
                                ]
                              },
                              "style": "json",
                              "any_order": false,
                              "max_whitespace_cnt": null,
                              "excludes": []
                            }
                          ]
                        },
                        "end": "<|tool_call_end|>"
                      },
                      {
                        "type": "tag",
                        "begin": "<|tool_call_begin|>functions.add:",
                        "content": {
                          "type": "sequence",
                          "elements": [
                            {
                              "type": "regex",
                              "pattern": "\\d+"
                            },
                            {
                              "type": "const_string",
                              "value": "<|tool_call_argument_begin|>"
                            },
                            {
                              "type": "json_schema",
                              "json_schema": {
                                "type": "object",
                                "properties": {
                                  "y": {
                                    "type": "number"
                                  },
                                  "x": {
                                    "type": "number"
                                  },
                                  "items": {
                                    "type": "array",
                                    "items": {
                                      "type": "string"
                                    }
                                  }
                                },
                                "required": [
                                  "y",
                                  "x",
                                  "items"
                                ]
                              },
                              "style": "json",
                              "any_order": false,
                              "max_whitespace_cnt": null,
                              "excludes": []
                            }
                          ]
                        },
                        "end": "<|tool_call_end|>"
                      }
                    ],
                    "separator": "",
                    "at_least_one": true,
                    "stop_after_first": false
                  },
                  "end": "<|tool_calls_section_end|>"
                }
              ],
              "at_least_one": false,
              "stop_after_first": false,
              "excludes": [
                "<think>",
                "</think>",
                "<|tool_call_begin|>"
              ]
            }
          ]
        },
        "coverage": "from_token_zero"
      },
      "completion": "Need call the weather and add tools.</think>I will call the tools.<|tool_calls_section_begin|><|tool_call_begin|>functions.get_weather:0<|tool_call_argument_begin|>{\"location\": \"Shanghai\"}<|tool_call_end|><|tool_call_begin|>functions.add:1<|tool_call_argument_begin|>{\"y\": 1.0, \"x\": 2, \"items\": [\"left\", \"right\"]}<|tool_call_end|><|tool_calls_section_end|>",
      "generation_token_ids": [20082, 2390, 276, 10666, 316, 1239, 7697, 13, 163607, 40, 748, 2390, 276, 7697, 13, 163595, 163597, 41937, 1150, 21055, 2800, 25, 15, 163598, 8264, 5791, 1289, 414, 2797, 31231, 16934, 163599, 163597, 41937, 3149, 25, 16, 163598, 8264, 88, 1289, 220, 16, 13, 15, 11, 414, 87, 1289, 220, 17, 11, 414, 7989, 1289, 8681, 3794, 665, 414, 2277, 3956, 92, 163599, 163596, 163586]
    },
    "required": {
      "grammar": {
        "format": {
          "type": "sequence",
          "elements": [
            {
              "type": "tag",
              "begin": "",
              "content": {
                "type": "any_text",
                "excludes": [],
                "max_tokens": null,
                "max_chars": null
              },
              "end": "</think>"
            },
            {
              "type": "sequence",
              "elements": [
                {
                  "type": "const_string",
                  "value": "<|tool_calls_section_begin|>"
                },
                {
                  "type": "tags_with_separator",
                  "tags": [
                    {
                      "type": "tag",
                      "begin": "<|tool_call_begin|>functions.get_weather:",
                      "content": {
                        "type": "sequence",
                        "elements": [
                          {
                            "type": "regex",
                            "pattern": "\\d+"
                          },
                          {
                            "type": "const_string",
                            "value": "<|tool_call_argument_begin|>"
                          },
                          {
                            "type": "json_schema",
                            "json_schema": {
                              "type": "object",
                              "properties": {
                                "location": {
                                  "type": "string"
                                }
                              },
                              "required": [
                                "location"
                              ]
                            },
                            "style": "json",
                            "any_order": false,
                            "max_whitespace_cnt": null,
                            "excludes": []
                          }
                        ]
                      },
                      "end": "<|tool_call_end|>"
                    },
                    {
                      "type": "tag",
                      "begin": "<|tool_call_begin|>functions.add:",
                      "content": {
                        "type": "sequence",
                        "elements": [
                          {
                            "type": "regex",
                            "pattern": "\\d+"
                          },
                          {
                            "type": "const_string",
                            "value": "<|tool_call_argument_begin|>"
                          },
                          {
                            "type": "json_schema",
                            "json_schema": {
                              "type": "object",
                              "properties": {
                                "y": {
                                  "type": "number"
                                },
                                "x": {
                                  "type": "number"
                                },
                                "items": {
                                  "type": "array",
                                  "items": {
                                    "type": "string"
                                  }
                                }
                              },
                              "required": [
                                "y",
                                "x",
                                "items"
                              ]
                            },
                            "style": "json",
                            "any_order": false,
                            "max_whitespace_cnt": null,
                            "excludes": []
                          }
                        ]
                      },
                      "end": "<|tool_call_end|>"
                    }
                  ],
                  "separator": "",
                  "at_least_one": true,
                  "stop_after_first": false
                },
                {
                  "type": "const_string",
                  "value": "<|tool_calls_section_end|>"
                }
              ]
            }
          ]
        },
        "coverage": "from_token_zero"
      },
      "completion": "Need call the weather and add tools.</think><|tool_calls_section_begin|><|tool_call_begin|>functions.get_weather:0<|tool_call_argument_begin|>{\"location\": \"Shanghai\"}<|tool_call_end|><|tool_call_begin|>functions.add:1<|tool_call_argument_begin|>{\"y\": 1.0, \"x\": 2, \"items\": [\"left\", \"right\"]}<|tool_call_end|><|tool_calls_section_end|>",
      "generation_token_ids": [20082, 2390, 276, 10666, 316, 1239, 7697, 13, 163607, 163595, 163597, 41937, 1150, 21055, 2800, 25, 15, 163598, 8264, 5791, 1289, 414, 2797, 31231, 16934, 163599, 163597, 41937, 3149, 25, 16, 163598, 8264, 88, 1289, 220, 16, 13, 15, 11, 414, 87, 1289, 220, 17, 11, 414, 7989, 1289, 8681, 3794, 665, 414, 2277, 3956, 92, 163599, 163596, 163586]
    },
    "named": {
      "grammar": {
        "format": {
          "type": "sequence",
          "elements": [
            {
              "type": "tag",
              "begin": "",
              "content": {
                "type": "any_text",
                "excludes": [],
                "max_tokens": null,
                "max_chars": null
              },
              "end": "</think>"
            },
            {
              "type": "sequence",
              "elements": [
                {
                  "type": "const_string",
                  "value": "<|tool_calls_section_begin|>"
                },
                {
                  "type": "tag",
                  "begin": "<|tool_call_begin|>functions.get_weather:",
                  "content": {
                    "type": "sequence",
                    "elements": [
                      {
                        "type": "regex",
                        "pattern": "\\d+"
                      },
                      {
                        "type": "const_string",
                        "value": "<|tool_call_argument_begin|>"
                      },
                      {
                        "type": "json_schema",
                        "json_schema": {
                          "type": "object",
                          "properties": {
                            "location": {
                              "type": "string"
                            }
                          },
                          "required": [
                            "location"
                          ]
                        },
                        "style": "json",
                        "any_order": false,
                        "max_whitespace_cnt": null,
                        "excludes": []
                      }
                    ]
                  },
                  "end": "<|tool_call_end|>"
                },
                {
                  "type": "const_string",
                  "value": "<|tool_calls_section_end|>"
                }
              ]
            }
          ]
        },
        "coverage": "from_token_zero"
      },
      "completion": "Need call the weather and add tools.</think><|tool_calls_section_begin|><|tool_call_begin|>functions.get_weather:0<|tool_call_argument_begin|>{\"location\": \"Shanghai\"}<|tool_call_end|><|tool_calls_section_end|>",
      "generation_token_ids": [20082, 2390, 276, 10666, 316, 1239, 7697, 13, 163607, 163595, 163597, 41937, 1150, 21055, 2800, 25, 15, 163598, 8264, 5791, 1289, 414, 2797, 31231, 16934, 163599, 163596, 163586]
    }
  }
}