Build-Authorized Evidence for Opaque Calls: A Fail-Closed Rewrite-Authority Boundary

Zhonghua Yi

Detached semantic facts about opaque native providers do not by themselves justify compiler rewrites: rewrite authority must be confined to the accepted fact, selected provider and…