methodproof 0.8.0__tar.gz → 0.8.1__tar.gz

methodproof-0.8.1/.code-review-graph/.gitignore

@@ -0,0 +1,3 @@
+# Auto-generated by code-review-graph — do not commit database files.
+# The graph.db contains absolute paths and code structure metadata.
+*

{methodproof-0.8.0 → methodproof-0.8.1}/CHANGELOG.md

@@ -1,5 +1,24 @@
 # Changelog
 
+## [0.8.1] — 2026-04-17
+
+### Added
+- **File rename detection** — watcher `on_moved` handler emits `file_rename` atoms with `old_path`/`new_path` instead of producing two incorrect atoms (delete + create).
+- **`git_branch_switch` event** — git poller reads `.git/HEAD` on each 2s cycle and emits `git_branch_switch` with `old_branch`/`new_branch` when the active branch changes.
+- **`git_commit` branch name** — commits now carry a `branch` field read from `.git/HEAD`.
+- **`git_commit` per-file change status** — `files_changed` is now accompanied by `file_statuses` (`{path: "A"|"M"|"D"|"R"}`) via `--name-status` instead of `--name-only`.
+- **11 new test frameworks** — detection and result parsing for vitest, mocha, rspec, minitest, phpunit, unittest, dotnet test, swift test, gradle test, maven test, and ExUnit (total: 15).
+- **`test_run` carries `cwd`** — forwarded from the shell hook JSONL instead of being discarded.
+- **`is_journal_mode()` public API** — exposed on `agents.base` for agents making structural-vs-full content capture decisions.
+
+### Fixed
+- **15 hook event types bypassed consent gates** — `claude_session_end`, `agent_turn_end`, `agent_turn_error`, `context_compact_start/end`, `permission_request/denied`, `mcp_elicitation/result`, `worktree_create/remove`, `cwd_changed`, `tool_failure`, plus new `file_rename` and `git_branch_switch` — all now properly gated in `_EVENT_GATES`.
+- **Removed all arbitrary data truncation** — no more 50KB diff cap, 2000-line hunk cap, 2000-char commit body cap, 500-char terminal output cap, or 200-char error cap. The CLI captures faithfully; downstream consumers decide what to do with large payloads. Preview fields (derived summaries alongside raw data) are unchanged.
+
+### Changed
+- **TUI inline detail screen** — `mp log` enter key opens a full-screen `DetailScreen` with event mix breakdown and per-type timeline instead of exiting to an external viewer.
+- **SHOMEN/KINMYAKU theme toggle** — `MP_THEME=shomen` selects the light theme; default remains `kinmyaku` (dark). `Theme` dataclass adds `accent`, `cursor_bg`, `cursor_fg` semantic roles. DataTable cursor CSS for both themes.
+
 ## [0.8.0] — 2026-04-15
 
 ### Added

{methodproof-0.8.0 → methodproof-0.8.1}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: methodproof
-Version: 0.8.0
+Version: 0.8.1
 Summary: See how you code. Capture and visualize your engineering process.
 License-Expression: Apache-2.0
 License-File: LICENSE

{methodproof-0.8.0 → methodproof-0.8.1}/methodproof/__init__.py

@@ -1,3 +1,3 @@
 """MethodProof — see how you code."""
 
-__version__ = "0.7.21"
+__version__ = "0.8.1"

{methodproof-0.8.0 → methodproof-0.8.1}/methodproof/agents/base.py

@@ -68,6 +68,24 @@ _EVENT_GATES: dict[str, str] = {
     "gemini_session_end": "ai_responses",
     "kiro_session_start": "ai_prompts",
     "kiro_session_end": "ai_responses",
+    # Hook lifecycle events (continued)
+    "claude_session_end": "ai_responses",
+    "agent_turn_end": "ai_responses",
+    "agent_turn_error": "ai_responses",
+    "context_compact_start": "ai_responses",
+    "context_compact_end": "ai_responses",
+    "permission_request": "ai_responses",
+    "permission_denied": "ai_responses",
+    "mcp_elicitation": "ai_responses",
+    "mcp_elicitation_result": "ai_responses",
+    "worktree_create": "ai_responses",
+    "worktree_remove": "ai_responses",
+    "cwd_changed": "ai_responses",
+    "tool_failure": "ai_responses",
+    # File system events
+    "file_rename": "file_changes",
+    # Git events
+    "git_branch_switch": "git_commits",
 }
 
 # Maps capture categories to (event_type, field) pairs for field-level gating.
@@ -142,6 +160,13 @@ def is_content_captured() -> bool:
     return bool(_capture.get("code_capture", False))
 
 
+def is_journal_mode() -> bool:
+    """True when journal_mode is enabled — full content capture (prompts,
+    completions, diffs, terminal output). Agents use this to decide whether
+    to include content fields that are stripped in structural-only mode."""
+    return _journal_mode
+
+
 def emit(event_type: str, metadata: dict[str, Any]) -> None:
     if not _initialized:
         log("warning", "emit.before_init", type=event_type)
