T-to-S Reduction System • Interactive Demo

CORE INVARIANT

fraction_component(s) + function_term(s) = 16384

Every move preserves this exactly. The extra segment contributes fractions; the hidden function term compensates to keep the anchor constant.

ANCHOR

2¹⁴ = 16384

Solved when fraction known:

function = 16384 − fraction

Guarantees unique solution,
exact conservation,
strict progress & termination.

CURRENT STATE

Sequence Reduction

PROGRESS

3 / 7 elements cleared

S (TARGET PREFIX) — remains unchanged

EXTRA SEGMENT 7 elements remaining

Click chips to select elements for the next reduction move

APPLY REDUCTION MOVE

Choose Equation Form

Select exactly 2 elements from the extra segment

Selected Pair

— / —

Fraction (A/B)

—

This move solves for: 16383.75

Invariant check: fraction + function_term = 16384 ✓

Each move removes selected elements and preserves the invariant exactly.

MOVE HISTORY

Reduction Log

#	Form	Fraction	Function Term	Elements Removed	Cumulative Fraction