From a9f6a4bea81583229d084cbedf7975301e350e8e Mon Sep 17 00:00:00 2001
From: Daniel <30862698+otherdaniel@users.noreply.github.com>
Date: Fri, 7 Oct 2022 13:44:55 +0200
Subject: [PATCH] Add builtin-lists/, which contains text files with
 known/baseline/default (#178)

elements and attributes, as well as a script to assemble them.

[This is still experimental.]
---
 builtin-lists/README.md                      |   4 +
 builtin-lists/attributes-html-baseline.txt   |  99 ++++++
 builtin-lists/attributes-html-default.txt    | 211 ++++++++++++
 builtin-lists/attributes-html-known.txt      | 342 +++++++++++++++++++
 builtin-lists/attributes-mathml-baseline.txt |  28 ++
 builtin-lists/attributes-mathml-default.txt  |   0
 builtin-lists/attributes-mathml-known.txt    |  26 ++
 builtin-lists/attributes-svg-baseline.txt    | 154 +++++++++
 builtin-lists/attributes-svg-default.txt     |   0
 builtin-lists/attributes-svg-known.txt       | 205 +++++++++++
 builtin-lists/attributes-xlink-known.txt     |   8 +
 builtin-lists/attributes-xml-known.txt       |   4 +
 builtin-lists/attributes-xmlns-known.txt     |   3 +
 builtin-lists/build.py                       |  74 ++++
 builtin-lists/defaults-stub.json             |   4 +
 builtin-lists/elements-html-baseline.txt     | 121 +++++++
 builtin-lists/elements-html-default.txt      | 118 +++++++
 builtin-lists/elements-html-known.txt        | 142 ++++++++
 builtin-lists/elements-mathml-baseline.txt   |  30 ++
 builtin-lists/elements-mathml-default.txt    |   0
 builtin-lists/elements-mathml-known.txt      |  34 ++
 builtin-lists/elements-svg-baseline.txt      |  60 ++++
 builtin-lists/elements-svg-default.txt       |   0
 builtin-lists/elements-svg-known.txt         |  65 ++++
 builtin-lists/sort.sh                        |   9 +
 resources/defaults-derivation.html           | 148 --------
 26 files changed, 1741 insertions(+), 148 deletions(-)
 create mode 100644 builtin-lists/README.md
 create mode 100644 builtin-lists/attributes-html-baseline.txt
 create mode 100644 builtin-lists/attributes-html-default.txt
 create mode 100644 builtin-lists/attributes-html-known.txt
 create mode 100644 builtin-lists/attributes-mathml-baseline.txt
 create mode 100644 builtin-lists/attributes-mathml-default.txt
 create mode 100644 builtin-lists/attributes-mathml-known.txt
 create mode 100644 builtin-lists/attributes-svg-baseline.txt
 create mode 100644 builtin-lists/attributes-svg-default.txt
 create mode 100644 builtin-lists/attributes-svg-known.txt
 create mode 100644 builtin-lists/attributes-xlink-known.txt
 create mode 100644 builtin-lists/attributes-xml-known.txt
 create mode 100644 builtin-lists/attributes-xmlns-known.txt
 create mode 100644 builtin-lists/build.py
 create mode 100644 builtin-lists/defaults-stub.json
 create mode 100644 builtin-lists/elements-html-baseline.txt
 create mode 100644 builtin-lists/elements-html-default.txt
 create mode 100644 builtin-lists/elements-html-known.txt
 create mode 100644 builtin-lists/elements-mathml-baseline.txt
 create mode 100644 builtin-lists/elements-mathml-default.txt
 create mode 100644 builtin-lists/elements-mathml-known.txt
 create mode 100644 builtin-lists/elements-svg-baseline.txt
 create mode 100644 builtin-lists/elements-svg-default.txt
 create mode 100644 builtin-lists/elements-svg-known.txt
 create mode 100755 builtin-lists/sort.sh
 delete mode 100644 resources/defaults-derivation.html

diff --git a/builtin-lists/README.md b/builtin-lists/README.md
new file mode 100644
index 0000000..c6fd6a1
--- /dev/null
+++ b/builtin-lists/README.md
@@ -0,0 +1,4 @@
+# Sanitizer API: Built-in Lists
+
+This directory is experimental and non-normative. The intent is to build up the
+Sanitizer API's built-in lists and configurations.
diff --git a/builtin-lists/attributes-html-baseline.txt b/builtin-lists/attributes-html-baseline.txt
new file mode 100644
index 0000000..cde0d17
--- /dev/null
+++ b/builtin-lists/attributes-html-baseline.txt
@@ -0,0 +1,99 @@
+# namespace:
+abbr
+accept
+accept-charset
+accesskey
+action
+align
+alt
+aria* # NEEDS EXPANSION!
+autocapitalize
+autocomplete
+autoplay
+cellspacing
+checked
+cite
+class
+clear
+color
+color
+colspan
+controls
+controlslist
+coords
+crossorigin
+datetime
+default
+dir
+disable
+download
+draggable
+enctype
+face
+for
+headers
+height
+hidden
+high
+href
+hreflang
+id
+inputmode
+integrity
+ismap
+kind
+label
+lang
+list
+loading
+loop
+low
+max
+maxlength
+media
+method
+min
+minlength
+multiple
+muted
+name
+noshade
+novalidate
+nowrap
+open
+optimum
+pattern
+placeholder
+poster
+preload
+pubdate
+radiogroup
+readonly
+rel
+required
+rev
+reversed
+role
+rows
+rowspan
+scope
+selected
+shape
+size
+sizes
+span
+spellcheck
+src
+srclang
+srcset
+start
+step
+style
+summary
+tabindex
+title
+translate
+type
+usemap
+value
+width
diff --git a/builtin-lists/attributes-html-default.txt b/builtin-lists/attributes-html-default.txt
new file mode 100644
index 0000000..4b9ad3b
--- /dev/null
+++ b/builtin-lists/attributes-html-default.txt
@@ -0,0 +1,211 @@
+# namespace:
+abbr
+accept
+accept-charset
+accesskey
+action
+align
+alink
+allow
+allowfullscreen
+alt
+anchor
+archive
+as
+async
+autocapitalize
+autocomplete
+autocorrect
+autofocus
+autopictureinpicture
+autoplay
+axis
+background
+behavior
+bgcolor
+border
+bordercolor
+capture
+cellpadding
+cellspacing
+challenge
+char
+charoff
+charset
+checked
+cite
+class
+classid
+clear
+code
+codebase
+codetype
+color
+cols
+colspan
+compact
+content
+contenteditable
+controls
+controlslist
+conversiondestination
+coords
+crossorigin
+csp
+data
+datetime
+declare
+decoding
+default
+defer
+dir
+direction
+dirname
+disabled
+disablepictureinpicture
+disableremoteplayback
+disallowdocumentaccess
+download
+draggable
+elementtiming
+enctype
+end
+enterkeyhint
+event
+exportparts
+face
+for
+form
+formaction
+formenctype
+formmethod
+formnovalidate
+formtarget
+frame
+frameborder
+headers
+height
+hidden
+high
+href
+hreflang
+hreftranslate
+hspace
+http-equiv
+id
+imagesizes
+imagesrcset
+importance
+impressiondata
+impressionexpiry
+incremental
+inert
+inputmode
+integrity
+invisible
+is
+ismap
+keytype
+kind
+label
+lang
+language
+latencyhint
+leftmargin
+link
+list
+loading
+longdesc
+loop
+low
+lowsrc
+manifest
+marginheight
+marginwidth
+max
+maxlength
+mayscript
+media
+method
+min
+minlength
+multiple
+muted
+name
+nohref
+nomodule
+nonce
+noresize
+noshade
+novalidate
+nowrap
+object
+open
+optimum
+part
+pattern
+ping
+placeholder
+playsinline
+policy
+poster
+preload
+pseudo
+readonly
+referrerpolicy
+rel
+reportingorigin
+required
+resources
+rev
+reversed
+role
+rows
+rowspan
+rules
+sandbox
+scheme
+scope
+scopes
+scrollamount
+scrolldelay
+scrolling
+select
+selected
+shadowroot
+shadowrootdelegatesfocus
+shape
+size
+sizes
+slot
+span
+spellcheck
+src
+srcdoc
+srclang
+srcset
+standby
+start
+step
+style
+summary
+tabindex
+target
+text
+title
+topmargin
+translate
+truespeed
+trusttoken
+type
+usemap
+valign
+value
+valuetype
+version
+virtualkeyboardpolicy
+vlink
+vspace
+webkitdirectory
+width
+wrap
diff --git a/builtin-lists/attributes-html-known.txt b/builtin-lists/attributes-html-known.txt
new file mode 100644
index 0000000..9378fa4
--- /dev/null
+++ b/builtin-lists/attributes-html-known.txt
@@ -0,0 +1,342 @@
+# namespace:
+abbr
+accept
+accept-charset
+accesskey
+action
+align
+alink
+allow
+allowfullscreen
+allowpaymentrequest
+alt
+anchor
+anonymous
+archive
+as
+async
+attributionsrc
+autocapitalize
+autocomplete
+autocorrect
+autofocus
+autopictureinpicture
+autoplay
+axis
+background
+behavior
+bgcolor
+blocking
+border
+bordercolor
+capture
+cellpadding
+cellspacing
+challenge
+char
+charoff
+charset
+checked
+cite
+class
+classid
+clear
+code
+codebase
+codetype
+color
+cols
+colspan
+compact
+content
+contenteditable
+controls
+controlslist
+coords
+crossorigin
+csp
+data
+datetime
+declare
+decoding
+default
+defaultopen
+defer
+delegatesfocus
+dir
+direction
+dirname
+disabled
+disablepictureinpicture
+disableremoteplayback
+download
+draggable
+elementtiming
+enctype
+end
+enterkeyhint
+event
+exportparts
+face
+fetchpriority
+focusgroup
+for
+form
+formaction
+formenctype
+formmethod
+formnovalidate
+formtarget
+frame
+frameborder
+headers
+height
+hidden
+high
+href
+hreflang
+hreftranslate
+hspace
+http-equiv
+id
+imagesizes
+imagesrcset
+incremental
+inert
+inputmode
+integrity
+invisible
+is
+ismap
+itemprop
+keytype
+kind
+label
+lang
+language
+latencyhint
+leftmargin
+link
+list
+loading
+longdesc
+loop
+low
+lowsrc
+manifest
+marginheight
+marginwidth
+max
+maxlength
+mayscript
+media
+method
+min
+minlength
+mode
+multiple
+muted
+name
+nohref
+nomodule
+nonce
+noresize
+noshade
+novalidate
+nowrap
+object
+onabort
+onafterprint
+onanimationend
+onanimationiteration
+onanimationstart
+onauxclick
+onbeforecopy
+onbeforecut
+onbeforeinput
+onbeforepaste
+onbeforeprint
+onbeforeunload
+onblur
+oncancel
+oncanplay
+oncanplaythrough
+onchange
+onclick
+onclose
+oncontentvisibilityautostatechanged
+oncontextlost
+oncontextmenu
+oncontextrestored
+oncopy
+oncuechange
+oncut
+ondblclick
+ondrag
+ondragend
+ondragenter
+ondragleave
+ondragover
+ondragstart
+ondrop
+ondurationchange
+onemptied
+onended
+onerror
+onfocus
+onfocusin
+onfocusout
+onformdata
+ongotpointercapture
+onhashchange
+oninput
+oninvalid
+onkeydown
+onkeypress
+onkeyup
+onlanguagechange
+onload
+onloadeddata
+onloadedmetadata
+onloadstart
+onlostpointercapture
+onmessage
+onmessageerror
+onmousedown
+onmouseenter
+onmouseleave
+onmousemove
+onmouseout
+onmouseover
+onmouseup
+onmousewheel
+onoffline
+ononline
+onorientationchange
+onoverscroll
+onpagehide
+onpageshow
+onpaste
+onpause
+onplay
+onplaying
+onpointercancel
+onpointerdown
+onpointerenter
+onpointerleave
+onpointermove
+onpointerout
+onpointerover
+onpointerrawupdate
+onpointerup
+onpopstate
+onportalactivate
+onprogress
+onratechange
+onreset
+onresize
+onscroll
+onscrollend
+onsearch
+onsecuritypolicyviolation
+onseeked
+onseeking
+onselect
+onselectionchange
+onselectstart
+onshow
+onslotchange
+onstalled
+onstorage
+onsubmit
+onsuspend
+ontimeupdate
+ontimezonechange
+ontoggle
+ontouchcancel
+ontouchend
+ontouchmove
+ontouchstart
+ontransitionend
+onunload
+onvolumechange
+onwaiting
+onwebkitanimationend
+onwebkitanimationiteration
+onwebkitanimationstart
+onwebkitfullscreenchange
+onwebkitfullscreenerror
+onwebkittransitionend
+onwheel
+open
+optimum
+part
+pattern
+ping
+placeholder
+playsinline
+policy
+popup
+popuphidetarget
+popuphovertarget
+popupshowtarget
+popuptoggletarget
+poster
+preload
+property
+pseudo
+readonly
+referrerpolicy
+rel
+required
+rev
+reversed
+role
+rows
+rowspan
+rules
+sandbox
+scheme
+scope
+scrollamount
+scrolldelay
+scrolling
+select
+selected
+shadowroot
+shadowrootdelegatesfocus
+shape
+size
+sizes
+slot
+span
+spellcheck
+src
+srcdoc
+srclang
+srcset
+standby
+start
+step
+style
+summary
+tabindex
+target
+text
+title
+topmargin
+translate
+truespeed
+trusttoken
+type
+usemap
+valign
+value
+valuetype
+version
+virtualkeyboardpolicy
+vlink
+vspace
+webkitdirectory
+width
+wrap
diff --git a/builtin-lists/attributes-mathml-baseline.txt b/builtin-lists/attributes-mathml-baseline.txt
new file mode 100644
index 0000000..b26bea9
--- /dev/null
+++ b/builtin-lists/attributes-mathml-baseline.txt
@@ -0,0 +1,28 @@
+# namespace:
+align
+columnlines
+columnspan
+depth
+display
+displaystyle
+fence
+frame
+height
+linethickness
+lspace
+mathbackground
+mathcolor
+mathvariant
+maxsize
+minsize
+rowalign
+rowlines
+rowspacing
+rowspan
+rspace
+scriptlevel
+selection
+separator
+stretchy
+width
+xmlns # wrong, I think
diff --git a/builtin-lists/attributes-mathml-default.txt b/builtin-lists/attributes-mathml-default.txt
new file mode 100644
index 0000000..e69de29
diff --git a/builtin-lists/attributes-mathml-known.txt b/builtin-lists/attributes-mathml-known.txt
new file mode 100644
index 0000000..e25474f
--- /dev/null
+++ b/builtin-lists/attributes-mathml-known.txt
@@ -0,0 +1,26 @@
+# namespace:
+accent
+accentunder
+definitionURL
+depth
+display
+displaystyle
+encoding
+form
+height
+largeop
+linethickness
+lspace
+mathbackground
+mathcolor
+mathsize
+mathvariant
+maxsize
+minsize
+movablelimits
+rspace
+scriptlevel
+stretchy
+symmetric
+voffset
+width
diff --git a/builtin-lists/attributes-svg-baseline.txt b/builtin-lists/attributes-svg-baseline.txt
new file mode 100644
index 0000000..27e9aee
--- /dev/null
+++ b/builtin-lists/attributes-svg-baseline.txt
@@ -0,0 +1,154 @@
+# namespace:
+accumulate
+additive
+alignment-baseline
+attributename
+attributetype
+azimuth
+basefrequency
+baseline-shift
+begin
+bias
+by
+class
+clip-path
+clippathunits
+clip-rule
+color
+cx
+cy
+d
+diffuseconstant
+direction
+display
+divisor
+dur
+dx
+dy
+edgemode
+elevation
+end
+fill
+fill-opacity
+fill-rule
+filter
+filterunits
+flood-color
+flood-opacity
+font-family
+font-size
+font-size-adjust
+font-stretch
+font-style
+font-variant
+font-weight
+fx
+fy
+gradientTransform
+gradientUnits
+height
+href
+id
+image-rendering
+in
+in2
+k1
+k2
+k3
+k4
+kernelmatrix
+kernelunitlength
+keypoints
+keysplines
+keyTimes
+lang
+letter-spacing
+lighting-color
+marker-end
+markerheight
+marker-mid
+marker-start
+markerunits
+markerwidth
+mask
+maskcontentunits
+maskunits
+max
+media
+method
+min
+mode
+name
+numoctaves
+offset
+opacity
+operator
+order
+orient
+orientation
+overflow
+path
+pathlength
+patterncontentunits
+patterntransform
+patternunits
+points
+preservealpha
+preserveaspectratio
+primitiveunits
+r
+radius
+refx
+refy
+repeatcount
+repeatdur
+restart
+result
+rotate
+rx
+ry
+scale
+seed
+shape-rendering
+specularconstant
+specularexponent
+spreadmethod
+startoffset
+stddeviation
+stitchtiles
+stop-color
+stop-opacity
+stroke
+stroke-dasharray
+stroke-dashoffset
+stroke-linecap
+stroke-linejoin
+stroke-miterlimit
+stroke-opacity
+stroke-width
+surfacescale
+systemlanguage
+targetx
+targety
+text-anchor
+text-decoration
+text-rendering
+transform
+transform-origin
+type
+values
+viewbox
+visibility
+width
+word-spacing
+writing-mode
+x
+x1
+x2
+xchannelselector
+y
+y1
+y2
+ychannelselector
+z
+zoomandpan
diff --git a/builtin-lists/attributes-svg-default.txt b/builtin-lists/attributes-svg-default.txt
new file mode 100644
index 0000000..e69de29
diff --git a/builtin-lists/attributes-svg-known.txt b/builtin-lists/attributes-svg-known.txt
new file mode 100644
index 0000000..3ff149b
--- /dev/null
+++ b/builtin-lists/attributes-svg-known.txt
@@ -0,0 +1,205 @@
+# namespace:
+accumulate
+additive
+alignment-baseline
+amplitude
+animate
+attributeName
+attributeType
+autofocus
+azimuth
+baseFrequency
+baseline-shift
+baseProfile
+begin
+bias
+buffered-rendering
+by
+calcMode
+clip
+clip-path
+clipPathUnits
+clip-rule
+color
+color-interpolation
+color-interpolation-filters
+color-rendering
+cursor
+cx
+cy
+d
+decoding
+diffuseConstant
+direction
+display
+divisor
+dominant-baseline
+dur
+dx
+dy
+edgeMode
+elevation
+end
+exponent
+fill
+fill-opacity
+fill-rule
+filter
+filterUnits
+flood-color
+flood-opacity
+focusgroup
+font-family
+font-size
+font-size-adjust
+font-stretch
+font-style
+font-variant
+font-weight
+format
+fr
+from
+fx
+fy
+g1
+g2
+glyphRef
+gradientTransform
+gradientUnits
+height
+href
+image-rendering
+in
+in2
+intercept
+k
+k1
+k2
+k3
+k4
+kernelMatrix
+kernelUnitLength
+keyPoints
+keySplines
+keyTimes
+lang
+lengthAdjust
+letter-spacing
+lighting-color
+limitingConeAngle
+local
+marker-end
+markerHeight
+marker-mid
+marker-start
+markerUnits
+markerWidth
+mask
+maskContentUnits
+mask-type
+maskUnits
+max
+media
+method
+min
+mode
+name
+numOctaves
+offset
+onactivate
+onbegin
+onend
+onfocusin
+onfocusout
+onrepeat
+opacity
+operator
+order
+orient
+origin
+overflow
+paint-order
+path
+pathLength
+patternContentUnits
+patternTransform
+patternUnits
+pointer-events
+points
+pointsAtX
+pointsAtY
+pointsAtZ
+preserveAlpha
+preserveAspectRatio
+primitiveUnits
+r
+radius
+refX
+refY
+repeatCount
+repeatDur
+requiredExtensions
+requiredFeatures
+restart
+result
+rotate
+rx
+ry
+scale
+seed
+shape-rendering
+slope
+spacing
+specularConstant
+specularExponent
+spreadMethod
+startOffset
+stdDeviation
+stitchTiles
+stop-color
+stop-opacity
+stroke
+stroke-dasharray
+stroke-dashoffset
+stroke-linecap
+stroke-linejoin
+stroke-miterlimit
+stroke-opacity
+stroke-width
+style
+surfaceScale
+systemLanguage
+tableValues
+target
+targetX
+targetY
+text-anchor
+text-decoration
+textLength
+text-rendering
+title
+to
+transform
+transform-origin
+type
+u1
+u2
+unicode-bidi
+values
+vector-effect
+version
+viewBox
+visibility
+width
+word-spacing
+writing-mode
+x
+x1
+x2
+xChannelSelector
+y
+y1
+y2
+yChannelSelector
+z
+zoomAndPan
diff --git a/builtin-lists/attributes-xlink-known.txt b/builtin-lists/attributes-xlink-known.txt
new file mode 100644
index 0000000..9320f57
--- /dev/null
+++ b/builtin-lists/attributes-xlink-known.txt
@@ -0,0 +1,8 @@
+# namespace: http://www.w3.org/1999/xlink
+actuate
+arcrole
+href
+role
+show
+title
+type
diff --git a/builtin-lists/attributes-xml-known.txt b/builtin-lists/attributes-xml-known.txt
new file mode 100644
index 0000000..9793d91
--- /dev/null
+++ b/builtin-lists/attributes-xml-known.txt
@@ -0,0 +1,4 @@
+# namespace: http://www.w3.org/XML/1998/namespace
+
+lang
+space
diff --git a/builtin-lists/attributes-xmlns-known.txt b/builtin-lists/attributes-xmlns-known.txt
new file mode 100644
index 0000000..a91353c
--- /dev/null
+++ b/builtin-lists/attributes-xmlns-known.txt
@@ -0,0 +1,3 @@
+# namespace: http://www.w3.org/2000/xmlns/
+xlink
+xmlns
diff --git a/builtin-lists/build.py b/builtin-lists/build.py
new file mode 100644
index 0000000..2fe763b
--- /dev/null
+++ b/builtin-lists/build.py
@@ -0,0 +1,74 @@
+import sys
+import json
+import textwrap
+
+class NameList:
+  def __init__(self, file):
+    self.namespace = None
+    self.names = []
+    for line in file:
+      if line.startswith("# namespace:"):
+        self.namespace = line[len(" namespace:") + 1:].strip()
+      elif not line or line.startswith("#"):
+        pass  # Drop empties and comments.
+      else:
+        self.names.append(line.strip())
+
+  def __iter__(self):
+    return self.names.__iter__()
+
+def load():
+  lists = dict()
+  for kind in ["attributes", "elements"]:
+    for spec in ["html", "svg", "mathml"]:
+      for what in ["known", "baseline", "default"]:
+        list_file = (kind, spec, what)
+        with open("%s-%s-%s.txt" % list_file, "r") as f:
+          lists["%s-%s-%s" % list_file] = NameList(f)
+  for spec in ["xlink", "xml", "xmlns"]:
+    list_file = ("attributes", spec, "known")
+    with open("%s-%s-%s.txt" % list_file, "r") as f:
+      lists["%s-%s-%s" % list_file] = NameList(f)
+  lists["default_stub"] = json.load(open("defaults-stub.json", "r"))
+  return lists
+
+def join_lists(*lists):
+  result = []
+  NAMESPACE_MAP = {
+      "": "", "http://www.w3.org/1999/xhtml": "",
+      "http://www.w3.org/2000/svg": "svg:", "http://www.w3.org/1998/Math/MathML": "mathml:",
+      "http://www.w3.org/1999/xlink": "xlink:", "http://www.w3.org/XML/1998/namespace": "xml:",
+      "http://www.w3.org/2000/xmlns/": "xmlns",
+  }
+  for l in lists:
+    for name in l:
+      result.append(NAMESPACE_MAP[l.namespace] + name)
+  return sorted(result)
+
+def write_lists(filename, *lists):
+  with open(filename, "w") as out:
+    out.write(textwrap.fill(", ".join(join_lists(*lists))))
+
+def main(argv):
+  lists = load()
+
+  defaults = lists["default_stub"].copy()
+  defaults["allowElements"] = lists["elements-html-default"]
+  defaults["allowAttributes"] = dict([(attr, ["*"]) for attr in lists["attributes-html-default"]])
+
+  with open("../out/default-configuration.json", "w") as config_out:
+    json.dump(defaults, config_out, indent=True, sort_keys=True,
+              ensure_ascii=True, default=lambda obj: obj.names)
+
+  write_lists("../out/baseline-element-allow-list.txt",
+    lists["elements-html-baseline"], lists["elements-svg-baseline"], lists["elements-mathml-baseline"])
+  write_lists("../out/baseline-attribute-allow-list.txt",
+    lists["attributes-html-baseline"], lists["attributes-svg-baseline"], lists["attributes-mathml-baseline"])
+
+#  write_lists("../out/known-elements-list.txt",
+#    lists["elements-html-known"], lists["elements-svg-known"], lists["elements-mathml-known"])
+#  write_lists("../out/default-element-allow-list.txt",
+#    lists["elements-html-default"], lists["elements-svg-default"], lists["elements-mathml-default"])
+
+if __name__ == '__main__':
+  main(sys.argv)
diff --git a/builtin-lists/defaults-stub.json b/builtin-lists/defaults-stub.json
new file mode 100644
index 0000000..3c4f5fe
--- /dev/null
+++ b/builtin-lists/defaults-stub.json
@@ -0,0 +1,4 @@
+{
+  "allowCustomElements": false,
+  "allowUnknownMarkup": false
+}
diff --git a/builtin-lists/elements-html-baseline.txt b/builtin-lists/elements-html-baseline.txt
new file mode 100644
index 0000000..698da3f
--- /dev/null
+++ b/builtin-lists/elements-html-baseline.txt
@@ -0,0 +1,121 @@
+# namespace: http://www.w3.org/1999/xhtml
+a
+abbr
+acronym
+address
+area
+article
+aside
+audio
+b
+bdi
+bdo
+big
+blink
+blockquote
+body
+br
+button
+canvas
+caption
+center
+cite
+code
+col
+colgroup
+content
+data
+datalist
+dd
+decorator
+del
+details
+dfn
+dialog
+dir
+div
+dl
+dt
+element
+em
+fieldset
+figcaption
+figure
+font
+footer
+form
+h1
+h2
+h3
+h4
+h5
+h6
+head
+header
+hgroup
+hr
+html
+i
+img
+input
+ins
+kbd
+label
+legend
+li
+link
+listing
+main
+map
+mark
+marquee
+menu
+menuitem
+meter
+nav
+nobr
+noscript
+ol
+optgroup
+option
+output
+p
+picture
+pre
+progress
+q
+rp
+rt
+ruby
+s
+samp
+section
+select
+small
+source
+spacer
+span
+strike
+strong
+style
+sub
+summary
+sup
+table
+tbody
+td
+template
+textarea
+tfoot
+th
+thead
+time
+title
+tr
+track
+tt
+u
+ul
+var
+video
+wbr
diff --git a/builtin-lists/elements-html-default.txt b/builtin-lists/elements-html-default.txt
new file mode 100644
index 0000000..7f7fe56
--- /dev/null
+++ b/builtin-lists/elements-html-default.txt
@@ -0,0 +1,118 @@
+# namespace: http://www.w3.org/1999/xhtml
+a
+abbr
+acronym
+address
+area
+article
+aside
+audio
+b
+bdi
+bdo
+bgsound
+big
+blockquote
+body
+br
+button
+canvas
+caption
+center
+cite
+code
+col
+colgroup
+datalist
+dd
+del
+details
+dfn
+dialog
+dir
+div
+dl
+dt
+em
+fieldset
+figcaption
+figure
+font
+footer
+form
+h1
+h2
+h3
+h4
+h5
+h6
+head
+header
+hgroup
+hr
+html
+i
+img
+input
+ins
+kbd
+keygen
+label
+layer
+legend
+li
+link
+listing
+main
+map
+mark
+marquee
+menu
+meta
+meter
+nav
+nobr
+ol
+optgroup
+option
+output
+p
+picture
+popup
+pre
+progress
+q
+rb
+rp
+rt
+rtc
+ruby
+s
+samp
+section
+select
+selectmenu
+small
+source
+span
+strike
+strong
+style
+sub
+summary
+sup
+table
+tbody
+td
+tfoot
+th
+thead
+time
+tr
+track
+tt
+u
+ul
+var
+video
+wbr
diff --git a/builtin-lists/elements-html-known.txt b/builtin-lists/elements-html-known.txt
new file mode 100644
index 0000000..2a58b7d
--- /dev/null
+++ b/builtin-lists/elements-html-known.txt
@@ -0,0 +1,142 @@
+# namespace: http://www.w3.org/1999/xhtml
+a
+abbr
+acronym
+address
+applet
+area
+article
+aside
+audio
+b
+base
+basefont
+bdi
+bdo
+bgsound
+big
+blockquote
+body
+br
+button
+canvas
+caption
+center
+cite
+code
+col
+colgroup
+command
+data
+datalist
+dd
+del
+details
+dfn
+dialog
+dir
+div
+dl
+dt
+em
+embed
+fencedframe
+fieldset
+figcaption
+figure
+font
+footer
+form
+frame
+frameset
+h1
+h2
+h3
+h4
+h5
+h6
+head
+header
+hgroup
+hr
+html
+i
+iframe
+image
+img
+input
+ins
+kbd
+keygen
+label
+layer
+legend
+li
+link
+listing
+main
+map
+mark
+marquee
+menu
+meta
+meter
+nav
+nobr
+noembed
+noframes
+nolayer
+noscript
+object
+ol
+optgroup
+option
+output
+p
+param
+picture
+plaintext
+portal
+pre
+progress
+q
+rb
+rp
+rt
+rtc
+ruby
+s
+samp
+script
+section
+select
+selectmenu
+slot
+small
+source
+span
+strike
+strong
+style
+sub
+summary
+sup
+table
+tbody
+td
+template
+textarea
+tfoot
+th
+thead
+time
+title
+tr
+track
+tt
+u
+ul
+var
+video
+wbr
+xmp
diff --git a/builtin-lists/elements-mathml-baseline.txt b/builtin-lists/elements-mathml-baseline.txt
new file mode 100644
index 0000000..2e79040
--- /dev/null
+++ b/builtin-lists/elements-mathml-baseline.txt
@@ -0,0 +1,30 @@
+# namespace: http://www.w3.org/1998/Math/MathML
+math
+menclose
+merror
+mfenced
+mfrac
+mglyph
+mi
+mlabeledtr
+mmultiscripts
+mn
+mo
+mover
+mpadded
+mphantom
+mroot
+mrow
+ms
+mspace
+msqrt
+mstyle
+msub
+msubsup
+msup
+mtable
+mtd
+mtext
+mtr
+munder
+munderover
diff --git a/builtin-lists/elements-mathml-default.txt b/builtin-lists/elements-mathml-default.txt
new file mode 100644
index 0000000..e69de29
diff --git a/builtin-lists/elements-mathml-known.txt b/builtin-lists/elements-mathml-known.txt
new file mode 100644
index 0000000..36e9653
--- /dev/null
+++ b/builtin-lists/elements-mathml-known.txt
@@ -0,0 +1,34 @@
+# namespace: http://www.w3.org/1998/Math/MathML
+annotation
+annotation-xml
+maction
+malignmark
+math
+merror
+mfrac
+mglyph
+mi
+mmultiscripts
+mn
+mo
+mover
+mpadded
+mphantom
+mprescripts
+mroot
+mrow
+ms
+mspace
+msqrt
+mstyle
+msub
+msubsup
+msup
+mtable
+mtd
+mtext
+mtr
+munder
+munderover
+none
+semantics
diff --git a/builtin-lists/elements-svg-baseline.txt b/builtin-lists/elements-svg-baseline.txt
new file mode 100644
index 0000000..5d8d223
--- /dev/null
+++ b/builtin-lists/elements-svg-baseline.txt
@@ -0,0 +1,60 @@
+# namespace: http://www.w3.org/2000/svg
+a
+circle
+clippath
+defs
+desc
+ellipse
+feBlend
+feColorMatrix
+feComponentTransfer
+feComposite
+feConvolveMatrix
+feDiffuseLighting
+feDisplacementMap
+feDistantLight
+feFlood
+feFuncA
+feFuncB
+feFuncG
+feFuncR
+feGaussianBlur
+feImage
+feMerge
+feMergeNode
+feMorphology
+feOffset
+fePointLight
+feSpecularLighting
+feSpotLight
+feTile
+feTurbulence
+filter
+font
+g
+glyph
+glyphref
+hkern
+image
+line
+lineargradient
+marker
+mask
+metadata
+mpath
+path
+pattern
+polygon
+polyline
+radialgradient
+rect
+stop
+svg
+switch
+symbol
+text
+textpath
+title
+tref
+tspan
+view
diff --git a/builtin-lists/elements-svg-default.txt b/builtin-lists/elements-svg-default.txt
new file mode 100644
index 0000000..e69de29
diff --git a/builtin-lists/elements-svg-known.txt b/builtin-lists/elements-svg-known.txt
new file mode 100644
index 0000000..664b94e
--- /dev/null
+++ b/builtin-lists/elements-svg-known.txt
@@ -0,0 +1,65 @@
+# namespace: http://www.w3.org/2000/svg
+a
+animate
+animateColor
+animateMotion
+animateTransform
+circle
+clipPath
+defs
+desc
+ellipse
+feBlend
+feColorMatrix
+feComponentTransfer
+feComposite
+feConvolveMatrix
+feDiffuseLighting
+feDisplacementMap
+feDistantLight
+feDropShadow
+feFlood
+feFuncA
+feFuncB
+feFuncG
+feFuncR
+feGaussianBlur
+feImage
+feMerge
+feMergeNode
+feMorphology
+feOffset
+fePointLight
+feSpecularLighting
+feSpotLight
+feTile
+feTurbulence
+filter
+foreignObject
+g
+image
+line
+linearGradient
+marker
+mask
+metadata
+mpath
+path
+pattern
+polygon
+polyline
+radialGradient
+rect
+script
+set
+stop
+style
+svg
+switch
+symbol
+text
+textPath
+title
+tspan
+use
+view
diff --git a/builtin-lists/sort.sh b/builtin-lists/sort.sh
new file mode 100755
index 0000000..fe1156e
--- /dev/null
+++ b/builtin-lists/sort.sh
@@ -0,0 +1,9 @@
+#!/bin/sh
+for list in {elements,attributes}-*-{known,baseline,default}.txt; do
+  echo $list:
+  OUT=$(mktemp)
+  grep "^#" $list > $OUT
+  grep -v "^#" $list | sort >> $OUT
+  diff $list $OUT
+  cp $OUT $list
+done
diff --git a/resources/defaults-derivation.html b/resources/defaults-derivation.html
deleted file mode 100644
index 64ad5f5..0000000
--- a/resources/defaults-derivation.html
+++ /dev/null
@@ -1,148 +0,0 @@
-<html>
-<head>
-<title>Sanitizer Configurations</title>
-<script>
-const known_elements = [
-    "a", "abbr", "acronym", "address", "applet", "area", "article",
-    "aside", "audio", "b", "base", "basefont", "bdi", "bdo", "bgsound",
-    "big", "blockquote", "body", "br", "button", "canvas", "caption",
-    "center", "cite", "code", "col", "colgroup", "command", "data",
-    "datalist", "dd", "del", "details", "dfn", "dialog", "dir", "div", "dl",
-    "dt", "em", "embed", "fieldset", "figcaption", "figure", "font",
-    "footer", "form", "frame", "frameset", "h1", "h2", "h3", "h4", "h5",
-    "h6", "head", "header", "hgroup", "hr", "html", "i", "iframe", "image",
-    "img", "input", "ins", "kbd", "keygen", "label", "layer", "legend",
-    "li", "link", "listing", "main", "map", "mark", "marquee", "menu",
-    "meta", "meter", "nav", "nobr", "noembed", "noframes", "nolayer",
-    "noscript", "object", "ol", "optgroup", "option", "output", "p",
-    "param", "picture", "plaintext", "popup", "portal", "pre", "progress",
-    "q", "rb", "rp", "rt", "rtc", "ruby", "s", "samp", "script", "section",
-    "select", "selectmenu", "slot", "small", "source", "span", "strike",
-    "strong", "style", "sub", "summary", "sup", "table", "tbody", "td",
-    "template", "textarea", "tfoot", "th", "thead", "time", "title", "tr",
-    "track", "tt", "u", "ul", "var", "video", "wbr", "xmp",
-];
-const known_attributes = [
-    "abbr", "accept", "accept-charset", "accesskey", "action", "align",
-    "alink", "allow", "allowfullscreen", "allowpaymentrequest", "alt",
-    "anchor", "archive", "as", "async", "autocapitalize", "autocomplete",
-    "autocorrect", "autofocus", "autopictureinpicture", "autoplay", "axis",
-    "background", "behavior", "bgcolor", "border", "bordercolor", "capture",
-    "cellpadding", "cellspacing", "challenge", "char", "charoff", "charset",
-    "checked", "cite", "class", "classid", "clear", "code", "codebase",
-    "codetype", "color", "cols", "colspan", "compact", "content",
-    "contenteditable", "controls", "controlslist", "conversiondestination",
-    "coords", "crossorigin", "csp", "data", "datetime", "declare",
-    "decoding", "default", "defer", "dir", "direction", "dirname",
-    "disabled", "disablepictureinpicture", "disableremoteplayback",
-    "disallowdocumentaccess", "download", "draggable", "elementtiming",
-    "enctype", "end", "enterkeyhint", "event", "exportparts", "face", "for",
-    "form", "formaction", "formenctype", "formmethod", "formnovalidate",
-    "formtarget", "frame", "frameborder", "headers", "height", "hidden",
-    "high", "href", "hreflang", "hreftranslate", "hspace", "http-equiv",
-    "id", "imagesizes", "imagesrcset", "importance", "impressiondata",
-    "impressionexpiry", "incremental", "inert", "inputmode", "integrity",
-    "invisible", "is", "ismap", "keytype", "kind", "label", "lang",
-    "language", "latencyhint", "leftmargin", "link", "list", "loading",
-    "longdesc", "loop", "low", "lowsrc", "manifest", "marginheight",
-    "marginwidth", "max", "maxlength", "mayscript", "media", "method",
-    "min", "minlength", "multiple", "muted", "name", "nohref", "nomodule",
-    "nonce", "noresize", "noshade", "novalidate", "nowrap", "object",
-    "onabort", "onafterprint", "onanimationend", "onanimationiteration",
-    "onanimationstart", "onauxclick", "onbeforecopy", "onbeforecut",
-    "onbeforepaste", "onbeforeprint", "onbeforeunload", "onblur",
-    "oncancel", "oncanplay", "oncanplaythrough", "onchange", "onclick",
-    "onclose", "oncontextmenu", "oncopy", "oncuechange", "oncut",
-    "ondblclick", "ondrag", "ondragend", "ondragenter", "ondragleave",
-    "ondragover", "ondragstart", "ondrop", "ondurationchange", "onemptied",
-    "onended", "onerror", "onfocus", "onfocusin", "onfocusout",
-    "onformdata", "ongotpointercapture", "onhashchange", "oninput",
-    "oninvalid", "onkeydown", "onkeypress", "onkeyup", "onlanguagechange",
-    "onload", "onloadeddata", "onloadedmetadata", "onloadstart",
-    "onlostpointercapture", "onmessage", "onmessageerror", "onmousedown",
-    "onmouseenter", "onmouseleave", "onmousemove", "onmouseout",
-    "onmouseover", "onmouseup", "onmousewheel", "onoffline", "ononline",
-    "onorientationchange", "onoverscroll", "onpagehide", "onpageshow",
-    "onpaste", "onpause", "onplay", "onplaying", "onpointercancel",
-    "onpointerdown", "onpointerenter", "onpointerleave", "onpointermove",
-    "onpointerout", "onpointerover", "onpointerrawupdate", "onpointerup",
-    "onpopstate", "onportalactivate", "onprogress", "onratechange",
-    "onreset", "onresize", "onscroll", "onscrollend", "onsearch",
-    "onseeked", "onseeking", "onselect", "onselectionchange",
-    "onselectstart", "onshow", "onstalled", "onstorage", "onsubmit",
-    "onsuspend", "ontimeupdate", "ontimezonechange", "ontoggle",
-    "ontouchcancel", "ontouchend", "ontouchmove", "ontouchstart",
-    "ontransitionend", "onunload", "onvolumechange", "onwaiting",
-    "onwebkitanimationend", "onwebkitanimationiteration",
-    "onwebkitanimationstart", "onwebkitfullscreenchange",
-    "onwebkitfullscreenerror", "onwebkittransitionend", "onwheel", "open",
-    "optimum", "part", "pattern", "ping", "placeholder", "playsinline",
-    "policy", "poster", "preload", "pseudo", "readonly", "referrerpolicy",
-    "rel", "reportingorigin", "required", "resources", "rev", "reversed",
-    "role", "rows", "rowspan", "rules", "sandbox", "scheme", "scope",
-    "scopes", "scrollamount", "scrolldelay", "scrolling", "select",
-    "selected", "shadowroot", "shadowrootdelegatesfocus", "shape", "size",
-    "sizes", "slot", "span", "spellcheck", "src", "srcdoc", "srclang",
-    "srcset", "standby", "start", "step", "style", "summary", "tabindex",
-    "target", "text", "title", "topmargin", "translate", "truespeed",
-    "trusttoken", "type", "usemap", "valign", "value", "valuetype",
-    "version", "virtualkeyboardpolicy", "vlink", "vspace",
-    "webkitdirectory", "width", "wrap",
-];
-
-
-// Helper class to handle lists of things and implement set substraction.
-class Helper {
-  constructor(values) { this.values = values; }
-  get val() { return this.values; }
-  get attrs() { return Object.fromEntries(this.values.map(a => [a, ["*"]])); }
-  without(arg) {
-    let fn = (arg instanceof Function) ? arg : (name => arg.includes(name));
-    this.values = this.values.filter(name => !fn(name));
-    return this;
-  }
-}
-
-function toTextContent(element_id, value) {
-  document.getElementById(element_id).textContent = JSON.stringify(
-      value, null, 2);
-}
-
-// Derive the spec baseline and default values.
-const baseline_element_allow_list =
-    new Helper(known_elements).without([
-        "applet", "base", "embed", "iframe", "noembed", "noframes", "nolayer",
-        "noscript", "object", "frame", "frameset", "param", "script",
-    ]).val;
-
-const baseline_attribute_allow_list =
-    new Helper(known_attributes).without(name => name.startsWith("on")).val;
-
-const default_configuration = {
-  allowCustomElements : false,
-  allowElements : new Helper(baseline_element_allow_list).without([
-      "basefont", "command", "content", "data", "image", "plaintext",
-      "portal", "slot", "template", "textarea", "title", "xmp",
-  ]).val,
-  allowAttributes : new Helper(baseline_attribute_allow_list).without([
-      "allowpaymentrequest",
-  ]).attrs,
-}
-
-window.onload = function() {
-  toTextContent("baseline-element-allow-list", baseline_element_allow_list);
-  toTextContent("baseline-attribute-allow-list", baseline_attribute_allow_list);
-  toTextContent("default-configuration", default_configuration);
-}
-</script>
-</head>
-<body>
-<h1>Derive Sanitizer Built-ins and Defaults</h1>
-<h2>Baseline Element Allow List</h2>
-<pre id="baseline-element-allow-list"></pre>
-<h2>Baseline Attribute Allow List</h2>
-<pre id="baseline-attribute-allow-list"></pre>
-<h2>Built-in Default Configuration</h2>
-<pre id="default-configuration"></pre>
-</body>
-</html>