Persist AutoResearch proof decomposition progress

[FluffyAIcode]

Summary

• generate machine-readable AutoResearch verdicts in host code instead of relying on model-formatted tail output
• parse real Markdown Critic verdicts and persist deduplicated missing lemmas as parent-linked leaf obligations
• preserve completed GAN checkpoints, ledgers, transcripts, and failure rows when candidate evaluation fails or reverts
• force each strategy and GAN turn to target exactly one unresolved leaf

Test plan

• python3 -m pytest -q tests/inference_engine/bridge/test_agent_gan_repl.py tests/inference_engine/bench/test_autoresearch_supervisor.py
• python3 -m py_compile scripts/agent_gan_repl.py autoresearch/prefill/supervisor.py
• verified Markdown **Status:** and **Missing lemma:** parsing, child deduplication, leaf selection, and host verdict parsing

Made with Cursor

[cursor]

Bugbot is not enabled for your account, so this pull request was not reviewed.

Enable Bugbot in the Cursor dashboard to get automatic reviews on future PRs.