From 6f6d26380424d95ffb982b4f9944cb30474f3131 Mon Sep 17 00:00:00 2001
From: Amaltas <amaltas@amaltas.org>
Date: Wed, 20 Feb 2019 12:04:02 -0800
Subject: [PATCH] Validator rollup (#20961)

 - cl/234811475 Revision bump for #20913
 - cl/234805704 Revision bump for #20911
 - cl/234655757 allow render_only_if_payment_method_present for amp-payment-google-button
 - cl/234162273 Update comment regarding id/name attribute lists
 - cl/234053286 Update tagspecs using attribute `name` to include blacklist
 - cl/234038899 Update tagspecs using attribute `id` to include blacklist
 - cl/234023532 Revision bump for #20772
---
 .../validator-amp-ad-exit.protoascii          |   5 +-
 .../validator-amp-app-banner.protoascii       |   5 +-
 .../amp-bind/validator-amp-bind.protoascii    |  20 +-
 .../validator-amp-inputmask.protoascii        |  12 +-
 .../validator-amp-live-list.protoascii        |  10 +-
 ...tor-actions-amp-payment-google-button.html |   9 +
 ...ator-actions-amp-payment-google-button.out |  11 +-
 ...dator-amp-payment-google-button.protoascii |   7 +-
 ...amp-payment-google-inline-async.protoascii |   7 +-
 ...dator-amp-payment-google-inline.protoascii |   2 +-
 .../validator-amp-recaptcha-input.protoascii  |   5 +-
 .../validator-amp-selector.protoascii         |   2 +-
 .../amp-story/validator-amp-story.protoascii  |  10 +-
 validator/engine/validator_test.js            |  13 +
 validator/validator-main.protoascii           | 549 +++++++++++++-----
 15 files changed, 465 insertions(+), 202 deletions(-)

diff --git a/extensions/amp-ad-exit/validator-amp-ad-exit.protoascii b/extensions/amp-ad-exit/validator-amp-ad-exit.protoascii
index 2b9552d595af..b6276e307320 100644
--- a/extensions/amp-ad-exit/validator-amp-ad-exit.protoascii
+++ b/extensions/amp-ad-exit/validator-amp-ad-exit.protoascii
@@ -29,11 +29,8 @@ tags: {  # <amp-ad-exit>
   tag_name: "AMP-AD-EXIT"
   requires_extension: "amp-ad-exit"
   requires: "amp-ad-exit configuration JSON"
-  attrs: {
-    name: "id"
-    mandatory: true
-  }
   attr_lists: "extended-amp-global"
+  attr_lists: "mandatory-id-attr"
   child_tags: {
     mandatory_num_child_tags: 1
     child_tag_name_oneof: "SCRIPT"
diff --git a/extensions/amp-app-banner/validator-amp-app-banner.protoascii b/extensions/amp-app-banner/validator-amp-app-banner.protoascii
index 3c3f4f989798..419616e6d206 100644
--- a/extensions/amp-app-banner/validator-amp-app-banner.protoascii
+++ b/extensions/amp-app-banner/validator-amp-app-banner.protoascii
@@ -34,11 +34,8 @@ tags: {  # <amp-app-banner>
   # validator-main.protoascii and in turn has an "AMP-APP-BANNER"
   # mandatory_parent.
   requires: "amp-app-banner button[open-button]"
-  attrs: {
-    name: "id"
-    mandatory: true
-  }
   attr_lists: "extended-amp-global"
+  attr_lists: "mandatory-id-attr"
   unique: true
   spec_url: "https://www.ampproject.org/docs/reference/components/amp-app-banner"
   amp_layout: {
diff --git a/extensions/amp-bind/validator-amp-bind.protoascii b/extensions/amp-bind/validator-amp-bind.protoascii
index df4377842509..becba8f404f3 100644
--- a/extensions/amp-bind/validator-amp-bind.protoascii
+++ b/extensions/amp-bind/validator-amp-bind.protoascii
@@ -67,10 +67,6 @@ tags: {  # <amp-state>
   attrs: {
     name: "credentials"
   }
-  attrs: {
-    name: "id"
-    mandatory: true
-  }
   attrs: {
     name: "overridable"
   }
@@ -82,6 +78,7 @@ tags: {  # <amp-state>
     }
     blacklisted_value_regex: "__amp_source_origin"
   }
+  attr_lists: "mandatory-id-attr"
   # <amp-bind>
   attrs: { name: "[src]" }
   child_tags: {
@@ -101,11 +98,8 @@ tags: {  # <amp-state>
   disallowed_ancestor: "AMP-LIST"
   disallowed_ancestor: "AMP-STATE"
   disallowed_ancestor: "TEMPLATE"
+  attr_lists: "mandatory-id-attr"
   attr_lists: "optional-src-amp4email"
-  attrs: {
-    name: "id"
-    mandatory: true
-  }
   child_tags: {
     first_child_tag_name_oneof: "SCRIPT"
   }
@@ -124,10 +118,6 @@ tags: { # <amp-state>
     name: "cross-origin"
     value: "amp-viewer-auth-token-via-post"
   }
-  attrs: {
-    name: "id"
-    mandatory: true
-  }
   attrs: {
     name: "overridable"
   }
@@ -139,6 +129,7 @@ tags: { # <amp-state>
     }
     blacklisted_value_regex: "__amp_source_origin"
   }
+  attr_lists: "mandatory-id-attr"
   # <amp-bind>
   attrs: { name: "[src]" }
   child_tags: {
@@ -158,9 +149,6 @@ tags: {  # <amp-bind-macro>
     name: "expression"
     mandatory: true
   }
-  attrs: {
-    name: "id"
-    mandatory: true
-  }
+  attr_lists: "mandatory-id-attr"
   spec_url: "https://www.ampproject.org/docs/reference/components/amp-bind"
 }
diff --git a/extensions/amp-inputmask/validator-amp-inputmask.protoascii b/extensions/amp-inputmask/validator-amp-inputmask.protoascii
index a1b30a5be636..225a4cef1b8a 100644
--- a/extensions/amp-inputmask/validator-amp-inputmask.protoascii
+++ b/extensions/amp-inputmask/validator-amp-inputmask.protoascii
@@ -47,7 +47,7 @@ tags: {
   }
   attr_lists: "amp-inputmask-common-attr"
   attr_lists: "input-common-attr"
-  attr_lists: "input-name-attr"
+  attr_lists: "name-attr"
   attrs: { name: "[type]" }
   spec_url: "https://www.ampproject.org/docs/reference/components/amp-inputmask"
 }
@@ -65,7 +65,7 @@ tags: {
   }
   attr_lists: "amp-inputmask-common-attr"
   attr_lists: "input-common-attr"
-  attr_lists: "input-name-attr"
+  attr_lists: "name-attr"
   spec_url: "https://www.ampproject.org/docs/reference/components/amp-inputmask"
 }
 
@@ -82,7 +82,7 @@ tags: {
   }
   attr_lists: "amp-inputmask-common-attr"
   attr_lists: "input-common-attr"
-  attr_lists: "input-name-attr"
+  attr_lists: "name-attr"
   spec_url: "https://www.ampproject.org/docs/reference/components/amp-inputmask"
 }
 
@@ -99,7 +99,7 @@ tags: {
   }
   attr_lists: "amp-inputmask-common-attr"
   attr_lists: "input-common-attr"
-  attr_lists: "input-name-attr"
+  attr_lists: "name-attr"
   spec_url: "https://www.ampproject.org/docs/reference/components/amp-inputmask"
 }
 
@@ -116,7 +116,7 @@ tags: {
   }
   attr_lists: "amp-inputmask-common-attr"
   attr_lists: "input-common-attr"
-  attr_lists: "input-name-attr"
+  attr_lists: "name-attr"
   spec_url: "https://www.ampproject.org/docs/reference/components/amp-inputmask"
 }
 
@@ -133,7 +133,7 @@ tags: {
   }
   attr_lists: "amp-inputmask-common-attr"
   attr_lists: "input-common-attr"
-  attr_lists: "input-name-attr"
+  attr_lists: "name-attr"
   spec_url: "https://www.ampproject.org/docs/reference/components/amp-inputmask"
 }
 
