---
remediation_report: true
remediator_model: claude-opus-4.7
remediated_at: 2026-05-15T17:30:00+00:00
target_doc: ir-reference/control-flow.md
review_report: ../../reviews/ir-reference/control-flow.md.review.md
target_doc_source_commit_before: e75b9a3d03659cefb39882da3adecb2eb8751e0d
target_doc_source_commit_after: 470b96e8c29ca660c537d4d0f88cc21a12f962e6
actions:
  fixed: 1
  rejected_bogus: 0
  rejected_out_of_scope: 0
  deferred: 0
  escalated: 0
---

# Remediation report for ir-reference/control-flow.md

## Summary

One major finding addressed by adding the four missing
`Require*`-style rows to the "Other control-flow opcodes" table.

## Actions

| Finding ID | Action | Rationale | Fix summary |
| --- | --- | --- | --- |
| F-001 | fixed | `source/slang/slang-ir-insts.lua:1381-1389` defines `RequirePrelude`, `RequireTargetExtension`, `RequireComputeDerivative`, `StaticAssert`, `Printf`, `RequireMaximallyReconverges`, and `RequireQuadDerivatives` as a single contiguous group; the existing rows already covered three of the seven. | Added rows for `RequireTargetExtension`, `RequireComputeDerivative`, `RequireMaximallyReconverges`, and `RequireQuadDerivatives` in the "Other control-flow opcodes" table. |
