Bounded reasoning proof workspace
Bounded reasoning proof workspace asks the player to assemble or enter an ordered, editable sequence of claim-and-reason steps that establishes a bounded mathematical characterization from declared givens, then submit the exact terminal family/value fields.
ActionAssemble or enter an ordered, editable sequence of claim-and-reason steps that establishes a bounded mathematical characterization from declared givens, then submit the exact terminal family/value fields.
CheckComplete the bounded reasoning proof workspace action.
UseSupport / Core / Transfer
ShowsCheck only
PresentationCompact / Standard / Extended
Practice focus
Word problems are confusing
Bounded semantic rubric response
Bounded semantic rubric response asks the player to submit a concise explanation using the required mathematical claims, relations, or evidence tags in a bounded response schema.
ActionSubmit a concise explanation using the required mathematical claims, relations, or evidence tags in a bounded response schema.
CheckComplete the bounded semantic rubric response action.
UseSupport / Core / Transfer
ShowsCheck only
PresentationCompact / Standard / Extended
Practice focus
Word problems are confusing
Card-operation move-count pair choice
Card-operation move-count pair choice asks the player to determine the exact numbers of allowed swaps and flips in an exactly-three-move solution, then choose the ordered pair (swaps, flips).
ActionDetermine the exact numbers of allowed swaps and flips in an exactly-three-move solution, then choose the ordered pair (swaps, flips).
CheckComplete the card-operation move-count pair choice action.
UseSupport / Core / Transfer
ShowsCheck only
PresentationCompact / Standard / Extended
Practice focus
Word problems are confusing
Casework cover board
Casework cover board asks the player to cover all cases with chips and mark missing, duplicate, or impossible cases.
ActionCover all cases with chips and mark missing, duplicate, or impossible cases.
CheckComplete the casework cover board action.
UseSupport / Core / Transfer
ShowsCheck only
PresentationCompact / Standard / Extended
Practice focus
Word problems are confusing
Constraint construction token board
Constraint construction token board asks the player to place every required token on the board so the completed state satisfies all visible constraints.
ActionPlace every required token on the board so the completed state satisfies all visible constraints.
CheckComplete the constraint construction token board action.
UseSupport / Core / Transfer
ShowsCheck only
PresentationCompact / Standard / Extended
Practice focus
Word problems are confusing
Constraint table composer state
Constraint table composer state asks the player to complete or compose the table so every row, column, and stated relation satisfies the visible constraints.
ActionComplete or compose the table so every row, column, and stated relation satisfies the visible constraints.
CheckComplete the constraint table composer state action.
UseSupport / Core / Transfer
ShowsCheck only
PresentationCompact / Standard / Extended
Practice focus
Word problems are confusing
Embedded-graph predicate panel choice
Embedded-graph predicate panel choice asks the player to inspect exact graph panels and choose the single panel whose topology satisfies the stated object-relation predicate.
ActionInspect exact graph panels and choose the single panel whose topology satisfies the stated object-relation predicate.
CheckComplete the embedded-graph predicate panel choice action.
UseSupport / Core / Transfer
ShowsCheck only
PresentationCompact / Standard / Extended
Practice focus
Word problems are confusing
Equal-sum pair omission choice
Equal-sum pair omission choice asks the player to pair the values to a common sum and choose the one omitted value that makes a complete equal-sum pairing possible.
ActionPair the values to a common sum and choose the one omitted value that makes a complete equal-sum pairing possible.
CheckComplete the equal-sum pair omission choice action.
UseSupport / Core / Transfer
ShowsCheck only
PresentationCompact / Standard / Extended
Practice focus
Word problems are confusing
Finite-constraint entailment choice
Finite-constraint entailment choice asks the player to use the explicit finite constraints to determine which target proposition holds in every valid assignment, then choose that proposition.
ActionUse the explicit finite constraints to determine which target proposition holds in every valid assignment, then choose that proposition.
CheckComplete the finite-constraint entailment choice action.
UseSupport / Core / Transfer
ShowsCheck only
PresentationCompact / Standard / Extended
Practice focus
Word problems are confusing
Hidden spatial ordinal entry
Hidden spatial ordinal entry asks the player to combine the tokenized spatial or ordinal clues without exposing the full hidden arrangement and enter the uniquely entailed ordinal or difference value.
ActionCombine the tokenized spatial or ordinal clues without exposing the full hidden arrangement and enter the uniquely entailed ordinal or difference value.
CheckComplete the hidden spatial ordinal entry action.
UseSupport / Core / Transfer
ShowsCheck only
PresentationCompact / Standard / Extended
Practice focus
Word problems are confusing
Layered-path consistency proof
Layered-path consistency proof asks the player to submit either a complete first-to-last topological witness order or a shortest directed contradiction-cycle certificate for declared layered-path constraints.
ActionSubmit either a complete first-to-last topological witness order or a shortest directed contradiction-cycle certificate for declared layered-path constraints.
CheckComplete the layered-path consistency proof action.
UseSupport / Core / Transfer
ShowsCheck only
PresentationCompact / Standard / Extended
Practice focus
Word problems are confusing
List missing or duplicate repair
List missing or duplicate repair asks the player to mark duplicate, missing, or illegal cases in a list.
ActionMark duplicate, missing, or illegal cases in a list.
CheckComplete the list missing or duplicate repair action.
UseSupport / Core / Transfer
ShowsCheck only
PresentationCompact / Standard / Extended
Practice focus
Word problems are confusing
Map-scene clue relation choice
Map-scene clue relation choice asks the player to use one exact route map plus named clues to choose the uniquely forced categorical location for the queried person.
ActionUse one exact route map plus named clues to choose the uniquely forced categorical location for the queried person.
CheckChoose the answer that matches the visible prompt.
UseSupport / Core / Transfer
ShowsCheck only
PresentationCompact / Standard / Extended
Practice focus
Word problems are confusing
Path direction-marker count entry
Path direction-marker count entry asks the player to trace the path using the exact direction markers and enter the number satisfying the requested turn or marker condition.
ActionTrace the path using the exact direction markers and enter the number satisfying the requested turn or marker condition.
CheckComplete the path direction-marker count entry action.
UseSupport / Core / Transfer
ShowsCheck only
PresentationCompact / Standard / Extended
Practice focus
Word problems are confusing
Place-value property case-count entry
Place-value property case-count entry asks the player to count values in a finite range that satisfy a digit or place-value predicate and enter the exact cardinality.
ActionCount values in a finite range that satisfy a digit or place-value predicate and enter the exact cardinality.
CheckComplete the place-value property case-count entry action.
UseSupport / Core / Transfer
ShowsCheck only
PresentationCompact / Standard / Extended
Practice focus
Word problems are confusing
Region-doorway trail-start choice
Region-doorway trail-start choice asks the player to interpret a complete undirected regions-and-doorways graph and select the unique start region for a trail using every doorway exactly once and ending at a named region.
ActionInterpret a complete undirected regions-and-doorways graph and select the unique start region for a trail using every doorway exactly once and ending at a named region.
CheckChoose the answer that matches the visible prompt.
UseSupport / Core / Transfer
ShowsCheck only
PresentationCompact / Standard / Extended
Practice focus
Word problems are confusing
Rule-table and slot-constraint choice
Rule-table and slot-constraint choice asks the player to use the rule table and occupied value slots to choose the uniquely valid value or entity for the target slot.
ActionUse the rule table and occupied value slots to choose the uniquely valid value or entity for the target slot.
CheckComplete the rule-table and slot-constraint choice action.
UseSupport / Core / Transfer
ShowsCheck only
PresentationCompact / Standard / Extended
Practice focus
Word problems are confusing
Switch-bulb one-visit identification
Switch-bulb one-visit identification asks the player to determine a legal ordered switch strategy and use the one inspection to identify the complete switch-to-lamp correspondence.
ActionDetermine a legal ordered switch strategy and use the one inspection to identify the complete switch-to-lamp correspondence.
CheckComplete the switch-bulb one-visit identification action.
UseSupport / Core / Transfer
ShowsCheck only
PresentationCompact / Standard / Extended
Practice focus
Word problems are confusing
Symbol-strip deletion middle token
Symbol-strip deletion middle token asks the player to apply the ordered deletion rule to the symbol strip and enter the uniquely determined remaining middle token.
ActionApply the ordered deletion rule to the symbol strip and enter the uniquely determined remaining middle token.
CheckComplete the symbol-strip deletion middle token action.
UseSupport / Core / Transfer
ShowsCheck only
PresentationCompact / Standard / Extended
Practice focus
Word problems are confusing
Systematic list tray build
Systematic list tray build asks the player to build an organized list of all valid cases using cards or chips.
ActionBuild an organized list of all valid cases using cards or chips.
CheckComplete the systematic list tray build action.
UseSupport / Core / Transfer
ShowsCheck only
PresentationCompact / Standard / Extended
Practice focus
Word problems are confusing
Transport-crossing sequence proof
Transport-crossing sequence proof asks the player to construct and order a legal crossing sequence, then complete a bounded optimality-and-uniqueness certificate.
ActionConstruct and order a legal crossing sequence, then complete a bounded optimality-and-uniqueness certificate.
CheckComplete the transport-crossing sequence proof action.
UseSupport / Core / Transfer
ShowsCheck only
PresentationCompact / Standard / Extended
Practice focus
Word problems are confusing
Tree diagram branch read-build
Tree diagram branch read-build asks the player to read or build branches representing all choices in order.
ActionRead or build branches representing all choices in order.
CheckComplete the tree diagram branch read-build action.
UseSupport / Core / Transfer
ShowsCheck only
PresentationCompact / Standard / Extended
Practice focus
Word problems are confusing
Word-ladder path or no-path proof
Word-ladder path or no-path proof asks the player to submit a valid finite word-ladder path under the declared mutation rule or a complete no-path certificate.
ActionSubmit a valid finite word-ladder path under the declared mutation rule or a complete no-path certificate.
CheckPick the path or next move that satisfies the rule.
UseSupport / Core / Transfer
ShowsCheck only
PresentationCompact / Standard / Extended
Practice focus
Word problems are confusing
