Obtain Immediate Conclusions

Extract direct implications before speculative reasoning.

Input Contract

Read from memory and current context:

• problem_id
• current theorem/subgoal statement
• memory

Procedure

1. Normalize notation and restate the claim in equivalent forms.
2. List direct consequences that follow from definitions and basic algebraic/logical manipulations.
3. Split consequences into necessary conditions and candidate sufficient conditions.
4. Mark each consequence with confidence and justification type.
5. For every conclusion, explicitly decide whether it is likely fragile and should be stress-tested by counterexample.
6. If a conclusion is fragile, record why it is fragile and indicate that $construct-counterexamples should be considered next.

Output Contract

Append each conclusion to immediate_conclusions with JSON object payload: