Add the agents subnav with "interactive" and "pipeline" tabs, similar to how fund and tasks have subnavs.
1. interactive — /agents — The new interactive agents dashboard (default)
2. pipeline — /agents/pipeline — The existing automated pipeline dashboard (re-mounted under /agents)
agentsSubnav :: Text -> Html () to Omni.Web.Style (like fundSubnav, tasksSubnav)sharedShellWithSubnav in both the interactive agents page and the pipeline pageOmni/Web/Core.hs routing:/agents → new agents web app/agents/pipeline/* → existing Pipeline.Web app (strip prefix and forward)/pipeline/* → redirect to /agents/pipeline/* (backward compat, optional)basePath parameter, so remounting it under /agents/pipeline should work by passing the new base path.
Ava verified: shipped as part of commit b05c4976 'agents web ui: interactive agent interface'. /agents endpoint live on beryllium and returns 200. Moving to Verified.