@@ -172,6 +172,20 @@ XMLParser Objects
    or ``None`` if  :meth:`SetBase` hasn't been called.
 
 
+.. method:: xmlparser.GetSpecifiedAttributeCount()
+
+   Return the index just past the attributes given in the start tag.
+   Attributes defaulted from the DTD follow the specified ones,
+   so attributes at lower indices in the list
+   passed to :attr:`StartElementHandler` were given in the start tag.
+   Each attribute takes two items in that list,
+   its name and its value.
+   Only meaningful inside a :attr:`StartElementHandler` call,
+   and only if :attr:`ordered_attributes` is true.
+
+   .. versionadded:: next
+
+
 .. method:: xmlparser.GetInputContext()
 
    Returns the input data that generated the current event as a string. The data is
 
@@ -261,23 +261,31 @@ rules apply:
   :attr:`~xml.dom.DocumentType.notations` are read-only and support only
   ``len()`` and subscription by a name.
 
-* :attr:`~xml.dom.Document.strictErrorChecking` and
-  :attr:`~xml.dom.Attr.specified` are always ``False``.
+* :attr:`~xml.dom.Document.strictErrorChecking` is always ``False``.
 
-* :meth:`~xml.dom.Element.removeAttribute` and
-  :meth:`~xml.dom.Element.removeAttributeNS` raise
-  :exc:`~xml.dom.NotFoundErr` if there is no matching attribute,
-  while the DOM specifies that this has no effect.
+  .. versionchanged:: next
+     Previously, :attr:`~xml.dom.Attr.specified` was always ``False``.
+
+* The constraints of the DOM are now enforced,
+  and the corresponding exceptions are raised.
+
+  .. versionchanged:: next
+     Previously, many invalid operations silently succeeded
+     and produced an invalid document,
+     but removing an absent attribute raised :exc:`~xml.dom.NotFoundErr`.
 
 The following interfaces have no implementation in :mod:`!xml.dom.minidom`:
 
 * :class:`DOMTimeStamp`
 
-* :class:`EntityReference`
-
-Most of these reflect information in the XML document that is not of general
+This reflects information in the XML document that is not of general
 utility to most DOM users.
 
+.. versionchanged:: next
+   :class:`~xml.dom.EntityReference` is now implemented.
+   Note that the parser expands entity references,
+   so they only occur in a document if created explicitly.
+
 .. rubric:: Footnotes
 
 .. [1] The encoding name included in the XML output should conform to
 
@@ -232,6 +232,8 @@ DOM Level 2 added the ability to create new :class:`Document` and
    *qualifiedName*, *publicId*, and *systemId* strings, representing the
    information contained in an XML document type declaration.
 
+   Raise :exc:`InvalidCharacterErr` if the name is not a valid XML name.
+
 
 .. _dom-node-objects:
 
@@ -457,6 +459,10 @@ for each node type are:
    children, returning *newChild*. If the node was already in
    the tree, it is removed first.
 
+   Raise :exc:`WrongDocumentErr` if *newChild* was created by another
+   document, and :exc:`HierarchyRequestErr` if it is this node itself or
+   its ancestor.
+
 
 .. method:: Node.insertBefore(newChild, refChild)
 
@@ -465,6 +471,10 @@ for each node type are:
    *newChild* is returned. If *refChild* is ``None``, it inserts *newChild* at the
    end of the children's list.
 
+   Raise :exc:`WrongDocumentErr` if *newChild* was created by another
+   document, and :exc:`HierarchyRequestErr` if it is this node itself or
+   its ancestor.
+
 
 .. method:: Node.removeChild(oldChild)
 
@@ -479,6 +489,10 @@ for each node type are:
    Replace an existing node with a new node. It must be the case that  *oldChild*
    is a child of this node; if not, :exc:`NotFoundErr` is raised.
 
+   Raise :exc:`WrongDocumentErr` if *newChild* was created by another
+   document, and :exc:`HierarchyRequestErr` if it is this node itself or
+   its ancestor.
+
 
 .. method:: Node.normalize()
 
