fix(semantics): report the formal detail ratios from what the checks walked - #4772

fix(semantics): report the formal detail ratios from what the checks walked#4772

songoow wants to merge 7 commits into

loopx-project:mainloopx-project/loopx:mainfrom

songoow:codex/report-walked-formal-detailsongoow/loopx:codex/report-walked-formal-detailCopy head branch name to clipboard