### The deterministic module profile is WA²ISM™

- The profile's text is now `extensions/waism.md`, and its levels are `waism/1-int` and
  `waism/1-det`. The planted module that carries a profile name in a custom section carries
  the new one. Running text names the profile WAISM.
- R12's stated reason is corrected. §4.3 decides R2 first, so a checker holds a complete WebAssembly 3.0
  validator whatever R12 excludes, and the rule's reason is what a sink's engine runs. The rule is unchanged.
- §9.1's `custom-section` row says the identifier is the section's contents, in a section named `profile`.
