methodproof 0.7.33__tar.gz → 0.7.34__tar.gz

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

@@ -1,5 +1,20 @@
 # Changelog
 
+## [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.34}/PKG-INFO

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

{methodproof-0.7.33 → methodproof-0.7.34}/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.34}/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.34}/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)

{methodproof-0.7.33 → methodproof-0.7.34}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "methodproof"
-version = "0.7.33"
+version = "0.7.34"
 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"]