feat(cli): --emit-types — write the proven types back out as TypeScript (#7685, EXPERIMENTAL) - #7688

Closed

proggeramlug wants to merge 3 commits into

mainfrom

feat/7685-emit-types

Commits on Aug 9, 2026

feat(cli): --emit-types — write the proven types back out as TypeScript (#7685)
Ralph Küpper
committed
fd386b9
fix(emit-types): narrow the mapping to what a soundness audit survives (#7685)
Ralph Küpper
committed
c653e37
docs(changelog): #7685 --emit-types prototype fragment
Ralph Küpper
committed
4b347f5