Recent changes in document/core/ or spectec/ directories:
3f3b4c2 [spec] Add missing `exnaddr` in Addresses section (#2168)
9fb128d [spec] Add missing text format for relaxed_dot instructions (#2163)
aed61c2 [spectec] Dynamically check side conditions on type fields/cases (#2158)
dc5f15e [spec] Limit PDF bookmarks depth to avoid hyperref misrendering (#2165)
032f6e0 [spec] Remove obsolete heading
Review for potential impact on zwasm spec compliance.
Recent changes in
document/core/orspectec/directories:Review for potential impact on zwasm spec compliance.