Adopt mise for development workflows

- Lock Python and uv versions with mise
- Add unified sync, app, test, lint, format, and typecheck tasks
- Update development documentation and strengthen type handling

tests/test_main.py

@@ -6,6 +6,7 @@ validating application behavior, navigation, and user interactions.
 """
 
 from datetime import datetime
+from typing import Any, cast
 from unittest.mock import AsyncMock, Mock, patch
 
 import pytest
@@ -192,7 +193,7 @@ class TestHostsManagerApp:
                     return mock_active_checkbox
                 return Mock()
 
-            app.query_one = mock_query_one
+            cast(Any, app).query_one = mock_query_one
 
             # Add test entry
             app.hosts_file = HostsFile()
@@ -248,7 +249,7 @@ class TestHostsManagerApp:
                     return mock_active_checkbox
                 return Mock()
 
-            app.query_one = mock_query_one
+            cast(Any, app).query_one = mock_query_one
             app.hosts_file = HostsFile()
 
             app.update_entry_details()
@@ -327,7 +328,7 @@ class TestHostsManagerApp:
                     return mock_footer
                 return Mock()
 
-            app.query_one = mock_query_one
+            cast(Any, app).query_one = mock_query_one
 
             # Add test hosts_file for footer status generation
             app.hosts_file = HostsFile()
@@ -837,7 +838,7 @@ class TestHostsManagerApp:
                     return mock_dns_section
                 return Mock()
 
-            app.query_one = mock_query_one
+            cast(Any, app).query_one = mock_query_one
 
             app.edit_handler.update_field_visibility(show_ip=True, show_dns=False)
 
@@ -867,7 +868,7 @@ class TestHostsManagerApp:
                     return mock_dns_section
                 return Mock()
 
-            app.query_one = mock_query_one
+            cast(Any, app).query_one = mock_query_one
 
             app.edit_handler.update_field_visibility(show_ip=False, show_dns=True)
 
@@ -908,7 +909,7 @@ class TestHostsManagerApp:
                     return mock_dns_radio
                 return Mock()
 
-            app.query_one = mock_query_one
+            cast(Any, app).query_one = mock_query_one
             app.edit_handler.handle_entry_type_change = Mock()
 
             # Test that the method can be called without errors
@@ -962,7 +963,7 @@ class TestHostsManagerApp:
                     return mock_dns_input
                 return Mock()
 
-            app.query_one = mock_query_one
+            cast(Any, app).query_one = mock_query_one
             app.edit_handler.handle_entry_type_change = Mock()
 
             # Mock the set_timer method to avoid event loop issues in tests
@@ -1017,7 +1018,7 @@ class TestHostsManagerApp:
                     return mock_active_checkbox
                 return Mock()
 
-            app.query_one = mock_query_one
+            cast(Any, app).query_one = mock_query_one
 
             # Add test entry
             app.hosts_file = HostsFile()
@@ -1156,10 +1157,12 @@ class TestHostsManagerApp:
             assert app.hosts_file.entries[0].is_active is False
             assert app.manager.can_undo()
             assert not app.manager.can_redo()
-            app.table_handler.populate_entries_table.assert_called_once()
-            app.table_handler.move_cursor_to_entry_index.assert_called_once_with(0)
-            app.details_handler.update_entry_details.assert_called_once()
-            app.update_status.assert_called_once_with(
+            cast(Mock, app.table_handler.populate_entries_table).assert_called_once()
+            cast(
+                Mock, app.table_handler.move_cursor_to_entry_index
+            ).assert_called_once_with(0)
+            cast(Mock, app.details_handler.update_entry_details).assert_called_once()
+            cast(Mock, app.update_status).assert_called_once_with(
                 "❌ Undo save failed; previous state restored: Permission denied"
             )
 
@@ -1204,10 +1207,12 @@ class TestHostsManagerApp:
             assert app.hosts_file.entries[0].is_active is True
             assert not app.manager.can_undo()
             assert app.manager.can_redo()
-            app.table_handler.populate_entries_table.assert_called_once()
-            app.table_handler.move_cursor_to_entry_index.assert_called_once_with(0)
-            app.details_handler.update_entry_details.assert_called_once()
-            app.update_status.assert_called_once_with(
+            cast(Mock, app.table_handler.populate_entries_table).assert_called_once()
+            cast(
+                Mock, app.table_handler.move_cursor_to_entry_index
+            ).assert_called_once_with(0)
+            cast(Mock, app.details_handler.update_entry_details).assert_called_once()
+            cast(Mock, app.update_status).assert_called_once_with(
                 "❌ Redo save failed; previous state restored: Permission denied"
             )
 
@@ -1234,7 +1239,7 @@ class TestHostsManagerApp:
             assert app.selected_entry_index == 0
             assert not app.manager.can_undo()
             assert app.manager.can_redo()
-            app.update_status.assert_called_once_with(
+            cast(Mock, app.update_status).assert_called_once_with(
                 "❌ Toggle save failed; previous state restored: Permission denied"
             )
 
@@ -1261,7 +1266,7 @@ class TestHostsManagerApp:
             ]
             assert app.selected_entry_index == 1
             assert not app.manager.can_undo()
-            app.update_status.assert_called_once_with(
+            cast(Mock, app.update_status).assert_called_once_with(
                 "❌ Move save failed; previous state restored: Permission denied"
             )
 
@@ -1287,7 +1292,7 @@ class TestHostsManagerApp:
             ]
             assert app.selected_entry_index == 0
             assert not app.manager.can_undo()
-            app.update_status.assert_called_once_with(
+            cast(Mock, app.update_status).assert_called_once_with(
                 "❌ Add save failed; previous state restored: Permission denied"
             )
 
@@ -1378,7 +1383,7 @@ class TestHostsManagerApp:
             ]
             assert app.selected_entry_index == 1
             assert not app.manager.can_undo()
-            app.update_status.assert_called_once_with(
+            cast(Mock, app.update_status).assert_called_once_with(
                 "❌ Delete save failed; previous state restored: Permission denied"
             )
 
@@ -1503,7 +1508,7 @@ class TestHostsManagerApp:
             assert entry.last_resolved == original_time
             assert entry.dns_resolution_status == "match"
             assert app.selected_entry_index == 0
-            app.update_status.assert_any_call(
+            cast(Mock, app.update_status).assert_any_call(
                 "❌ DNS refresh save failed; previous state restored: Permission denied"
             )
 
@@ -1549,7 +1554,7 @@ class TestHostsManagerApp:
             assert entry.resolved_ip == "192.0.2.1"
             assert entry.last_resolved == original_time
             assert entry.dns_resolution_status == "match"
-            app.update_status.assert_any_call(
+            cast(Mock, app.update_status).assert_any_call(
                 "❌ DNS refresh save failed; previous state restored: Permission denied"
             )
 
@@ -1638,7 +1643,7 @@ class TestHostsManagerApp:
             assert restored.dns_resolution_status is None
             assert restored.is_active is False
             assert app.manager.can_undo()
-            app.update_status.assert_any_call(
+            cast(Mock, app.update_status).assert_any_call(
                 "❌ DNS activation save failed; previous state restored: Permission denied"
             )