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

Start by reproducing the shown format-string example and reading the linked format string syntax and identifier grammar documentation. Compare the documented field-name rules with the observed behavior, and consider the linked PRs as the existing work; done means the behavior and documentation agree on whether arbitrary tokens are accepted.