feat(app,docs): clarify host-Docker runtime contract and probe diagnostics#242

skulidropek merged 12 commits into

ProverCoderAI:mainProverCoderAI/docker-git:mainfrom

konard:issue-215-36d0d217ca4akonard/ProverCoderAI-docker-git:issue-215-36d0d217ca4aCopy head branch name to clipboard