methodproof 0.7.33__tar.gz → 0.7.35__tar.gz

{methodproof-0.7.33 → methodproof-0.7.35}/CHANGELOG.md

@@ -1,5 +1,27 @@
 # Changelog
 
+## [0.7.35] — 2026-04-12
+
+### Added
+- **10 TUI controls for `mp start`** — `j` journal toggle, `f` event filter cycle (all/ai_input/ai_output/human/verify), `s` scroll lock, `/` feed search, `tab` sidebar cycle (stats/files/tools), `t` tree collapse (hides chain inners, shows `+N` on closer), `d` timestamp format cycle (clock/relative/elapsed), `c` copy last event to clipboard, `enter` event detail modal, `m` quiet mode (hides dim events). All modes shown as badges in the session bar.
+- **Structural analysis summary on `user_prompt` events** — main line now shows `prompt_summary` from the 35-dimension analysis (e.g. `[instruction/synthesis] refactor auth — DI`) instead of just char count.
+- **Multi-line journal output** — `user_prompt` shows full prompt text wrapped at 100 chars. `agent_complete` shows up to 500 chars / 8 lines preserving natural line breaks. Other event types remain single-line at 120 char cap.
+
+## [0.7.34] — 2026-04-12
+
+### Fixed
+- **`mp push` after mid-session push was permanently blocked** — pushing an active session marked it as synced. After stopping, additional events existed locally but could never be uploaded. Now: if a session was pushed while active and is now completed, `mp push` automatically re-pushes the full session. For already-completed sessions, `mp push --force` re-uploads all events.
+
+## [0.7.33] — 2026-04-12
+
+### Added
+- **KINMYAKU theme palette**: `Palette` frozen dataclass replaces flat hex constants in `tui/theme.py`. Dark-adjusted colors from METHODPROOF.md spec — purple, green, red, dim all shifted for proper contrast on dark backgrounds. Five semantic roles (`ai_input`, `ai_output`, `human`, `verify`, `moment`) so TUI code reads intent, not hex. Backward-compatible re-exports — all existing imports unchanged.
+- **Rich structural formatting for all 42 event types**: `mp start` feed now shows curated one-liners for every event type. `tool_call` → `Edit  app/core/auth.py`, `tool_result` → `Edit  ✓`, `agent_launch` → `explorer  spawned`, etc. Previously only 8 types had formatters; the rest showed raw key dumps or nothing.
+- **Causal chain tree indentation**: Prompt→tool_call→tool_result chains render with Unicode box-drawing characters (`├`, `│`, `└`) in gold-ember. Non-AI events (file edits, tests, commits) appear at root level. Mirrors the Neo4j graph structure during live capture.
+- **Journal mode content enrichment**: When journal is ON, a second dim line appears below events carrying content fields — truncated prompt text, tool results, diffs. Quoted and indented with a `│` gutter. When journal is OFF, these lines don't exist.
+- **Enriched session bar**: Now shows running event count and a gold `J` badge when journal mode is active.
+- **Moment alert wiring**: `_show_moment()` (previously dead code) now fires when known moment types appear in the event stream.
+
 ## [0.7.32] — 2026-04-12
 
 ### Fixed

{methodproof-0.7.33 → methodproof-0.7.35}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: methodproof
-Version: 0.7.33
+Version: 0.7.35
 Summary: See how you code. Capture and visualize your engineering process.
 License-Expression: Apache-2.0
 License-File: LICENSE
@@ -69,6 +69,29 @@ methodproof view      # explore your session in the browser
 - **Auto-detection** — hooks for shell, Claude Code, OpenClaw, codex, gemini, aider installed automatically
 - **Platform sync** — `methodproof push` uploads sessions. `methodproof publish` makes them public and shareable
 
+## Live Session TUI
+
+`mp start` launches a rich terminal UI that streams captured events in real-time. Events are color-coded by role (purple = AI input, gold = AI output, cream = human, green = verification) and indented into causal chains with Unicode tree characters.
+
+### Controls
+
+| Key | Action | Description |
+|-----|--------|-------------|
+| `j` | Journal toggle | Show/hide full content lines (prompts, completions, diffs) mid-session |
+| `f` | Filter cycle | All → AI input → AI output → Human → Verify |
+| `s` | Scroll lock | Freeze scroll position while events buffer; release snaps to bottom |
+| `/` | Search | Filter feed — non-matching lines render dimmed |
+| `tab` | Sidebar cycle | Stats → Recent files → Recent tools |
+| `t` | Tree collapse | Hide chain inners, show `+N` count on closer |
+| `d` | Timestamp format | Clock (`12:34:56`) → Relative (`+1.2s`) → Elapsed (`45.3s`) |
+| `c` | Copy last event | Full JSON metadata to clipboard |
+| `enter` | Event detail | Modal overlay with all metadata fields |
+| `m` | Quiet mode | Hide dim events (music, environment, MCP, context compaction) |
+| `p` | Pause | Pause/resume event polling |
+| `q` | Stop | Stop the session |
+
+Active modes display as badges in the session bar: `J` (journal), `⏸` (scroll locked), `Q` (quiet), `T` (tree collapsed), filter name when not "all".
+
 ## Security Architecture
 
 Every event passes through consent gating, encryption, and hash chaining before touching disk. The platform adds a server co-signature on push, creating two-party evidence.