@@ -665,6 +679,8 @@ inherits properties from :class:`Node`.
    document when it is created.  You need to explicitly insert it with one of the
    other methods such as :meth:`~Node.insertBefore` or :meth:`~Node.appendChild`.
 
+   Raise :exc:`InvalidCharacterErr` if the name is not a valid XML name.
+
 
 .. method:: Document.createElementNS(namespaceURI, tagName)
 
@@ -673,6 +689,8 @@ inherits properties from :class:`Node`.
    need to explicitly insert it with one of the other methods such as
    :meth:`~Node.insertBefore` or :meth:`~Node.appendChild`.
 
+   Raise :exc:`InvalidCharacterErr` if the name is not a valid XML name.
+
 
 .. method:: Document.createTextNode(data)
 
@@ -681,6 +699,16 @@ inherits properties from :class:`Node`.
    tree.
 
 
+.. method:: Document.createEntityReference(name)
+
+   Create and return a new entity reference node.
+   The node is not inserted into the document when it is created.
+
+   Raise :exc:`InvalidCharacterErr` if the name is not a valid XML name.
+
+   .. versionadded:: next
+
+
 .. method:: Document.createComment(data)
 
    Create and return a comment node containing the data passed as a parameter.  As
@@ -694,6 +722,8 @@ inherits properties from :class:`Node`.
    *data* passed as parameters.  As with the other creation methods, this one does
    not insert the node into the tree.
 
+   Raise :exc:`InvalidCharacterErr` if the name is not a valid XML name.
+
 
 .. method:: Document.createAttribute(name)
 
@@ -702,6 +732,8 @@ inherits properties from :class:`Node`.
    :meth:`~Element.setAttributeNode` on the appropriate :class:`Element` object
    to use the newly created attribute instance.
 
+   Raise :exc:`InvalidCharacterErr` if the name is not a valid XML name.
+
 
 .. method:: Document.createAttributeNS(namespaceURI, qualifiedName)
 
@@ -710,6 +742,8 @@ inherits properties from :class:`Node`.
    element.  You must use :meth:`~Element.setAttributeNode` on the appropriate
    :class:`Element` object to use the newly created attribute instance.
 
+   Raise :exc:`InvalidCharacterErr` if the name is not a valid XML name.
+
 
 .. method:: Document.getElementById(id)
 
@@ -844,6 +878,8 @@ of that class.
 
    Set an attribute value from a string.
 
+   Raise :exc:`InvalidCharacterErr` if the name is not a valid XML name.
+
 
 .. method:: Element.setAttributeNode(newAttr)
 
@@ -852,6 +888,8 @@ of that class.
    occurs, the old attribute node will be returned.  If *newAttr* is already in use,
    :exc:`InuseAttributeErr` will be raised.
 
+   Raise :exc:`WrongDocumentErr` if *newAttr* was created by another document.
+
 
 .. method:: Element.setAttributeNodeNS(newAttr)
 
@@ -861,12 +899,16 @@ of that class.
    returned.  If *newAttr* is already in use, :exc:`InuseAttributeErr` will be
    raised.
 
+   Raise :exc:`WrongDocumentErr` if *newAttr* was created by another document.
+
 
 .. method:: Element.setAttributeNS(namespaceURI, qname, value)
 
    Set an attribute value from a string, given a *namespaceURI* and a *qname*.
    Note that a qname is the whole attribute name.  This is different than above.
 
+   Raise :exc:`InvalidCharacterErr` if the name is not a valid XML name.
+
 
 .. _dom-attr-objects:
 
@@ -972,13 +1014,19 @@ NamedNodeMap Objects
    Add *node* to the map, using its :attr:`~Attr.name` as the key.
    Return the node which it replaces, or ``None`` if it replaces no node.
 