@@ -226,6 +251,10 @@ def _stream_event(entry: dict[str, Any]) -> None:
         detail = f'{meta.get("path", "?")} ({meta.get("size", 0)}B)'
     elif etype == "file_delete":
         detail = meta.get("path", "?")
+    elif etype == "file_rename":
+        detail = f'{meta.get("old_path", "?")} → {meta.get("new_path", "?")}'
+    elif etype == "git_branch_switch":
+        detail = f'{meta.get("old_branch", "?")} → {meta.get("new_branch", "?")}'
     elif etype == "terminal_cmd":
         detail = f'{meta.get("command", "?")[:60]} → exit {meta.get("exit_code", "?")}'
     elif etype == "test_run":

{methodproof-0.8.0 → methodproof-0.8.1}/methodproof/agents/terminal.py

@@ -20,11 +20,27 @@ TEST_FRAMEWORKS = {
     "jest": re.compile(r"\bjest\b|npx jest|npm test"),
     "go_test": re.compile(r"\bgo test\b"),
     "cargo_test": re.compile(r"\bcargo test\b"),
+    "vitest": re.compile(r"\bvitest\b|npx vitest"),
+    "mocha": re.compile(r"\bmocha\b|npx mocha"),
+    "rspec": re.compile(r"\brspec\b|bundle exec rspec"),
+    "minitest": re.compile(r"\bruby\b.*test|rake test"),
+    "phpunit": re.compile(r"\bphpunit\b|vendor/bin/phpunit"),
+    "unittest": re.compile(r"python.*-m\s+unittest|python.*-m\s+nose"),
+    "dotnet_test": re.compile(r"\bdotnet test\b"),
+    "swift_test": re.compile(r"\bswift test\b"),
+    "gradle_test": re.compile(r"\bgradle\b.*\btest\b|gradlew.*\btest\b"),
+    "maven_test": re.compile(r"\bmvn\b.*\btest\b|mvnw.*\btest\b"),
+    "exunit": re.compile(r"\bmix test\b"),
 }
 
 _PYTEST_RE = re.compile(r"(\d+) passed(?:.*?(\d+) failed)?(?:.*?(\d+) skipped)?")
 _JEST_RE = re.compile(r"Tests:\s+(?:(\d+) failed,\s+)?(\d+) passed(?:,\s+(\d+) skipped)?")
 _CARGO_RE = re.compile(r"(\d+) passed.*?(\d+) failed")
+_VITEST_RE = re.compile(r"Tests\s+(\d+) passed(?:\s*\|\s*(\d+) failed)?(?:\s*\|\s*(\d+) skipped)?")
+_RSPEC_RE = re.compile(r"(\d+) examples?,\s*(\d+) failures?(?:,\s*(\d+) pending)?")
+_PHPUNIT_RE = re.compile(r"OK \((\d+) tests?|Tests:\s*(\d+).*?Failures:\s*(\d+)")
+_DOTNET_RE = re.compile(r"Passed!\s+-\s+Failed:\s+(\d+),\s+Passed:\s+(\d+),\s+Skipped:\s+(\d+)")
+_EXUNIT_RE = re.compile(r"(\d+) tests?,\s*(\d+) failures?(?:,\s*(\d+) excluded)?")
 
 
 def _detect_test(command: str) -> str | None:
