The portal's provider now composes the shared source builders extracted
from useSuperSearch — tools, settings and Processor pages rank
identically in both apps, with Processor leading in the portal and the
editor keeping its own order. Files stay editor-only (a file can only
open there). Selecting a tool from the portal hands over to the editor
via its URL routing; settings opens the portal's settings modal.
Opening a file from the editor's search now loads its stored stub
instead of re-adding it, which used to persist a duplicate record.