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

Commits on Aug 12, 2026

feat(cli): substitute safer sequences by default, gated --force
Kiran01bm
committed
fa357bd
Map execution failures to refusal verdicts; run forced form via AttemptNative
Kiran01bm
committed
769b3e8

Commits on Aug 13, 2026

Merge remote-tracking branch 'origin/kiran01bm/p3-2-native-idioms' into kiran01bm/p3-4-substitution
Kiran01bm
committed
aad1e1f
Emit failed verdicts with executor codes and committed prefix; add changelog
Kiran01bm
committed
0d7e491