@@ -40,9 +56,12 @@ def _parse_test_results(output: str, framework: str, exit_code: int) -> tuple[in
         m = _PYTEST_RE.search(output)
         if m:
             return int(m.group(1)), int(m.group(2) or 0), int(m.group(3) or 0)
-    elif framework == "jest":
-        m = _JEST_RE.search(output)
+    elif framework in ("jest", "vitest"):
+        pat = _VITEST_RE if framework == "vitest" else _JEST_RE
+        m = pat.search(output)
         if m:
+            if framework == "vitest":
+                return int(m.group(1) or 0), int(m.group(2) or 0), int(m.group(3) or 0)
             return int(m.group(2) or 0), int(m.group(1) or 0), int(m.group(3) or 0)
     elif framework == "go_test":
         return output.count("--- PASS"), output.count("--- FAIL"), output.count("--- SKIP")
@@ -50,6 +69,24 @@ def _parse_test_results(output: str, framework: str, exit_code: int) -> tuple[in
         m = _CARGO_RE.search(output)
         if m:
             return int(m.group(1)), int(m.group(2)), 0
+    elif framework == "rspec":
+        m = _RSPEC_RE.search(output)
+        if m:
+            return int(m.group(1)) - int(m.group(2)), int(m.group(2)), int(m.group(3) or 0)
+    elif framework == "phpunit":
+        m = _PHPUNIT_RE.search(output)
+        if m:
+            if m.group(1):
+                return int(m.group(1)), 0, 0
+            return int(m.group(2) or 0) - int(m.group(3) or 0), int(m.group(3) or 0), 0
+    elif framework == "dotnet_test":
+        m = _DOTNET_RE.search(output)
+        if m:
+            return int(m.group(2)), int(m.group(1)), int(m.group(3))
+    elif framework == "exunit":
+        m = _EXUNIT_RE.search(output)
+        if m:
+            return int(m.group(1)) - int(m.group(2)), int(m.group(2)), int(m.group(3) or 0)
     if exit_code == 0:
         return 1, 0, 0
     return 0, 1, 0
@@ -91,7 +128,7 @@ def _process(line: str) -> None:
         return
     exit_code = entry.get("exit_code", 0)
     duration = entry.get("duration_ms", 0)
-    output = entry.get("output", "")[:500]
+    output = entry.get("output", "")
     if SENSITIVE.search(output):
         output = "[redacted — contains sensitive content]"
     cwd = entry.get("cwd", "")
@@ -107,7 +144,10 @@ def _process(line: str) -> None:
     framework = _detect_test(command)
     if framework:
         passed, failed, skipped = _parse_test_results(output, framework, exit_code)
-        base.emit("test_run", {
+        test_meta: dict = {
             "framework": framework, "passed": passed, "failed": failed,
             "skipped": skipped, "duration_ms": duration,
-        })
+        }
+        if cwd:
+            test_meta["cwd"] = cwd
+        base.emit("test_run", test_meta)

{methodproof-0.8.0 → methodproof-0.8.1}/methodproof/agents/watcher.py

@@ -45,9 +45,6 @@ IGNORE_PATTERNS = re.compile(
 )
 
 
-_MAX_DIFF_BYTES = 50_000
-_MAX_HUNK_LINES = 2_000
-
 _HUNK_HEADER_RE = re.compile(r"^@@ -(\d+)(?:,(\d+))? \+(\d+)(?:,(\d+))? @@")
 _DIFF_FILE_RE = re.compile(r"^diff --git a/(.+?) b/(.+?)$")
 
@@ -60,7 +57,6 @@ def _parse_hunks(diff_text: str, include_lines: bool) -> list[dict[str, object]]
     """
     hunks: list[dict[str, object]] = []
     current: dict[str, object] | None = None
-    total_lines = 0
     for line in diff_text.splitlines():
         header = _HUNK_HEADER_RE.match(line)
         if header:
@@ -81,10 +77,7 @@ def _parse_hunks(diff_text: str, include_lines: bool) -> list[dict[str, object]]
             continue
         if line.startswith("+++") or line.startswith("---"):
             continue
-        if total_lines >= _MAX_HUNK_LINES:
-            continue
         current["lines"].append(line)  # type: ignore[union-attr]
-        total_lines += 1
     if current is not None:
         hunks.append(current)
     return hunks
@@ -122,7 +115,7 @@ def _git_diff_hunks(repo: str, path: str, include_lines: bool) -> list[dict[str,
             ["git", "-C", repo, "diff", "--unified=0", "--", path],
             capture_output=True, text=True, timeout=5,
         )
-        return _parse_hunks(result.stdout[:_MAX_DIFF_BYTES], include_lines)
+        return _parse_hunks(result.stdout, include_lines)
     except Exception:
         return []
 
@@ -136,7 +129,7 @@ def _git_show_file_hunks(
             ["git", "-C", repo, "show", "--format=", "--unified=0", sha],
             capture_output=True, text=True, timeout=10,
         )
-        return _parse_show_hunks(result.stdout[:_MAX_DIFF_BYTES * 4], include_lines)
+        return _parse_show_hunks(result.stdout, include_lines)
     except Exception:
         return {}
 
@@ -160,25 +153,25 @@ def _git_diff_stats(repo: str, path: str) -> tuple[int, int]:
 
 
 def _git_diff_content(repo: str, path: str) -> str:
-    """Get full diff content for a file, capped at 50KB."""
+    """Get full diff content for a file."""
     try:
         result = subprocess.run(
             ["git", "-C", repo, "diff", "--", path],
             capture_output=True, text=True, timeout=5,
         )
-        return result.stdout[:_MAX_DIFF_BYTES]
+        return result.stdout
     except Exception:
         return ""
 
 
 def _git_show_diff(repo: str, sha: str) -> str:
-    """Get full diff for a commit, capped at 50KB."""
+    """Get full diff for a commit."""
     try:
         result = subprocess.run(
             ["git", "-C", repo, "show", "--format=", sha],
             capture_output=True, text=True, timeout=10,
         )
-        return result.stdout[:_MAX_DIFF_BYTES]
+        return result.stdout
     except Exception:
         return ""
 
@@ -239,14 +232,44 @@ class _Handler(FileSystemEventHandler):
         lang = Path(event.src_path).suffix.lstrip(".")
         base.emit("file_delete", {"path": path, "language": lang})
 
+    def on_moved(self, event: FileSystemEvent) -> None:
+        if event.is_directory:
+            return
+        src = event.src_path
+        dest = getattr(event, "dest_path", "")
+        if IGNORE_PATTERNS.search(src) and IGNORE_PATTERNS.search(dest or src):
+            return
+        old_path = self._relpath(src)
+        new_path = self._relpath(dest) if dest else old_path
+        lang = Path(dest or src).suffix.lstrip(".")
+        old_hash = self._hashes.pop(old_path, None)
+        if old_hash:
+            self._hashes[new_path] = old_hash
+        base.emit("file_rename", {
+            "old_path": old_path, "new_path": new_path, "language": lang,
+        })
+
+
+def _read_branch(head_file: Path) -> str:
+    """Read current branch from .git/HEAD. Returns '' for detached HEAD."""
+    try:
+        content = head_file.read_text().strip()
+        if content.startswith("ref: refs/heads/"):
+            return content[16:]
+        return ""
+    except OSError:
+        return ""
+
 
 def _poll_git(watch_dir: str, stop: threading.Event) -> None:
-    """Poll .git/refs for new commits every 2 seconds."""
+    """Poll .git/refs for new commits and HEAD for branch switches."""
     git_dir = Path(watch_dir) / ".git"
     if not git_dir.exists():
         return
     seen: set[str] = set()
     refs = git_dir / "refs" / "heads"
+    head_file = git_dir / "HEAD"
+    last_branch = _read_branch(head_file)
     while not stop.is_set():
         try:
             for ref in refs.iterdir():
@@ -257,12 +280,17 @@ def _poll_git(watch_dir: str, stop: threading.Event) -> None:
                         _log_commit(watch_dir, sha)
         except OSError:
             pass
+        current_branch = _read_branch(head_file)
+        if current_branch and current_branch != last_branch and last_branch:
+            base.emit("git_branch_switch", {
+                "old_branch": last_branch, "new_branch": current_branch,
+            })
+        last_branch = current_branch
         stop.wait(2)
 
 
 def _log_commit(watch_dir: str, sha: str) -> None:
     try:
-        # Single git call: subject\x00author\x00email\x00iso_date\x00parent_hash\x00full_body
         fmt = subprocess.run(
             ["git", "-C", watch_dir, "log", "-1",
              "--format=%s%x00%an%x00%ae%x00%ai%x00%P%x00%B", sha],
@@ -275,12 +303,22 @@ def _log_commit(watch_dir: str, sha: str) -> None:
         committed_at = parts[3].strip() if len(parts) > 3 else ""
         parent_hash = parts[4].strip()[:7] if len(parts) > 4 else ""
         body = parts[5].strip() if len(parts) > 5 else ""
-        files = subprocess.run(
-            ["git", "-C", watch_dir, "diff-tree", "--no-commit-id", "-r", "--name-only", sha],
+        status_lines = subprocess.run(
+            ["git", "-C", watch_dir, "diff-tree", "--no-commit-id", "-r", "--name-status", sha],
             capture_output=True, text=True, timeout=5,
         ).stdout.strip().splitlines()
+        files: list[str] = []
+        file_statuses: dict[str, str] = {}
+        for sl in status_lines:
+            sl_parts = sl.split("\t", 1)
+            if len(sl_parts) == 2:
+                file_statuses[sl_parts[1]] = sl_parts[0]
+                files.append(sl_parts[1])
+            elif sl.strip():
+                files.append(sl.strip())
     except Exception:
-        subject, author, author_email, committed_at, parent_hash, body, files = "", "", "", "", "", "", []
+        subject, author, author_email, committed_at, parent_hash, body = "", "", "", "", "", ""
+        files, file_statuses = [], {}
     meta: dict[str, object] = {
         "hash": sha[:7], "message": subject, "files_changed": files,
         "author": author, "author_email": author_email, "committed_at": committed_at,
@@ -288,7 +326,12 @@ def _log_commit(watch_dir: str, sha: str) -> None:
     if parent_hash:
         meta["parent_hash"] = parent_hash
     if body and body != subject:
-        meta["body"] = body[:2000]
+        meta["body"] = body
+    if file_statuses:
+        meta["file_statuses"] = file_statuses
+    branch = _read_branch(Path(watch_dir) / ".git" / "HEAD")
+    if branch:
+        meta["branch"] = branch
     include_lines = base.is_content_captured()
     file_hunks = _git_show_file_hunks(watch_dir, sha, include_lines)
     if file_hunks:

{methodproof-0.8.0 → methodproof-0.8.1}/methodproof/cli.py

@@ -1577,8 +1577,6 @@ def cmd_log(args: argparse.Namespace) -> None:
             fake = _ap.Namespace(session_id=sid, local=False)
             if action == "push":
                 cmd_push(fake)
-            elif action == "view":
-                cmd_view(fake)
         return
     sessions = store.list_sessions()
     if not sessions:

{methodproof-0.8.0 → methodproof-0.8.1}/methodproof/hooks/claude_code.py

@@ -113,20 +113,19 @@ _META_EXTRACTORS = {
         "tool": _TOOL, "tool_name": d.get("tool_name", "unknown"),
         "success": False, "is_interrupt": d.get("is_interrupt", False),
         "tool_input": d.get("tool_input") or {},
-        "error": str(d.get("error", ""))[:200],
+        "error": d.get("error", ""),
     },
     "SubagentStart": lambda d: {"tool": _TOOL, "agent_type": d.get("agent_type", "unknown"), "agent_id": d.get("agent_id", "")},
     "SubagentStop": lambda d: {
         "tool": _TOOL, "agent_type": d.get("agent_type", "unknown"), "agent_id": d.get("agent_id", ""),
         "last_assistant_message": d.get("last_assistant_message", ""),
-        "last_message_preview": str(d.get("last_assistant_message", ""))[:200],
     },
     "TaskCreated": lambda d: {"tool": _TOOL, "task_id": d.get("task_id", ""), "subject": d.get("task_subject", "")},
     "TaskCompleted": lambda d: {"tool": _TOOL, "task_id": d.get("task_id", "")},
     "SessionStart": lambda d: {"tool": _TOOL, "session_id": d.get("session_id", ""), "cwd": d.get("cwd", "")},
     "SessionEnd": lambda d: {"tool": _TOOL, "session_id": d.get("session_id", "")},
     "Stop": lambda d: {"tool": _TOOL},
-    "StopFailure": lambda d: {"tool": _TOOL, "error": str(d.get("error", ""))[:200]},
+    "StopFailure": lambda d: {"tool": _TOOL, "error": d.get("error", "")},
     "CwdChanged": lambda d: {
         "tool": _TOOL, "cwd": d.get("cwd", ""),
         # NOTE: fires for both human `cd` and Claude tool use — caller is ambiguous

{methodproof-0.8.0 → methodproof-0.8.1}/methodproof/tui/log.py

@@ -1,25 +1,28 @@
-"""Textual TUI for mp log — session browser with preview pane."""
+"""Textual TUI for mp log — session browser with inline detail screen."""
 from __future__ import annotations
 
+import json
 from datetime import datetime, UTC
 
 from textual.app import App, ComposeResult
 from textual.binding import Binding
-from textual.containers import Horizontal, Vertical
+from textual.containers import Horizontal, Vertical, VerticalScroll
+from textual.screen import Screen
 from textual.widgets import DataTable, Footer, Header, Static
 
 from methodproof import store
-from methodproof.tui.theme import BASE_CSS, BORDER, DIM, GOLD, GREEN, PURPLE, RED, TEXT
+from methodproof.tui.theme import ACTIVE, BASE_CSS, BORDER, DIM, GOLD, GREEN, PURPLE, RED, TEXT
+from methodproof.viewer import SENSITIVE_FIELDS, _event_summary, _offset
 
 _CSS = BASE_CSS + f"""
 #sessions-table {{
     width: 3fr;
-    border-right: solid {BORDER};
+    border-right: solid {ACTIVE.border};
 }}
 #preview-pane {{
     width: 1fr;
     padding: 1 2;
