Assumption Extractor

Make hidden premises visible before trusting the conclusion.

A strong result often depends on assumptions that are:

• implicit;
• buried in notation;
• hidden inside a theorem citation;
• or introduced indirectly through the proof technique.

The goal is not merely to list assumptions.
The goal is to determine:

• which assumptions are structurally necessary;
• which are artifacts of the proof;
• and what fails if they are removed.

Procedure