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

Merged

huangruiteng merged 7 commits into

loopx-project:mainfrom

songoow:codex/report-walked-formal-detail

Sep 21, 2026

Commits on Sep 20, 2026

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

songoow
and
claude
committed
9043451
Merge remote-tracking branch 'origin/main' into codex/report-walked-formal-detail
songoow
committed
a9bd8f7
test(chat): characterize missing actions and persisted Lark routing modes
songoow
committed
b2d10a6
refactor(chat): deduplicate action errors and Lark routing defaults
songoow
committed
d231971
test(lark): freeze the context clock in dated runtime fixtures
songoow
committed
277f43a
Merge remote-tracking branch 'origin/main' into codex/4772-module-budget-dedup
songoow
committed
b28af16
Merge commit 'b28af169f271eb9997b07730c1f034d58cccb827' into codex/report-walked-formal-detail
songoow
committed
1f2bf57