diff --git a/extensions/amp-live-list/validator-amp-live-list.protoascii b/extensions/amp-live-list/validator-amp-live-list.protoascii
index 7db714e1df00..30e4951cf4e5 100644
--- a/extensions/amp-live-list/validator-amp-live-list.protoascii
+++ b/extensions/amp-live-list/validator-amp-live-list.protoascii
@@ -45,14 +45,11 @@ tags: {  # <amp-live-list>
     name: "disabled"
     value: ""
   }
-  attrs: {
-    name: "id"
-    mandatory: true
-  }
   attrs: {
     name: "sort"
     value: "ascending"
   }
+  attr_lists: "mandatory-id-attr"
   reference_points: {
     tag_spec_name: "AMP-LIVE-LIST [update]"
     mandatory: true
@@ -119,9 +116,6 @@ tags: {
   }
   attrs: { name: "data-tombstone" }
   attrs: { name: "data-update-time" }
-  attrs: {
-    name: "id"
-    mandatory: true
-  }
+  attr_lists: "mandatory-id-attr"
   spec_url: "https://www.ampproject.org/docs/reference/components/amp-live-list#items"
 }
diff --git a/extensions/amp-payment-google-button/0.1/test/validator-actions-amp-payment-google-button.html b/extensions/amp-payment-google-button/0.1/test/validator-actions-amp-payment-google-button.html
index d935d696a6a6..483722bf831f 100644
--- a/extensions/amp-payment-google-button/0.1/test/validator-actions-amp-payment-google-button.html
+++ b/extensions/amp-payment-google-button/0.1/test/validator-actions-amp-payment-google-button.html
@@ -79,6 +79,15 @@
     }
     </script>
   </amp-payment-google-button>
+  <!-- Valid: with render_only_if_payment_method_present -->
+  <amp-payment-google-button
+    render_only_if_payment_method_present="true">
+    <script type="application/json">
+      {
+        "config": "example"
+      }
+    </script>
+  </amp-payment-google-button>
   <!-- Invalid: missing mandatory child script tag -->
   <amp-payment-google-button></amp-payment-google-button>
 </body>
diff --git a/extensions/amp-payment-google-button/0.1/test/validator-actions-amp-payment-google-button.out b/extensions/amp-payment-google-button/0.1/test/validator-actions-amp-payment-google-button.out
index eb915711b21f..31ab9aba9bc2 100644
--- a/extensions/amp-payment-google-button/0.1/test/validator-actions-amp-payment-google-button.out
+++ b/extensions/amp-payment-google-button/0.1/test/validator-actions-amp-payment-google-button.out
@@ -80,9 +80,18 @@ FAIL
 |      }
 |      </script>
 |    </amp-payment-google-button>
+|    <!-- Valid: with render_only_if_payment_method_present -->
+|    <amp-payment-google-button
+|      render_only_if_payment_method_present="true">
+|      <script type="application/json">
+|        {
+|          "config": "example"
+|        }
+|      </script>
+|    </amp-payment-google-button>
 |    <!-- Invalid: missing mandatory child script tag -->
 |    <amp-payment-google-button></amp-payment-google-button>
 >>   ^~~~~~~~~
