Function state_may_have_changed 

fn state_may_have_changed(
    state_mode: StateMode,
    last_timeline_count: PduCount,
) -> bool

Whether a room’s newest event lies past the delta cursor.

State changes arrive as timeline events, so a room with nothing newer than the cursor has none to report. A full sync always reports.