{methodproof-0.7.33 → methodproof-0.7.35}/README.md

@@ -52,6 +52,29 @@ methodproof view      # explore your session in the browser
 - **Auto-detection** — hooks for shell, Claude Code, OpenClaw, codex, gemini, aider installed automatically
 - **Platform sync** — `methodproof push` uploads sessions. `methodproof publish` makes them public and shareable
 
+## Live Session TUI
+
+`mp start` launches a rich terminal UI that streams captured events in real-time. Events are color-coded by role (purple = AI input, gold = AI output, cream = human, green = verification) and indented into causal chains with Unicode tree characters.
+
+### Controls
+
+| Key | Action | Description |
+|-----|--------|-------------|
+| `j` | Journal toggle | Show/hide full content lines (prompts, completions, diffs) mid-session |
+| `f` | Filter cycle | All → AI input → AI output → Human → Verify |
+| `s` | Scroll lock | Freeze scroll position while events buffer; release snaps to bottom |
+| `/` | Search | Filter feed — non-matching lines render dimmed |
+| `tab` | Sidebar cycle | Stats → Recent files → Recent tools |
+| `t` | Tree collapse | Hide chain inners, show `+N` count on closer |
+| `d` | Timestamp format | Clock (`12:34:56`) → Relative (`+1.2s`) → Elapsed (`45.3s`) |
+| `c` | Copy last event | Full JSON metadata to clipboard |
+| `enter` | Event detail | Modal overlay with all metadata fields |
+| `m` | Quiet mode | Hide dim events (music, environment, MCP, context compaction) |
+| `p` | Pause | Pause/resume event polling |
+| `q` | Stop | Stop the session |
+
+Active modes display as badges in the session bar: `J` (journal), `⏸` (scroll locked), `Q` (quiet), `T` (tree collapsed), filter name when not "all".
+
 ## Security Architecture
 
 Every event passes through consent gating, encryption, and hash chaining before touching disk. The platform adds a server co-signature on push, creating two-party evidence.

{methodproof-0.7.33 → methodproof-0.7.35}/methodproof/cli.py

@@ -1793,7 +1793,8 @@ def cmd_push(args: argparse.Namespace) -> None:
         print("No sessions to push.")
         sys.exit(1)
     from methodproof.sync import push
-    remote_id = push(sid, cfg["token"], cfg["api_url"])
+    force = getattr(args, "force", False)
+    remote_id = push(sid, cfg["token"], cfg["api_url"], force=force)
     app = _app_url(cfg["api_url"])
     print(f"Pushed {sid[:8]} → {cfg['api_url']} (private).")
     print(f"  View: {app}/personal/sessions/{remote_id}")
@@ -2222,6 +2223,7 @@ def main() -> None:
     sw.add_argument("account", nargs="?", help="Email or account ID prefix")
     pu = sub.add_parser("push", help="Upload privately to your account")
     pu.add_argument("session_id", nargs="?")
+    pu.add_argument("--force", "-f", action="store_true", help="Re-upload all events (replaces previous push)")
     pu.add_argument("--local", action="store_true", help="Push to local dev API (localhost:8000)")
     tg = sub.add_parser("tag", help="Tag a session")
     tg.add_argument("session_id", help="Session ID (prefix ok)")

{methodproof-0.7.33 → methodproof-0.7.35}/methodproof/store.py

@@ -389,3 +389,11 @@ def mark_synced(session_id: str, remote_id: str) -> None:
         (remote_id, session_id),
     )
     _db().commit()
+
+
+def clear_sync(session_id: str) -> None:
+    _db().execute(
+        "UPDATE sessions SET synced = 0, remote_id = NULL WHERE id = ?",
+        (session_id,),
+    )
+    _db().commit()

{methodproof-0.7.33 → methodproof-0.7.35}/methodproof/sync.py

@@ -84,14 +84,22 @@ def _request(
         raise SystemExit(f"API error {exc.code}: {detail}") from None
 
 
-def push(session_id: str, token: str, api_url: str) -> str:
+def push(session_id: str, token: str, api_url: str, force: bool = False) -> str:
     """Upload a local session to the platform."""
     session = store.get_session(session_id)
     if not session:
         raise SystemExit(f"Session not found: {session_id}")
     if session["synced"]:
-        print(f"Already synced: {session_id[:8]}")
-        return session.get("remote_id", "")
+        if force:
+            print(f"Force re-push: {session_id[:8]}")
+            store.clear_sync(session_id)
+        elif not session.get("completed_at"):
+            print(f"Session was pushed while still active — re-pushing complete session.")
+            store.clear_sync(session_id)
+        else:
+            print(f"Already synced: {session_id[:8]}")
+            print(f"  (Use `mp push --force` to re-upload all events)")
+            return session.get("remote_id", "")
 
     # Create remote session (include binding + device_id if available)
     print("Creating remote session...", end=" ", flush=True)