Proof Sketcher

Turn intuition into a checkable proof scaffold before attempting full formalization. The objective is not to fake completeness.
The objective is to expose structure, assumptions, and unresolved gaps as early as possible.

Procedure

1. State the Target Claim Precisely

Write the claim in mathematically checkable form. Include:

• quantified variables
• domain restrictions
• asymptotic regime if relevant
• probabilistic qualifiers
• exact conclusion Avoid:
• “behaves like”
• “roughly”
• “should converge”
• “is stable”
• “works well”