state-propose-modification

Proposes a modified statement when the original is unprovable but fixable. Use when agent-prove or agent-fix determines the statement needs stronger premises or weaker conclusion. Records the proposal for orchestrator decision.