Reject semantic restatement proof children

[FluffyAIcode]

Summary

• provide the complete ancestor statement chain to Generator and Critic
• alpha-normalize variables and compare premise/conclusion structures in both entailment directions
• require full Generator coverage and an explicit semantic delta before persisting a child
• retroactively mark duplicate nodes and descendants REJECTED_DUPLICATE so active search returns to the valid ancestor

Test plan

• targeted AutoResearch tests: 47 passed
• regression covers Density-Singularity Gap → Local-Global Density Equivalence → Density-Order Saturation variable renaming
• incomplete coverage cannot be kept

The uncommitted candidate.py file is active runtime state and is excluded.

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.