# Constraints Elimination interactive example

Status: candidate_pending_browser_gate
Skill: [Constraints Elimination](/math/skills/logic/constraints-elimination)
Module: math-module.logic.constraints.elimination.safety-choice.v1
Route: puzzle
Gate status: pending_browser_gate

## Visible Task

Question: Which choice fits every clue?
Feedback channel: host_blob

## Affordances

- clue cards
- candidate cards
- not-this marks
- survivor submit

## Manipulation States

- clue_selected
- candidate_marked
- wrong_survivor
- correct_survivor
- reveal_elimination_path

## Solve-State Expectations

- Wrong path: Wrong survivor and violated clue remain visible.
- Correct path: Survivor and checked clues remain visible.
- Reveal state: Worked elimination path marks reveal_dependent.
- Advance or exit: Shell advance after valid completion.

## Gates

- State coverage covered: 18
- State coverage pending: 0
- Browser check: question_visible_all_states
- Browser check: host_blob_feedback_only
- Browser check: wrong_correct_paths_visible
- Browser check: reveal_state_distinct
- Browser check: shell_chrome_active
- Browser check: viewport_matrix_passes
- Browser check: no_child_metadata
- Invariant check: adapter_preserves_math_payload
- Invariant check: adapter_preserves_answer
- Invariant check: adapter_preserves_validator
- Invariant check: adapter_preserves_evidence_economy
- Evidence: independent_correct_candidate_when_unassisted
- Evidence: assisted_after_hint
- Evidence: not_independent_after_reveal

## Public Boundaries

- Candidate is not an approved public example.
- Full task bank row and source provenance remain internal.
- Browser gate must pass before this can become an approved public example.
- Reveal-dependent work is not independent mastery evidence.