-    background: #0a0908;
+    background: {ACTIVE.sidebar_bg};
 }}
 .preview-meta {{
     color: {TEXT};
@@ -34,6 +37,12 @@ _CSS = BASE_CSS + f"""
     text-style: bold;
     margin: 1 0 0 0;
 }}
+#detail-scroll {{
+    padding: 1 3;
+}}
+#detail-content {{
+    width: 100%;
+}}
 """
 
 _DT_FMT = "%b %d %H:%M"
@@ -48,8 +57,89 @@ def _fmt_events(n: int) -> str:
     return f"{n/1000:.1f}k" if n >= 1000 else str(n)
 
 
+class DetailScreen(Screen):
+    """Full-screen session detail view — esc returns to the list."""
+
+    BINDINGS = [
+        Binding("escape", "back", "back"),
+        Binding("q", "back", "back"),
+    ]
+
+    def __init__(self, session: dict) -> None:
+        super().__init__()
+        self._session = session
+
+    def compose(self) -> ComposeResult:
+        yield Header(show_clock=False)
+        with VerticalScroll(id="detail-scroll"):
+            yield Static(self._render(), id="detail-content")
+        yield Footer()
+
+    def action_back(self) -> None:
+        self.app.pop_screen()
+
+    def _render(self) -> str:
+        sess = self._session
+        sid = (sess.get("id") or "")[:8]
+        created = sess.get("created_at", 0)
+        completed = sess.get("completed_at")
+        dt_str = datetime.fromtimestamp(created, tz=UTC).strftime(_DT_FMT) if created else "—"
+        dur = _fmt_dur(int((completed or created) - created)) if completed else "in progress"
+        vis = sess.get("visibility", "private")
+        synced = "synced" if sess.get("synced") else "local"
+        tags = json.loads(sess.get("tags") or "[]")
+        repo = sess.get("repo_url") or "—"
+
+        events = store.get_events(sess["id"], decrypt=True)
+
+        lines = [
+            f"[bold {GOLD}]session {sid}[/bold {GOLD}]",
+            f"[{DIM}]{dt_str}  ·  {dur}  ·  {len(events)} events  ·  {vis}  ·  {synced}[/{DIM}]",
+            f"[{DIM}]repo: {repo}[/{DIM}]",
+        ]
+        if tags:
+            lines.append(f"[{DIM}]tags: {', '.join(tags)}[/{DIM}]")
+
+        if not events:
+            lines.append("")
+            lines.append(f"[{DIM}]no events captured[/{DIM}]")
+            return "\n".join(lines)
+
+        by_type: dict[str, list[dict]] = {}
+        for e in events:
+            by_type.setdefault(e["type"], []).append(e)
+
+        total = len(events)
+        lines.append("")
+        lines.append(f"[bold {GOLD}]Event mix[/bold {GOLD}]")
+        for etype, items in sorted(by_type.items(), key=lambda x: -len(x[1])):
+            pct = len(items) / total
+            bar_len = max(1, int(pct * 18))
+            bar = "█" * bar_len + "░" * (18 - bar_len)
+            lines.append(
+                f"[{DIM}]{etype:<20}[/{DIM}] "
+                f"[{TEXT}]{len(items):>5}[/{TEXT}]  "
+                f"[{GREEN}]{bar}[/{GREEN}] "
+                f"[{DIM}]{int(pct * 100):>3}%[/{DIM}]"
+            )
+
+        start_ts = events[0]["timestamp"]
+        lines.append("")
+        lines.append(f"[bold {GOLD}]Timeline[/bold {GOLD}]")
+        for etype, items in sorted(by_type.items(), key=lambda x: -len(x[1])):
+            lines.append("")
+            lines.append(f"[{PURPLE}]{etype}[/{PURPLE}] [{DIM}]({len(items)})[/{DIM}]")
+            for e in items:
+                ts = _offset(e["timestamp"], start_ts)
+                meta = json.loads(e.get("metadata") or "{}")
+                summary = _event_summary(etype, meta) or ""
+                lines.append(f"  [{DIM}]{ts}[/{DIM}]  [{TEXT}]{summary}[/{TEXT}]")
+
+        return "\n".join(lines)
+
+
 class LogApp(App[None]):
-    """Session browser — navigate with ↑↓, push with p, view with enter."""
+    """Session browser — ↑↓ navigate, enter details, esc back/quit, p push."""
 
     TITLE = "methodproof — mp log"
     CSS = _CSS
@@ -95,6 +185,7 @@ class LogApp(App[None]):
 
         if self._sessions:
             self._update_preview(0)
+        table.focus()
 
     def on_data_table_row_highlighted(self, event: DataTable.RowHighlighted) -> None:
         self._update_preview(event.cursor_row)
@@ -119,6 +210,8 @@ class LogApp(App[None]):
             f"[{DIM}]{dur}  ·  {ev} events[/{DIM}]",
             f"[{DIM}]{sid}[/{DIM}]",
             "",
+            f"[{DIM}]enter: details  ·  p: push  ·  esc: quit[/{DIM}]",
+            "",
         ]
 
         if moments:
@@ -138,16 +231,17 @@ class LogApp(App[None]):
     def action_push_session(self) -> None:
         table = self.query_one(DataTable)
         row = table.cursor_row
-        if row < len(self._sessions):
-            sid = self._sessions[row].get("id", "")
-            self.exit(("push", sid))
+        if row is None or row >= len(self._sessions):
+            return
+        sid = self._sessions[row].get("id", "")
+        self.exit(("push", sid))
 
     def action_view_session(self) -> None:
         table = self.query_one(DataTable)
         row = table.cursor_row
-        if row < len(self._sessions):
-            sid = self._sessions[row].get("id", "")
-            self.exit(("view", sid))
+        if row is None or row >= len(self._sessions):
+            return
+        self.push_screen(DetailScreen(self._sessions[row]))
 
 
 def run() -> tuple[str, str] | None:

methodproof-0.8.1/methodproof/tui/theme.py

@@ -0,0 +1,156 @@
+"""Theme palette for the MethodProof TUI.
+
+Two themes: **SHOMEN** (light) and **KINMYAKU** (dark). One is selected at
+process startup via the ``MP_THEME`` environment variable (``shomen`` or
+``kinmyaku``); default is ``kinmyaku`` because most dev terminals run dark.
+
+Call sites should import ``ACTIVE`` and read attributes on it
+(``ACTIVE.accent``, ``ACTIVE.ai_input``) — intent, not hex. The uppercase
+re-exports (``GOLD``, ``DIM``, …) are kept for legacy Rich markup and
+resolve to the selected theme at import time.
+"""
+from __future__ import annotations
+
+import os
+from dataclasses import dataclass
+
+
+@dataclass(frozen=True)
+class Theme:
+    name: str
+    # Surfaces
+    bg: str
+    surface: str
+    sidebar_bg: str
+    panel_bg: str
+    border: str
+    # Text
+    text: str
+    dim: str
+    # Brand node colors (what) — five-color palette from brand/
+    gold: str
+    gold_aged: str
+    gold_deep: str
+    gold_ember: str
+    red: str
+    green: str
+    purple: str
+    purple_muted: str
+    # Semantic roles (why) — every call site that means something should
+    # use one of these, not the raw brand names above
+    accent: str        # primary interactive accent (gold dark / vermillion light)
+    ai_input: str      # prompts, agent dispatch, tool calls
+    ai_output: str     # completions, agent replies, tool results
+    human: str         # file edits, terminal, git — structural engineer work
+    verify: str        # tests, browser research, web lookups
+    moment: str        # flagged moments, pivots, breakthroughs
+    # Cursor / selection highlight (list rows, focused controls)
+    cursor_bg: str
+    cursor_fg: str
+
+
+# ── KINMYAKU — 金脈, "gold vein" (dark) ─────────────────────────────────
+KINMYAKU = Theme(
+    name="kinmyaku",
+    bg="#12110f", surface="#1c1a18", sidebar_bg="#0a0908",
+    panel_bg="#0f0d0b", border="#2e2c29",
+    text="#e8e4de", dim="#8b8171",
+    gold="#c9a84c", gold_aged="#9a7b3a",
+    gold_deep="#6b5528", gold_ember="#3d3118",
+    red="#e85445",
+    green="#40d98c",
+    purple="#9b59b6", purple_muted="#6b2f7d",
+    accent="#c9a84c",
+    ai_input="#9b59b6", ai_output="#c9a84c", human="#e8e4de",
+    verify="#40d98c", moment="#e85445",
+    cursor_bg="#c9a84c", cursor_fg="#12110f",
+)
+
+# ── SHOMEN — 正面, "the front" (light) ──────────────────────────────────
+# Gold is darkened for contrast on white. Vermillion is the primary accent
+# per METHODPROOF.md: "In light mode, vermillion and the brand node colors
+# are the only saturated colors."
+SHOMEN = Theme(
+    name="shomen",
+    bg="#ffffff", surface="#fafaf7", sidebar_bg="#f5f4ef",
+    panel_bg="#f5f4ef", border="#d0ccc2",
+    text="#0a0a0a", dim="#6b6862",
+    gold="#8a6f2a", gold_aged="#6b5528",
+    gold_deep="#3d3118", gold_ember="#e8dfc5",
+    red="#d93326",
+    green="#2d7a42",
+    purple="#803794", purple_muted="#b89ac2",
+    accent="#d93326",
+    ai_input="#803794", ai_output="#8a6f2a", human="#0a0a0a",
+    verify="#2d7a42", moment="#d93326",
+    cursor_bg="#d93326", cursor_fg="#ffffff",
+)
+
+
+_THEMES = {"shomen": SHOMEN, "kinmyaku": KINMYAKU}
+ACTIVE: Theme = _THEMES.get(os.environ.get("MP_THEME", "kinmyaku").strip().lower(), KINMYAKU)
+
+
+# Legacy uppercase re-exports — bound to the selected theme. Kept so Rich
+# markup in existing files (`[{GOLD}]…[/{GOLD}]`) keeps rendering. New code
+# should use `ACTIVE.accent` / `ACTIVE.ai_output` instead of these.
+GOLD = ACTIVE.gold
+GREEN = ACTIVE.green
+RED = ACTIVE.red
+PURPLE = ACTIVE.purple
+BG = ACTIVE.bg
+BORDER = ACTIVE.border
+TEXT = ACTIVE.text
+DIM = ACTIVE.dim
+
+
+BASE_CSS = f"""
+Screen {{
+    background: {ACTIVE.bg};
+    color: {ACTIVE.text};
+}}
+Header {{
+    background: {ACTIVE.surface};
+    color: {ACTIVE.accent};
+    text-style: bold;
+}}
+Footer {{
+    background: {ACTIVE.surface};
+    color: {ACTIVE.dim};
+}}
+.panel {{
+    border: solid {ACTIVE.border};
+    background: {ACTIVE.panel_bg};
+    margin: 0 0 1 0;
+    padding: 1 2;
+}}
+.section-title {{
+    color: {ACTIVE.accent};
+    text-style: bold;
+    margin: 0 0 1 0;
+}}
+.row-label {{
+    width: 24;
+    color: {ACTIVE.text};
+}}
+.row-desc {{
+    color: {ACTIVE.dim};
+}}
+Rule {{
+    color: {ACTIVE.border};
+    margin: 1 0;
+}}
+DataTable > .datatable--cursor {{
+    background: {ACTIVE.cursor_bg};
+    color: {ACTIVE.cursor_fg};
+    text-style: bold;
+}}
+DataTable:focus > .datatable--cursor {{
+    background: {ACTIVE.cursor_bg};
+    color: {ACTIVE.cursor_fg};
+    text-style: bold;
+}}
+DataTable > .datatable--hover {{
+    background: {ACTIVE.surface};
+}}
+"""

{methodproof-0.8.0 → methodproof-0.8.1}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "methodproof"
-version = "0.8.0"
+version = "0.8.1"
 description = "See how you code. Capture and visualize your engineering process."
 requires-python = ">=3.11"
 dependencies = ["watchdog>=4.0", "websocket-client>=1.7", "cryptography>=43.0", "keyring>=25.0", "textual>=0.59", "rich>=13.7", "sqlcipher3>=0.6"]

methodproof-0.8.0/methodproof/tui/theme.py

@@ -1,106 +0,0 @@
-"""Theme palette for MethodProof TUI — KINMYAKU (dark) mode.
-
-Colors derived from THEMES/METHODPROOF.md spec. Semantic roles encode
-meaning (ai_input, ai_output, human, verify, moment) so TUI code reads
-intent, not hex values.
-"""
-from dataclasses import dataclass
-
-
-@dataclass(frozen=True)
-class Palette:
-    # Brand accents
-    gold: str
-    gold_aged: str
-    gold_deep: str
-    gold_ember: str
-    green: str
-    green_muted: str
-    red: str
-    purple: str
-    purple_muted: str
-    # Surfaces
-    bg: str
-    surface: str
-    panel_bg: str
-    border: str
-    sidebar_bg: str
-    deep_bg: str
-    purple_bg: str
-    # Text
-    text: str
-    dim: str
-    # Semantic roles (aliases for intent-driven lookup)
-    ai_input: str
-    ai_output: str
-    human: str
-    verify: str
-    moment: str
-
-
-KINMYAKU = Palette(
-    gold="#c9a84c", gold_aged="#9a7b3a", gold_deep="#6b5528", gold_ember="#3d3118",
-    green="#40d98c", green_muted="#2a6b45",
-    red="#e85445",
-    purple="#9b59b6", purple_muted="#6b2f7d",
-    bg="#12110f", surface="#1c1a18", panel_bg="#0f0d0b", border="#2e2c29",
-    sidebar_bg="#0a0908", deep_bg="#050403", purple_bg="#200a26",
-    text="#e8e4de", dim="#8b8171",
-    ai_input="#9b59b6", ai_output="#c9a84c", human="#e8e4de",
-    verify="#40d98c", moment="#e85445",
-)
-
-ACTIVE = KINMYAKU
-
-# Backward-compatible re-exports — all existing imports keep working.
-GOLD = ACTIVE.gold
-GREEN = ACTIVE.green
-RED = ACTIVE.red
-PURPLE = ACTIVE.purple
-NAVY = "#192a56"  # brand-only, not in palette
-BG = ACTIVE.bg
-BAR = ACTIVE.surface
-PANEL_BG = ACTIVE.panel_bg
-BORDER = ACTIVE.border
-TEXT = ACTIVE.text
-DIM = ACTIVE.dim
-SIDEBAR_BG = ACTIVE.sidebar_bg
-DEEP_BG = ACTIVE.deep_bg
-PURPLE_BG = ACTIVE.purple_bg
-
-BASE_CSS = f"""
-Screen {{
-    background: {ACTIVE.bg};
-}}
-Header {{
-    background: {ACTIVE.surface};
-    color: {ACTIVE.gold};
-    text-style: bold;
-}}
-Footer {{
-    background: {ACTIVE.surface};
-    color: {ACTIVE.dim};
-}}
-.panel {{
-    border: solid {ACTIVE.border};
-    background: {ACTIVE.panel_bg};
-    margin: 0 0 1 0;
-    padding: 1 2;
-}}
-.section-title {{
-    color: {ACTIVE.gold};
-    text-style: bold;
-    margin: 0 0 1 0;
-}}
-.row-label {{
-    width: 24;
-    color: {ACTIVE.text};
-}}
-.row-desc {{
-    color: {ACTIVE.dim};
-}}
-Rule {{
-    color: {ACTIVE.border};
-    margin: 1 0;
-}}
-"""