Skip to content

cli: substitute safer sequences by default, gated --force, stable executor codes - #30

Merged
Kiran01bm merged 4 commits into
kiran01bm/p3-2-native-idiomsfrom
kiran01bm/p3-4-substitution
Aug 13, 2026
Merged

cli: substitute safer sequences by default, gated --force, stable executor codes#30
Kiran01bm merged 4 commits into
kiran01bm/p3-2-native-idiomsfrom
kiran01bm/p3-4-substitution

Emit failed verdicts with executor codes and committed prefix; add ch…

0d7e491
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar