Add dynamic agent registry and options mandate

Introduces a dashboard-managed agent registry (`state/agents.json`) used by nightly research and market-open execution, including support for custom/disabled agents and per-agent time budgets. Expands personas to four agents (adds Maverick), shifts pick targets to include mandatory options, and updates prompts/finalization nudges to enforce option research without hard-failing runs.

Strengthens execution safety by adding option-specific guardrails (conviction floor, premium cap, reserved option slot through trade/day/buying-power caps), validates OCC option symbols in schemas, and normalizes invalid option direction cases. The dashboard was refactored into modular views, adds an Agents admin tab, and improves live portfolio visibility with Alpaca-first data and snapshot fallback.

web/views/logs.py

@@ -0,0 +1,18 @@
+"""Logs tab: tail any run log."""
+
+from __future__ import annotations
+
+import streamlit as st
+
+from web.views.common import S
+
+
+def render() -> None:
+    log_files = sorted(S.log_dir.glob("*.log"), reverse=True) if S.log_dir.exists() else []
+    if not log_files:
+        st.info("No logs yet.")
+        return
+    choice = st.selectbox("Log file", [f.name for f in log_files])
+    n = st.slider("Lines", 20, 1000, 200, 20)
+    text = (S.log_dir / choice).read_text().splitlines()[-n:]
+    st.code("\n".join(text), language="text")