Skip to content

v2-translate-underived-refusal: Translate refuses underived facts instead of swallowing the typed rejection (containment P0, guarantee lane) - #7555

Merged
briansrls merged 8 commits into
mainfrom
session/merry-cat-407
Aug 2, 2026
Merged

v2-translate-underived-refusal: Translate refuses underived facts instead of swallowing the typed rejection (containment P0, guarantee lane)#7555
briansrls merged 8 commits into
mainfrom
session/merry-cat-407

Pass canonical infer facts through cross_language_compile (review 472…

ee23286
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar