0%

Spec + grammar sync

Goal

Make the spec match the implemented guarantee.

Implementation Sketch

Add the attributes to grammar.ebnf; add the optimization-guarantee appendix moving vectorization from Not-Guaranteed to provability-gated-guaranteed, with the reduction-reorder-safety + panic-ordering normative rules and the Clause 20.8.4 cross-reference. The errata on the iterator proposal already landed at approval.

Spec References

Proposal Spec & Grammar Impact; Clause 20.8.4.

Work Items

  • Add #vectorize / #no_vectorize / #fast_math to grammar.ebnf attribute productions and sync ori-syntax.
  • Add the optimization-guarantee appendix (vectorization: Not-Guaranteed -> provability-gated guarantee), the reduction-reorder-safety + element-wise panic-ordering normative rules, and the Clause 20.8.4 cross-reference to the Intrinsics SIMD surface.