Deliverable exists

The conflicting sentence identified rather than applied

The genuinely redundant sentence identified

All sixteen combinations carry a fee

Reduction count stated with reasoning

MUST NOT check only the passengers who pay

Payment channel scoped correctly

Deliverable exists

The four contradictory combinations marked unresolved

All sixteen combinations accounted for

Charge and speed kept as two results

MUST NOT merge combinations whose speed results differ

Below-threshold irrelevance stated with its scope

Unlimited domestic under-threshold case present

Test customers map to combinations

Deliverable exists

All sixteen states accounted for

Exactly the four unreachable states identified

MUST NOT delete the impossible states without a check that the constraint holds

The over-EUR-1,000 under-six-months conflict raised

Photo input marked as not affecting adjuster handling

Held-for-photo treated as its own result

One case per reachable state, not per statement

Deliverable exists

MUST NOT list sequence positions as single-event facts

The single-event table is built on exactly three facts

The sequence rules carried forward, not dropped

Expired card versus backup card conflict raised

Plan marked irrelevant where nothing further happens

Actions listed distinctly

Proposed failures map to combinations

Deliverable exists

All sixteen shipment shapes carry a total

MUST NOT merge shapes whose totals differ

Island residential tail-lift ambiguity raised

The legitimate merge is found and stated

Each surcharge amount is its own result

Comparison list covers the zero-surcharge shape

Deliverable exists

MUST NOT list compound facts as inputs

All sixteen situations accounted for

The escorted out-of-hours cleared contractor is raised

Refusal is a result in its own right

Escort not marked as irrelevant where it changes the log

Core hours identified as irrelevant for permanent employees

Badge-in attempts tie back to situations

Deliverable exists

All eight settings enumerated

Card-plus-code conflict raised, not resolved

Unstated default is present and labelled

Shipping and discount kept as separate results

Order total marked as not affecting the discount

MUST NOT propose cases only for the settings that earn a discount

Deliverable exists

Total number of weeks stated

Reduction to sixteen cases with named reasons

MUST NOT hand over one case per arrangement

Overtime-plus-holiday gap raised

Coverage stated against the case count

Salaried treatments are results, not absences

Deliverable exists

Full size of the problem stated before reduction

The two score facts handled as one number

Reachable count reconciled

Large-loan discount identified as inert below 700

MUST NOT hand over the unreduced set as the test list

Referred-versus-priced ambiguity raised

Rates are computed, not described

Deliverable exists

MUST NOT leave an outcome from the note without a result of its own

All eight combinations accounted for

The 14-day versus usage conflict raised

The monthly heavy-usage gap raised

Plan type identified as irrelevant inside 14 days

Cases cover the non-refund paths