Treat boredom as a signal about skill-challenge mismatch…

Treat boredom as a signal about skill-challenge mismatch rather than as insufficient input, diagnosing which type of engagement is absent.