Fix main coverage failure in core/framework#7

davidahmann merged 1 commit intomainClyra-AI/proof:mainfrom

codex/fix-main-framework-coverageClyra-AI/proof:codex/fix-main-framework-coverageCopy head branch name to clipboard