Non-low-risk InlineZig cluster from the opaque-Zig hardening pass.
Sites:
src/mir/mir_lowering.rb:2850 static_call
src/mir/mir_lowering.rb:3201 builtin_*
src/mir/lowering/functions.rb:1731 intrinsic
src/mir/lowering/variables.rb:1124 index_set
Risk:
- These are generic Zig template-substitution bridges. Some entries allocate, mutate receivers, transfer ownership, or take allocator placeholders. They are guarded by registry metadata, but still hide operation structure behind Zig text.
Acceptance:
- Replace with structural MIR or narrower typed operation nodes where doing so reduces or preserves overall complexity.
- Any remaining InlineZig must be documented as low-risk or lower-complexity than the structural alternative.
- Preserve MIRChecker ownership visibility and existing BC paths.
Non-low-risk InlineZig cluster from the opaque-Zig hardening pass.
Sites:
src/mir/mir_lowering.rb:2850static_callsrc/mir/mir_lowering.rb:3201builtin_*src/mir/lowering/functions.rb:1731intrinsicsrc/mir/lowering/variables.rb:1124index_setRisk:
Acceptance: