feat: stronger proof strategy for partial
inhabitation
#5906
check-stage0.yml
on: pull_request
check-stage0-on-queue
31s
partial
inhabitation
#5906