model-assumptions-builder

Model assumption categorization splits assumptions into necessary constraints and simplifying approximations. Necessary assumptions are fundamental requirements extracted from the problem statement, while simplifying assumptions reduce complexity from candidate method pools to make the mathematical model tractable.

Before generating a structured assumptions document, you need a validated problem parse, candidate method pools, and a question dependency map. These inputs allow the extraction process to trace and validate assumptions across multiple subquestions effectively.

Conflict checking identifies and flags conflicting model assumptions across subquestions by analyzing the question dependency map. It ensures assumptions extracted from different problem parts or candidate method pools remain logically consistent and traceable throughout the mathematical modeling process.

Assumption impact assessment evaluates the consequences on the mathematical model if specific assumptions are violated. It analyzes the structured assumptions document to determine how sensitive the problem parse and candidate method pools are to changes in simplifying or necessary assumptions.

Necessary assumptions are mandatory constraints extracted directly from the problem parse, while simplifying assumptions are approximations introduced from candidate method pools to reduce complexity. Categorizing them by necessity and scope ensures the mathematical modeling document remains traceable and validated.