Clarify that format strings accept arbitrary tokens as field names

Bug report

Bug description:

Should the code below produce an error?

'{(}'.format(**{'(': 2})

This produces '2' in Python 3.14.5 on MacOS.

Reading
https://docs.python.org/3/library/string.html#format-string-syntax

replacement_field: "{" [field_name] ["!" conversion] [":" format_spec] "}"
field_name:        arg_name ("." attribute_name | "[" element_index "]")*
arg_name:          [identifier | digit+]

this ends up pointing to identifier at https://docs.python.org/3/reference/lexical_analysis.html#grammar-token-python-grammar-identifier

NAME:          name_start name_continue*
name_start:    "a"..."z" | "A"..."Z" | "_" | <non-ASCII character>
name_continue: name_start | "0"..."9"
identifier:    <NAME, except keywords>

Given that '(' is an Ascii character, then ( is not a valid identifier and it should not be allowed.

CPython versions tested on:

3.14

Operating systems tested on:

macOS

Linked PRs

• gh-151064
• gh-153143

Bắt đầu bằng cách tái hiện ví dụ format-string được hiển thị và đọc tài liệu được liên kết về cú pháp format string và ngữ pháp identifier. So sánh các quy tắc về tên trường được ghi trong tài liệu với hành vi quan sát được, đồng thời xem các PR được liên kết là phần công việc đã có; được xem là hoàn thành khi hành vi và tài liệu thống nhất về việc có chấp nhận các token tùy ý hay không.