[Python-Dev] attributes of Python code objects

[Xavier de Gaye]

In PR 218 [1], INADA Naoki wrote:
 > I think attributes of Python's code object is implementation detail, even
 > though PyPy follows.
 > But it's not big problem until there are some Python implementation
 > having different code implementation.

Python's code object attributes are described in the Data Model [2] section of
the documentation.  1) Is this description normative (to be followed by all the
implementations of the Python language)?  2) Is the description of co_lnotab
in [3] normative ?

Xavier

[1] https://github.com/python/cpython/pull/218
[2] https://docs.python.org/3/reference/datamodel.html
[3] https://github.com/python/cpython/blob/master/Objects/lnotab_notes.txt