Is there anything in Python akin to Java’s JLS or C#’s spec?
There’s no specification per se. The closest thing is the Python Language Reference, which details the syntax and semantics of the language.
You can check out the Python Reference
No, python is defined by its implementation.