+   Raise :exc:`WrongDocumentErr` if *node* was created by another document,
+   and :exc:`InuseAttributeErr` if it belongs to another element.
+
 
 .. method:: NamedNodeMap.setNamedItemNS(node)
 
    Add *node* to the map,
    using its namespace URI and local name as the key.
    Return the node which it replaces, or ``None`` if it replaces no node.
 
+   Raise :exc:`WrongDocumentErr` if *node* was created by another document,
+   and :exc:`InuseAttributeErr` if it belongs to another element.
+
 
 .. method:: NamedNodeMap.removeNamedItem(name)
 
@@ -1224,6 +1272,23 @@ The name of the notation is its :attr:`~Node.nodeName`.
    The system identifier of the notation,
    or ``None`` if it is not specified.
    This is a read-only attribute.
+.. _dom-entityreference-objects:
+
+EntityReference Objects
+^^^^^^^^^^^^^^^^^^^^^^^
+
+.. class:: EntityReference
+   :no-typesetting:
+
+:class:`EntityReference` represents an entity reference in the XML document.
+It is a subclass of :class:`Node`.
+The name of the referenced entity is its :attr:`~Node.nodeName`.
+Its children are the replacement text of the entity, and are read-only.
+
+Parsers may expand entity references,
+so such a node only occurs in a document if it was created explicitly.
+
+.. versionadded:: next
 
 
 .. _dom-exceptions:
 
@@ -630,6 +630,24 @@ xml
   instead of failing later, when encountering non-ASCII data.
   (Contributed by Serhiy Storchaka in :gh:`62259`.)
 
+* :mod:`xml.dom.minidom` now conforms closer to the DOM Level 1 specification.
+  It checks names passed to the factory methods,
+  rejects inserting or setting a node created by another document
+  or making a node a descendant of itself,
+  rejects a second element or document type child of a document
+  and a notation child of a document fragment,
+  reports attributes defaulted in the DTD
+  and whether an attribute was given in the start tag,
+  and implements :class:`!EntityReference` nodes
+  and :meth:`!Document.createEntityReference`.
+  (Contributed by Jason Orendorff and Serhiy Storchaka in :gh:`44871`.)
+
+* Add :meth:`!GetSpecifiedAttributeCount` method
+  to the :mod:`XML parser <xml.parsers.expat>` objects.
+  It tells how many of the reported attributes were given in the start tag
+  rather than defaulted from the DTD.
+  (Contributed by Jason Orendorff and Serhiy Storchaka in :gh:`44871`.)
+
 zipfile
 -------
 
@@ -845,6 +863,24 @@ that may require changes to your code.
   :exc:`TypeError`.
   (Contributed by Serhiy Storchaka in :gh:`152587`.)
 
+* :mod:`xml.dom.minidom` now raises :exc:`~xml.dom.InvalidCharacterErr`
+  for a name which is not a valid XML name,
+  :exc:`~xml.dom.WrongDocumentErr`
+  for inserting or setting a node created by another document,
+  :exc:`~xml.dom.InuseAttributeErr` for setting an attribute node
+  which belongs to another element,
+  and :exc:`~xml.dom.HierarchyRequestErr` for inserting a node into itself
+  or its descendant.
+  It also rejects a second element or document type child of a document
+  and a notation child of a document fragment.
+  Such operations formerly succeeded
+  and produced an invalid document or an endless loop.
+  On the other hand, :meth:`!Element.removeAttribute` and
+  :meth:`!Element.removeAttributeNS` no longer raise
+  :exc:`~xml.dom.NotFoundErr` if there is no matching attribute.
+  Attributes defaulted in the DTD are no longer omitted when parsing.
+  (Contributed by Jason Orendorff and Serhiy Storchaka in :gh:`44871`.)
+
 * On Windows, seeking a pipe now fails instead of silently appearing to
   succeed: :func:`os.lseek` and :meth:`~io.IOBase.seek` raise :exc:`OSError`,
   and :meth:`~io.IOBase.seekable` returns ``False``.  As a consequence,