Skip to content

Constraint Formulation

Turn implicit limits, requirements, and prohibitions into explicit constraints that shape the feasible solution space.

Solution archetype #
223
Problem family
Correctness, Conformance & Formal Validity Failure
Problem subfamily
Feasibility & Requirement Consistency

The Diagnostic Story

Symptom: Teams generate options, invest effort, and build toward a solution — then a requirement surfaces late that makes the chosen direction infeasible. The requirements list mixes mandatory limits with preferences, aspirations, and soft guidance, so no one knows which rules are actually binding. Exceptions are handled informally, creating inconsistency. The feasible option set is unknown, and optimization outputs look precise while resting on underspecified limits.

Pivot: Separate hard constraints from soft preferences before options are generated. Define the feasible set explicitly, rank constraint priority, and specify in advance how violations will be handled — so every downstream step operates inside a known and accountable boundary.

Resolution: Effort concentrates on genuinely feasible options, and late vetoes become rare because constraints were visible from the start. Conflicts and impossibilities surface early when they are still cheap to resolve. Exceptions require explicit approval against a named rule, replacing informal workarounds with governed discretion.

Reach for this when you hear…

[product management] “We spent two sprints on a feature and then legal told us it violated a data-residency rule they'd mentioned in a kick-off slide nobody flagged as binding.”

[infrastructure procurement] “The RFP listed sixty requirements and we had no idea which ones were dealbreakers until vendors started asking — we should have tiered them before we published.”

[conservation planning] “We optimized the reserve design for biodiversity and then found out three of our best candidate sites are legally off-limits — the feasibility layer has to come first.”

When This Archetype Applies

No catalog groundingNone of the structural conditions is currently represented by an accepted prime or domain-specific abstraction.

Actors generate or choose options without clearly knowing which limits, requirements, or prohibitions define feasibility.

What this problem means

The structural problem is ambiguous feasibility. Actors are working in a decision space without a shared definition of what counts as allowed, possible, acceptable, or negotiable. The result is wasted exploration, late rejection, inconsistent enforcement, and hidden tradeoffs.

This is not just a communication issue. A constraint changes the structure of the problem: it partitions options into feasible, infeasible, conditionally feasible, or feasible-but-penalized categories. Until that partition is visible, downstream mechanisms such as optimization, checklists, policy review, and acceptance testing can produce misleading confidence.

Show the applicability expression

Applicability expression5 distinct conditions

Premature option generationandMandatory-preference disagreementandInformal hard limitsandUnbounded choice spaceandLikely feasibility violations
Algebraic12345

groundedpartly groundedopen

5 conditions, all required.

5Required in every casenumbered 1–5

These hold no matter which pattern applies.

1

Premature option generation · open

Options are generated before feasibility conditions are explicit.

2

Mandatory-preference disagreement · open

Stakeholders disagree which requirements are mandatory and which are preferences.

3

Informal hard limits · open

Legal, safety, compatibility, or resource limits are mentioned only informally.

4

Unbounded choice space · open

The unconstrained search space is too broad or unbounded for practical choice.

5

Likely feasibility violations · open

Exceptions or violations of the eventual feasibility rules are likely.

Other requirements and context (1)

Why these sit outside the expression

Goala goal states an intended outcome or evaluation criterion, not a pre-existing situation that independently summons the archetype.

  • GoalA solver, workflow, policy, or review process needs a formal feasible set.

0 of 5 conditions grounded · 5 open.

Read the methodologyDownload the trigger-logic data

Mechanisms / Implementations

  • Requirements Constraint Specification: Turns stakeholder needs, product requirements, or project rules into explicit must-satisfy and prefer-to-satisfy conditions.
  • Design Constraint Document: Records physical, usability, interoperability, environmental, manufacturing, or maintenance limits that shape design choices.
  • Policy Rule Set: Expresses policy limits, permissions, conditions, and prohibitions so actors can determine admissible action.
  • Optimization Constraint Model: Represents variables and constraints in a mathematical or computational model so solvers or analysts can search the feasible region.
  • Budget / Time Limit: Sets resource or schedule boundaries that exclude or penalize options exceeding available money, time, labor, or capacity.
  • Safety Constraint: Defines conditions that must be met to prevent injury, catastrophic loss, operational hazard, or unacceptable exposure.
  • Eligibility Rule: Specifies which people, cases, projects, records, or options are admitted into a program, process, queue, or decision space.
  • Legal Compliance Constraint: Translates laws, regulations, contracts, or standards into actionable constraints on design, operation, or decision-making.
  • Acceptance Criteria: Defines pass/fail or accept/reject conditions for a deliverable, case, design, or decision.
  • Constraint Review Checklist: Prompts reviewers to check hard/soft classification, conflicts, scope, enforcement, exceptions, and stale assumptions.

Abstractions this archetype builds on — directly (a source ingredient) or as a related pattern. Links follow the typed catalog namespace.

Built directly on (3)

Also references 4 related abstractions

Variants

Narrower or domain-specific specializations that share this archetype's core structure. Recognized variants are established; candidate variants are provisional.

Hard-Constraint Formulation · subtype · recognized

A subtype that defines absolute admissibility conditions whose violation excludes an option or requires formal exception review.

Soft-Constraint Prioritization · subtype · recognized

A subtype that turns preferences, targets, penalties, and negotiable requirements into explicit ranking pressure rather than pass/fail exclusion.

Feasibility Envelope Definition · scale variant · candidate

A subtype that defines the overall envelope within which options remain feasible across scope, capacity, performance, or operating conditions.

Compliance Constraint Formulation · domain variant · recognized

A domain variant that translates legal, regulatory, contractual, ethical, or policy obligations into actionable constraints.

Editorial Notes

Problem Classification

Classification: Correctness, Conformance & Formal Validity FailureFeasibility & Requirement Consistency

Problem kernel: option generation proceeds before feasibility constraints are known

Rationale: Actors cannot tell which choices satisfy limits, requirements, and prohibitions, so the declared decision space includes invalid states.

Independent corroboration: The earliest necessary condition in the frozen evidence is: Actors generate or choose options without clearly knowing which limits, requirements, or prohibitions define feasibility. That is a feasibility requirement and invariant consistency problem because Required constraints, guarantees, relations, or necessary conditions are absent, mutually incompatible, intrinsically impossible, or unenforceable together within the stated scope.

Review outcome: Independent reviewer agreement; high confidence.