-amp-payment-google-button/0.1/test/validator-actions-amp-payment-google-button.html:83:2 Tag 'amp-payment-google-button' must have a minimum of 1 child tags - saw 0 child tags. (see https://www.ampproject.org/docs/reference/components/amp-payment-google-button) [GENERIC]
+amp-payment-google-button/0.1/test/validator-actions-amp-payment-google-button.html:92:2 Tag 'amp-payment-google-button' must have a minimum of 1 child tags - saw 0 child tags. (see https://www.ampproject.org/docs/reference/components/amp-payment-google-button) [GENERIC]
 |  </body>
 |  </html>
diff --git a/extensions/amp-payment-google-button/validator-amp-payment-google-button.protoascii b/extensions/amp-payment-google-button/validator-amp-payment-google-button.protoascii
index cb54efbfe49d..f089d98d1d56 100644
--- a/extensions/amp-payment-google-button/validator-amp-payment-google-button.protoascii
+++ b/extensions/amp-payment-google-button/validator-amp-payment-google-button.protoascii
@@ -29,7 +29,6 @@ tags: {  # <amp-payment-google-button> (json)
   spec_name: "amp-payment-google-button extension .json script"
   requires_extension: "amp-payment-google-button"
   mandatory_parent: "AMP-PAYMENT-GOOGLE-BUTTON"
-  attrs: { name: "name" }
   attrs: {
     disabled_by: "transformed"
     name: "nonce"
@@ -40,6 +39,7 @@ tags: {  # <amp-payment-google-button> (json)
     value_casei: "application/json"
     dispatch_key: NAME_VALUE_PARENT_DISPATCH
   }
+  attr_lists: "name-attr"
   cdata: {
     blacklisted_cdata_regex: {
       regex: "<!--"
@@ -56,6 +56,11 @@ tags: {  # <amp-payment-google-button>
     value_casei: "false"
     value_casei: "true"
   }
+  attrs: {
+    name: "render_only_if_payment_method_present"
+    value_casei: "false"
+    value_casei: "true"
+  }
   child_tags: {
     mandatory_min_num_child_tags: 1
     child_tag_name_oneof: "SCRIPT"
diff --git a/extensions/amp-payment-google-inline-async/validator-amp-payment-google-inline-async.protoascii b/extensions/amp-payment-google-inline-async/validator-amp-payment-google-inline-async.protoascii
index 4c6d51223c9f..e5c8ab8d2477 100644
--- a/extensions/amp-payment-google-inline-async/validator-amp-payment-google-inline-async.protoascii
+++ b/extensions/amp-payment-google-inline-async/validator-amp-payment-google-inline-async.protoascii
@@ -29,7 +29,6 @@ tags: {  # amp-payment-google-inline-async (json)
   spec_name: "amp-payment-google-inline-async extension .json script"
   requires_extension: "amp-payment-google-inline-async"
   mandatory_parent: "AMP-PAYMENT-GOOGLE-INLINE-ASYNC"
-  attrs: { name: "name" }
   attrs: {
     disabled_by: "transformed"
     name: "nonce"
@@ -40,6 +39,7 @@ tags: {  # amp-payment-google-inline-async (json)
     value_casei: "application/json"
     dispatch_key: NAME_VALUE_PARENT_DISPATCH
   }
+  attr_lists: "name-attr"
   cdata: {
     blacklisted_cdata_regex: {
       regex: "<!--"
@@ -57,10 +57,7 @@ tags: {  # <amp-payment-google-inline-async>
     value_casei: "false"
     value_casei: "true"
   }
-  attrs: {
-    name: "name"
-    mandatory: true
-  }
+  attr_lists: "mandatory-name-attr"
   child_tags: {
     mandatory_min_num_child_tags: 1
     child_tag_name_oneof: "SCRIPT"
diff --git a/extensions/amp-payment-google-inline/validator-amp-payment-google-inline.protoascii b/extensions/amp-payment-google-inline/validator-amp-payment-google-inline.protoascii
index a890bdbb1d30..288f90e9bc3a 100644
--- a/extensions/amp-payment-google-inline/validator-amp-payment-google-inline.protoascii
+++ b/extensions/amp-payment-google-inline/validator-amp-payment-google-inline.protoascii
@@ -29,7 +29,6 @@ tags: {  # <amp-payment-google-inline> (json)
   spec_name: "amp-payment-google-inline extension .json script"
   requires_extension: "amp-payment-google-inline"
   mandatory_parent: "AMP-PAYMENT-GOOGLE-INLINE"
-  attrs: { name: "name" }
   attrs: {
     disabled_by: "transformed"
     name: "nonce"
@@ -40,6 +39,7 @@ tags: {  # <amp-payment-google-inline> (json)
     value_casei: "application/json"
     dispatch_key: NAME_VALUE_PARENT_DISPATCH
   }
+  attr_lists: "name-attr"
   cdata: {
     blacklisted_cdata_regex: {
       regex: "<!--"
diff --git a/extensions/amp-recaptcha-input/validator-amp-recaptcha-input.protoascii b/extensions/amp-recaptcha-input/validator-amp-recaptcha-input.protoascii
index 967fb1f5bb06..20de8b4c3bbc 100644
--- a/extensions/amp-recaptcha-input/validator-amp-recaptcha-input.protoascii
+++ b/extensions/amp-recaptcha-input/validator-amp-recaptcha-input.protoascii
@@ -29,10 +29,6 @@ tags: {  # <amp-form> <amp-recaptcha-input>
   mandatory_ancestor: "FORM"
   requires_extension: "amp-form"
   requires_extension: "amp-recaptcha-input"
-  attrs: {
-    name: "name"
-    mandatory: true
-  }
   attrs: {
     name: "data-sitekey"
     mandatory: true
@@ -41,6 +37,7 @@ tags: {  # <amp-form> <amp-recaptcha-input>
     name: "data-action"
     mandatory: true
   }
+  attr_lists: "mandatory-name-attr"
   amp_layout: {
     supported_layouts: NODISPLAY
   }
diff --git a/extensions/amp-selector/validator-amp-selector.protoascii b/extensions/amp-selector/validator-amp-selector.protoascii
index 72306a9d88f3..2dc77afa464d 100644
--- a/extensions/amp-selector/validator-amp-selector.protoascii
+++ b/extensions/amp-selector/validator-amp-selector.protoascii
@@ -70,7 +70,7 @@ tags: {  # <amp-selector> for AMP (autoplay attribute allowed)
     tag_spec_name: "AMP-SELECTOR child"
   }
   attr_lists: "extended-amp-global"
-  attr_lists: "input-name-attr"
+  attr_lists: "name-attr"
   amp_layout {
     supported_layouts: FILL
     supported_layouts: FIXED
diff --git a/extensions/amp-story/validator-amp-story.protoascii b/extensions/amp-story/validator-amp-story.protoascii
index 56f853ac50f1..cf32386ad7c9 100644
--- a/extensions/amp-story/validator-amp-story.protoascii
+++ b/extensions/amp-story/validator-amp-story.protoascii
@@ -163,10 +163,7 @@ tags: {  # <amp-story-page>
       protocol: "https"
     }
   }
-  attrs: {
-    name: "id"
-    mandatory: true
-  }
+  attr_lists: "mandatory-id-attr"
   child_tags: {
     child_tag_name_oneof: "AMP-ANALYTICS"
     child_tag_name_oneof: "AMP-PIXEL"
@@ -421,10 +418,7 @@ tags: {  # <amp-story-consent>
   requires_extension: "amp-story"
   mandatory_parent: "AMP-CONSENT"
   requires: "amp-story-consent extension .json script"
-  attrs: {
-    name: "id"
-    mandatory: true
-  }
+  attr_lists: "mandatory-id-attr"
   child_tags: {
     mandatory_num_child_tags: 1
     child_tag_name_oneof: "SCRIPT"
diff --git a/validator/engine/validator_test.js b/validator/engine/validator_test.js
index f75be99228cc..249118377b5a 100644
--- a/validator/engine/validator_test.js
+++ b/validator/engine/validator_test.js
@@ -922,6 +922,19 @@ function attrRuleShouldMakeSense(attrSpec, tagSpec, rules) {
   it('attr_spec only has one value set', () => {
     expect(numValues).toBeLessThan(2);
   });
+  // `id` attribute must have blacklisted_value_regex set if no explicit values.
+  if ((attrSpec.name === 'id') && (numValues === 0)) {
+    it('"id" attribute must have blacklisted_value_regex set', () => {
+      expect(attrSpec.blacklistedValueRegex !== null).toBe(true);
+    });
+  }
+  // `name` attribute must have blacklisted_value_regex set if no explicit
+  // values.
+  if ((attrSpec.name === 'name') && (numValues === 0)) {
+    it('"name" attribute must have blacklisted_value_regex set', () => {
+      expect(attrSpec.blacklistedValueRegex !== null).toBe(true);
+    });
+  }
   // deprecation
   if ((attrSpec.deprecation !== null) || (attrSpec.deprecationUrl !== null)) {
     it('deprecation and deprecation_url must both be defined if one is defined',
diff --git a/validator/validator-main.protoascii b/validator/validator-main.protoascii
index e66967effca7..bc75562a8a34 100644
--- a/validator/validator-main.protoascii
+++ b/validator/validator-main.protoascii
@@ -26,7 +26,7 @@ min_validator_revision_required: 375
 # newer versions of the spec file. This is currently a Google internal
 # mechanism, validator.js does not use this facility. However, any
 # change to this file (validator-main.js) requires updating this revision id.
-spec_file_revision: 822
+spec_file_revision: 829
 
 styles_spec_url: "https://www.ampproject.org/docs/guides/author-develop/responsive/style_pages"
 script_spec_url: "https://www.ampproject.org/docs/reference/spec#html-tags"
@@ -1788,7 +1788,6 @@ tags: {
   }
   attrs: { name: "hreflang" }
   attrs: { name: "media" }
-  attrs: { name: "name" }  # Not valid html5 but commonly used and supported.
   attrs: { name: "referrerpolicy" }
   attrs: {
     name: "rel"
@@ -1836,6 +1835,7 @@ tags: {
     name: "type"
     value_casei: "text/html"
   }
+  attr_lists: "name-attr"
   # <amp-bind>
   attrs: { name: "[href]" }
   spec_url: "https://www.ampproject.org/docs/reference/spec#links"
@@ -1875,7 +1875,6 @@ tags: {
   attrs: { name: "hreflang" }
   # TODO(gregable): Specify the set of allowed media queries.
   attrs: { name: "media" }
-  attrs: { name: "name" }  # Not valid html5 but commonly used and supported.
   attrs: {
     name: "role"
     implicit: true
@@ -1892,6 +1891,7 @@ tags: {
     name: "type"
     value_casei: "text/html"
   }
+  attr_lists: "name-attr"
 }
 
 # 4.5.2 The em element
@@ -2225,7 +2225,6 @@ tags: {
     value: "1"
   }
   attrs: { name: "height" }
-  attrs: { name: "name" }
   attrs: { name: "referrerpolicy" }
   attrs: {
     name: "resizable"
@@ -2257,6 +2256,7 @@ tags: {
   attrs: {
     name: "width"
   }
+  attr_lists: "name-attr"
 }
 # 4.7.6 The video element
 # Only allowed in noscript tags. Otherwise use amp-video.
@@ -3923,7 +3923,6 @@ tags {  # <form method=GET ...>
     # it matches this tagspec.
     value_casei: "get"
   }
-  attrs: { name: "name" }
   attrs: { name: "novalidate" }
   attrs: {
     name: "target"
@@ -3938,6 +3937,7 @@ tags {  # <form method=GET ...>
     }
     blacklisted_value_regex: "__amp_source_origin"
   }
+  attr_lists: "name-attr"
 }
 tags {  # <form method=POST ...>
   html_format: AMP
@@ -3972,7 +3972,6 @@ tags {  # <form method=POST ...>
     value_casei: "post"
     dispatch_key: NAME_VALUE_DISPATCH
   }
-  attrs: { name: "name" }
   attrs: { name: "novalidate" }
   # The target attribute has no effect, and should not be in POST forms.
   # However, in the past it was required, so disallowing it would break many
@@ -3989,6 +3988,7 @@ tags {  # <form method=POST ...>
     }
     blacklisted_value_regex: "__amp_source_origin"
   }
+  attr_lists: "name-attr"
 }
 # ACTIONS <form method=POST ...> for POST identity token
 tags: {  # <form method=POST ...>
@@ -4032,7 +4032,6 @@ tags: {  # <form method=POST ...>
     value_casei: "post"
     dispatch_key: NAME_VALUE_DISPATCH
   }
-  attrs: { name: "name" }
   attrs: { name: "novalidate" }
   # The target attribute has no effect, and should not be in POST forms.
   # However, in the past it was required, so disallowing it would break many
@@ -4049,6 +4048,7 @@ tags: {  # <form method=POST ...>
     }
     blacklisted_value_regex: "__amp_source_origin"
   }
+  attr_lists: "name-attr"
 }
 # AMP4EMAIL allows action-xhr and disallows action attribute. It also disallows
 # the use of mustache templates in action-xhr. The only allowed
@@ -4084,8 +4084,8 @@ tags {  # <form method=GET ...>
     # it matches this tagspec.
     value_casei: "get"
   }
-  attrs: { name: "name" }
   attrs: { name: "novalidate" }
+  attr_lists: "name-attr"
 }
 tags {  # <form method=POST ...>
   html_format: AMP4EMAIL
@@ -4120,8 +4120,8 @@ tags {  # <form method=POST ...>
     value_casei: "post"
     dispatch_key: NAME_VALUE_DISPATCH
   }
-  attrs: { name: "name" }
   attrs: { name: "novalidate" }
+  attr_lists: "name-attr"
 }
 # Will add verify state template if requested by users
 tags {
@@ -4303,129 +4303,6 @@ attr_lists: {
   attrs: { name: "[value]" }
   attrs: { name: "[width]" }
 }
-attr_lists: {
-  name: "input-name-attr"
-  attrs: {
-    name: "name"
-    blacklisted_value_regex: "(^|\\s)("  # Values are space separated
-        "__amp_\\S*|"
-        "__count__|"
-        "__defineGetter__|"
-        "__defineSetter__|"
-        "__lookupGetter__|"
-        "__lookupSetter__|"
-        "__noSuchMethod__|"
-        "__parent__|"
-        "__proto__|"
-        "__AMP_\\S*|"
-        "\\$p|"
-        "\\$proxy|"
-        "acceptCharset|"
-        "addEventListener|"
-        "appendChild|"
-        "assignedSlot|"
-        "attachShadow|"
-        "baseURI|"
-        "checkValidity|"
-        "childElementCount|"
-        "childNodes|"
-        "classList|"
-        "className|"
-        "clientHeight|"
-        "clientLeft|"
-        "clientTop|"
-        "clientWidth|"
-        "compareDocumentPosition|"
-        "computedName|"
-        "computedRole|"
-        "contentEditable|"
-        "createShadowRoot|"
-        "enqueAction|"
-        "firstChild|"
-        "firstElementChild|"
-        "getAnimations|"
-        "getAttribute|"
-        "getAttributeNS|"
-        "getAttributeNode|"
-        "getAttributeNodeNS|"
-        "getBoundingClientRect|"
-        "getClientRects|"
-        "getDestinationInsertionPoints|"
-        "getElementsByClassName|"
-        "getElementsByTagName|"
-        "getElementsByTagNameNS|"
-        "getRootNode|"
-        "hasAttribute|"
-        "hasAttributeNS|"
-        "hasAttributes|"
-        "hasChildNodes|"
-        "hasPointerCapture|"
-        "innerHTML|"
-        "innerText|"
-        "inputMode|"
-        "insertAdjacentElement|"
-        "insertAdjacentHTML|"
-        "insertAdjacentText|"
-        "isContentEditable|"
-        "isDefaultNamespace|"
-        "isEqualNode|"
-        "isSameNode|"
-        "lastChild|"
-        "lastElementChild|"
-        "lookupNamespaceURI|"
-        "namespaceURI|"
-        "nextElementSibling|"
-        "nextSibling|"
-        "nodeName|"
-        "nodeType|"
-        "nodeValue|"
-        "offsetHeight|"
-        "offsetLeft|"
-        "offsetParent|"
-        "offsetTop|"
-        "offsetWidth|"
-        "outerHTML|"
-        "outerText|"
-        "ownerDocument|"
-        "parentElement|"
-        "parentNode|"
-        "previousElementSibling|"
-        "previousSibling|"
-        "querySelector|"
-        "querySelectorAll|"
-        "releasePointerCapture|"
-        "removeAttribute|"
-        "removeAttributeNS|"
-        "removeAttributeNode|"
-        "removeChild|"
-        "removeEventListener|"
-        "replaceChild|"
-        "reportValidity|"
-        "requestPointerLock|"
-        "scrollHeight|"
-        "scrollIntoView|"
-        "scrollIntoViewIfNeeded|"
-        "scrollLeft|"
-        "scrollWidth|"
-        "setAttribute|"
-        "setAttributeNS|"
-        "setAttributeNode|"
-        "setAttributeNodeNS|"
-        "setPointerCapture|"
-        "shadowRoot|"
-        "styleMap|"
-        "tabIndex|"
-        "tagName|"
-        "textContent|"
-        "toString|"
-        "valueOf|"
-        "(webkit|ms|moz|o)dropzone|"
-        "(webkit|moz|ms|o)MatchesSelector|"
-        "(webkit|moz|ms|o)RequestFullScreen|"
-        "(webkit|moz|ms|o)RequestFullscreen"
-        ")(\\s|$)"
-  }
-}
 # 4.10.4 The label element
 tags: {
   html_format: AMP
@@ -4457,7 +4334,7 @@ tags: {
         ")(\\s|$)"
   }
   attr_lists: "input-common-attr"
-  attr_lists: "input-name-attr"
+  attr_lists: "name-attr"
   # Note that this amp-bind attribute is not available for the AMP4Email format
   # thus we add this manually for the formats that should.
   attrs: { name: "[type]" }
@@ -4478,7 +4355,7 @@ tags: {
     dispatch_key: NAME_VALUE_DISPATCH
   }
   attr_lists: "input-common-attr"
-  attr_lists: "input-name-attr"
+  attr_lists: "name-attr"
   mandatory_ancestor: "FORM [method=POST]"
   spec_url: "https://www.ampproject.org/docs/reference/components/amp-form"
 }
@@ -4493,7 +4370,7 @@ tags: {
     dispatch_key: NAME_VALUE_DISPATCH
   }
   attr_lists: "input-common-attr"
-  attr_lists: "input-name-attr"
+  attr_lists: "name-attr"
   mandatory_ancestor: "FORM [method=POST]"
   spec_url: "https://www.ampproject.org/docs/reference/components/amp-form"
 }
@@ -4512,7 +4389,7 @@ tags: {
         ")(\\s|$)"
   }
   attr_lists: "input-common-attr"
-  attr_lists: "input-name-attr"
+  attr_lists: "name-attr"
   spec_url: "https://www.ampproject.org/docs/reference/components/amp-form"
 }
 # 4.10.6 The button element
@@ -4540,7 +4417,7 @@ tags: {
   attrs: { name: "[disabled]" }
   attrs: { name: "[type]" }
   attrs: { name: "[value]" }
-  attr_lists: "input-name-attr"
+  attr_lists: "name-attr"
 }
 # Button variant specifically supporting <amp-app-banner> tag with the
 # open-button attribute.
@@ -4565,7 +4442,7 @@ tags: {
   }
   attrs: { name: "type" }
   attrs: { name: "value" }
-  attr_lists: "input-name-attr"
+  attr_lists: "name-attr"
 }
 # 4.10.7 The select element
 tags: {
@@ -4589,7 +4466,7 @@ tags: {
   attrs: { name: "[multiple]" }
   attrs: { name: "[required]" }
   attrs: { name: "[size]" }
-  attr_lists: "input-name-attr"
+  attr_lists: "name-attr"
   spec_url: "https://www.ampproject.org/docs/reference/components/amp-form"
 }
 # 4.10.8 The datalist element
@@ -4682,7 +4559,7 @@ tags: {
   attrs: { name: "[selectionstart]" }
   attrs: { name: "[spellcheck]" }
   attrs: { name: "[wrap]" }
-  attr_lists: "input-name-attr"
+  attr_lists: "name-attr"
   spec_url: "https://www.ampproject.org/docs/reference/components/amp-form"
 }
 # 4.10.13 The output element
@@ -4694,7 +4571,7 @@ tags: {
   tag_name: "OUTPUT"
   attrs: { name: "for" }
   attrs: { name: "form" }
-  attr_lists: "input-name-attr"
+  attr_lists: "name-attr"
 }
 # 4.10.14 The progress element
 tags: {
@@ -4730,7 +4607,7 @@ tags: {
   attrs: { name: "disabled" }
   # <amp-bind>
   attrs: { name: "[disabled]" }
-  attr_lists: "input-name-attr"
+  attr_lists: "name-attr"
 }
 # 4.10.17 The legend element
 tags: {
@@ -5022,7 +4899,7 @@ tags: {
   html_format: AMP
   html_format: ACTIONS
   tag_name: "SLOT"
-  attrs: { name: "name" }
+  attr_lists: "name-attr"
 }
 
 # This tag is a preserved indicator for documents created in microsoft word.
@@ -5267,6 +5144,390 @@ attr_lists: {
   }
 }
 
+# Mandatory "id" attribute.
+attr_lists: {
+  name: "mandatory-id-attr"
+  attrs: {
+    name: "id"
+    mandatory: true
+    # When updating this blacklisted_value_regex, also update the entry for
+    # "id" in $GLOBAL_ATTRS.
+    blacklisted_value_regex: "(^|\\s)("  # Values are space separated
+        "__amp_\\S*|"
+        "__count__|"
+        "__defineGetter__|"
+        "__defineSetter__|"
+        "__lookupGetter__|"
+        "__lookupSetter__|"
+        "__noSuchMethod__|"
+        "__parent__|"
+        "__proto__|"
+        "__AMP_\\S*|"
+        "\\$p|"
+        "\\$proxy|"
+        "acceptCharset|"
+        "addEventListener|"
+        "appendChild|"
+        "assignedSlot|"
+        "attachShadow|"
+        "AMP|"
+        "baseURI|"
+        "checkValidity|"
+        "childElementCount|"
+        "childNodes|"
+        "classList|"
+        "className|"
+        "clientHeight|"
+        "clientLeft|"
+        "clientTop|"
+        "clientWidth|"
+        "compareDocumentPosition|"
+        "computedName|"
+        "computedRole|"
+        "contentEditable|"
+        "createShadowRoot|"
+        "enqueAction|"
+        "firstChild|"
+        "firstElementChild|"
+        "getAnimations|"
+        "getAttribute|"
+        "getAttributeNS|"
+        "getAttributeNode|"
+        "getAttributeNodeNS|"
+        "getBoundingClientRect|"
+        "getClientRects|"
+        "getDestinationInsertionPoints|"
+        "getElementsByClassName|"
+        "getElementsByTagName|"
+        "getElementsByTagNameNS|"
+        "getRootNode|"
+        "hasAttribute|"
+        "hasAttributeNS|"
+        "hasAttributes|"
+        "hasChildNodes|"
+        "hasPointerCapture|"
+        "i-amphtml-\\S*|"
+        "innerHTML|"
+        "innerText|"
+        "inputMode|"
+        "insertAdjacentElement|"
+        "insertAdjacentHTML|"
+        "insertAdjacentText|"
+        "isContentEditable|"
+        "isDefaultNamespace|"
+        "isEqualNode|"
+        "isSameNode|"
+        "lastChild|"
+        "lastElementChild|"
+        "lookupNamespaceURI|"
+        "namespaceURI|"
+        "nextElementSibling|"
+        "nextSibling|"
+        "nodeName|"
+        "nodeType|"
+        "nodeValue|"
+        "offsetHeight|"
+        "offsetLeft|"
+        "offsetParent|"
+        "offsetTop|"
+        "offsetWidth|"
+        "outerHTML|"
+        "outerText|"
+        "ownerDocument|"
+        "parentElement|"
+        "parentNode|"
+        "previousElementSibling|"
+        "previousSibling|"
+        "querySelector|"
+        "querySelectorAll|"
+        "releasePointerCapture|"
+        "removeAttribute|"
+        "removeAttributeNS|"
+        "removeAttributeNode|"
+        "removeChild|"
+        "removeEventListener|"
+        "replaceChild|"
+        "reportValidity|"
+        "requestPointerLock|"
+        "scrollHeight|"
+        "scrollIntoView|"
+        "scrollIntoViewIfNeeded|"
+        "scrollLeft|"
+        "scrollWidth|"
+        "setAttribute|"
+        "setAttributeNS|"
+        "setAttributeNode|"
+        "setAttributeNodeNS|"
+        "setPointerCapture|"
+        "shadowRoot|"
+        "styleMap|"
+        "tabIndex|"
+        "tagName|"
+        "textContent|"
+        "toString|"
+        "valueOf|"
+        "(webkit|ms|moz|o)dropzone|"
+        "(webkit|moz|ms|o)MatchesSelector|"
+        "(webkit|moz|ms|o)RequestFullScreen|"
+        "(webkit|moz|ms|o)RequestFullscreen"
+        ")(\\s|$)"
+  }
+}
+
+# Not mandatory "name" attribute.
+attr_lists: {
+  name: "name-attr"
+  attrs: {
+    name: "name"
+    # When updating this blacklisted_value_regex, also update for
+    # mandatory-name-attr.
+    blacklisted_value_regex: "(^|\\s)("  # Values are space separated
+        "__amp_\\S*|"
+        "__count__|"
+        "__defineGetter__|"
+        "__defineSetter__|"
+        "__lookupGetter__|"
+        "__lookupSetter__|"
+        "__noSuchMethod__|"
+        "__parent__|"
+        "__proto__|"
+        "__AMP_\\S*|"
+        "\\$p|"
+        "\\$proxy|"
+        "acceptCharset|"
+        "addEventListener|"
+        "appendChild|"
+        "assignedSlot|"
+        "attachShadow|"
+        "baseURI|"
+        "checkValidity|"
+        "childElementCount|"
+        "childNodes|"
+        "classList|"
+        "className|"
+        "clientHeight|"
+        "clientLeft|"
+        "clientTop|"
+        "clientWidth|"
+        "compareDocumentPosition|"
+        "computedName|"
+        "computedRole|"
+        "contentEditable|"
+        "createShadowRoot|"
+        "enqueAction|"
+        "firstChild|"
+        "firstElementChild|"
+        "getAnimations|"
+        "getAttribute|"
+        "getAttributeNS|"
+        "getAttributeNode|"
+        "getAttributeNodeNS|"
+        "getBoundingClientRect|"
+        "getClientRects|"
+        "getDestinationInsertionPoints|"
+        "getElementsByClassName|"
+        "getElementsByTagName|"
+        "getElementsByTagNameNS|"
+        "getRootNode|"
+        "hasAttribute|"
+        "hasAttributeNS|"
+        "hasAttributes|"
+        "hasChildNodes|"
+        "hasPointerCapture|"
+        "innerHTML|"
+        "innerText|"
+        "inputMode|"
+        "insertAdjacentElement|"
+        "insertAdjacentHTML|"
+        "insertAdjacentText|"
+        "isContentEditable|"
+        "isDefaultNamespace|"
+        "isEqualNode|"
+        "isSameNode|"
+        "lastChild|"
+        "lastElementChild|"
+        "lookupNamespaceURI|"
+        "namespaceURI|"
+        "nextElementSibling|"
+        "nextSibling|"
+        "nodeName|"
+        "nodeType|"
+        "nodeValue|"
+        "offsetHeight|"
+        "offsetLeft|"
+        "offsetParent|"
+        "offsetTop|"
+        "offsetWidth|"
+        "outerHTML|"
+        "outerText|"
+        "ownerDocument|"
+        "parentElement|"
+        "parentNode|"
+        "previousElementSibling|"
+        "previousSibling|"
+        "querySelector|"
+        "querySelectorAll|"
+        "releasePointerCapture|"
+        "removeAttribute|"
+        "removeAttributeNS|"
+        "removeAttributeNode|"
+        "removeChild|"
+        "removeEventListener|"
+        "replaceChild|"
+        "reportValidity|"
+        "requestPointerLock|"
+        "scrollHeight|"
+        "scrollIntoView|"
+        "scrollIntoViewIfNeeded|"
+        "scrollLeft|"
+        "scrollWidth|"
+        "setAttribute|"
+        "setAttributeNS|"
+        "setAttributeNode|"
+        "setAttributeNodeNS|"
+        "setPointerCapture|"
+        "shadowRoot|"
+        "styleMap|"
+        "tabIndex|"
+        "tagName|"
+        "textContent|"
+        "toString|"
+        "valueOf|"
+        "(webkit|ms|moz|o)dropzone|"
+        "(webkit|moz|ms|o)MatchesSelector|"
+        "(webkit|moz|ms|o)RequestFullScreen|"
+        "(webkit|moz|ms|o)RequestFullscreen"
+        ")(\\s|$)"
+  }
+}
+
+# Mandatory "name" attribute.
+attr_lists: {
+  name: "mandatory-name-attr"
+  attrs: {
+    name: "name"
+    mandatory: true
+    # When updating this blacklisted_value_regex, also update for name-attr.
+    blacklisted_value_regex: "(^|\\s)("  # Values are space separated
+        "__amp_\\S*|"
+        "__count__|"
+        "__defineGetter__|"
+        "__defineSetter__|"
+        "__lookupGetter__|"
+        "__lookupSetter__|"
+        "__noSuchMethod__|"
+        "__parent__|"
+        "__proto__|"
+        "__AMP_\\S*|"
+        "\\$p|"
+        "\\$proxy|"
+        "acceptCharset|"
+        "addEventListener|"
+        "appendChild|"
+        "assignedSlot|"
+        "attachShadow|"
+        "baseURI|"
+        "checkValidity|"
+        "childElementCount|"
+        "childNodes|"
+        "classList|"
+        "className|"
+        "clientHeight|"
+        "clientLeft|"
+        "clientTop|"
+        "clientWidth|"
+        "compareDocumentPosition|"
+        "computedName|"
+        "computedRole|"
+        "contentEditable|"
+        "createShadowRoot|"
+        "enqueAction|"
+        "firstChild|"
+        "firstElementChild|"
+        "getAnimations|"
+        "getAttribute|"
+        "getAttributeNS|"
+        "getAttributeNode|"
+        "getAttributeNodeNS|"
+        "getBoundingClientRect|"
+        "getClientRects|"
+        "getDestinationInsertionPoints|"
+        "getElementsByClassName|"
+        "getElementsByTagName|"
+        "getElementsByTagNameNS|"
+        "getRootNode|"
+        "hasAttribute|"
+        "hasAttributeNS|"
+        "hasAttributes|"
+        "hasChildNodes|"
+        "hasPointerCapture|"
+        "innerHTML|"
+        "innerText|"
+        "inputMode|"
+        "insertAdjacentElement|"
+        "insertAdjacentHTML|"
+        "insertAdjacentText|"
+        "isContentEditable|"
+        "isDefaultNamespace|"
+        "isEqualNode|"
+        "isSameNode|"
+        "lastChild|"
+        "lastElementChild|"
+        "lookupNamespaceURI|"
+        "namespaceURI|"
+        "nextElementSibling|"
+        "nextSibling|"
+        "nodeName|"
+        "nodeType|"
+        "nodeValue|"
+        "offsetHeight|"
+        "offsetLeft|"
+        "offsetParent|"
+        "offsetTop|"
+        "offsetWidth|"
+        "outerHTML|"
+        "outerText|"
+        "ownerDocument|"
+        "parentElement|"
+        "parentNode|"
+        "previousElementSibling|"
+        "previousSibling|"
+        "querySelector|"
+        "querySelectorAll|"
+        "releasePointerCapture|"
+        "removeAttribute|"
+        "removeAttributeNS|"
+        "removeAttributeNode|"
+        "removeChild|"
+        "removeEventListener|"
+        "replaceChild|"
+        "reportValidity|"
+        "requestPointerLock|"
+        "scrollHeight|"
+        "scrollIntoView|"
+        "scrollIntoViewIfNeeded|"
+        "scrollLeft|"
+        "scrollWidth|"
+        "setAttribute|"
+        "setAttributeNS|"
+        "setAttributeNode|"
+        "setAttributeNodeNS|"
+        "setPointerCapture|"
+        "shadowRoot|"
+        "styleMap|"
+        "tabIndex|"
+        "tagName|"
+        "textContent|"
+        "toString|"
+        "valueOf|"
+        "(webkit|ms|moz|o)dropzone|"
+        "(webkit|moz|ms|o)MatchesSelector|"
+        "(webkit|moz|ms|o)RequestFullScreen|"
+        "(webkit|moz|ms|o)RequestFullscreen"
+        ")(\\s|$)"
+  }
+}
+
 # Global attributes: These can be used in all tags.
 attr_lists: {
   name: "$GLOBAL_ATTRS"
@@ -5560,6 +5821,8 @@ attr_lists: {
   }
   attrs: {
     name: "id"
+    # When updating this blacklisted_value_regex, also update for
+    # mandatory-id-attr.
     blacklisted_value_regex: "(^|\\s)("  # Values are space separated
         "__amp_\\S*|"
         "__count__|"