Wrapping assert tags around block elements?

[dj2]

In the WGSL spec we would like to start using the assert capabilities of bikeshed to annotate the spec. We started adding asserts in gpuweb/gpuweb#2783 but ran into the issue that a lot of what we'd like to assert on are bullet point lists or tables.

So, what we'd like to do is:

<assert>
* requirement 1
* requirement 2
* requirement 3
</assert>

While this generates in bikeshed, it fails the HTML validation because the <ul> element ends up embedded inside a <span>.

Is this something that could be handled in bikeshed? Possibly by doing something like generating the assert from the contents of the list, but not wrapping the list in the <span> tag in the generated content? Or something like having parent/child assert spans so the list elements have their own span ids, but they link to a parent span that covers all of them?

[dj2]

Thought of another, easier, possiblity which is to allow adding assert to a <div>. Then we can do <div assert> around the larger blocks while using <assert> for the smaller inline assertions. This then adds the id in the same way to the div as it would to the assert span.