fix: Add consolidation API to InstallStateManager

[colombod]

Summary

Adds consolidation API to InstallStateManager for proper dependency verification and state management, enabling users stuck in stale install state to auto-recover.

• Fixes [foundation] Add consolidation API to InstallStateManager amplifier#194
• Part of Consolidate install-state.json manipulation with InstallStateManager amplifier#193

Problem

After operations like uv tool install --force or amplifier update, the Python venv is recreated but install-state.json persists. This causes:

Failed to load module 'tool-web': Module 'tool-web' failed validation: 
FAILED: 0/1 checks passed (1 errors, 0 warnings). 
Errors: module_importable: Failed to import module: No module named 'aiohttp'

Users had no automatic recovery path and had to manually delete ~/.amplifier/install-state.json.

Solution

Three new capabilities added to InstallStateManager:

Method	Purpose
invalidate_modules_with_missing_deps()	Surgical invalidation - removes only modules with missing deps
clear()	Full state reset for complete reinstall scenarios
is_installed() (enhanced)	Proactive verification - checks deps are actually present

Evidence of Improvement

Before (stale state causes crash)

# User updates amplifier (venv recreated, install-state.json preserved)
$ amplifier update

# Next session fails - aiohttp missing but state claims tool-web installed
$ amplifier run "fetch https://example.com"
Failed to load module 'tool-web': No module named 'aiohttp'
ModuleValidationError: Module 'tool-web' failed validation

After (auto-healing on startup)

# Same scenario - but now is_installed() detects missing deps
$ amplifier run "fetch https://example.com"
INFO: Module tool-web has missing dependencies: ['aiohttp']. Will reinstall.
# ... aiohttp automatically reinstalled ...
🔧 Using tool: web_fetch
   url: https://example.com
✅ Tool result: web_fetch
   content: Example Domain...

Shadow Test Results

Test	Result
Uninstall aiohttp → run amplifier	✅ Auto-healed, web_fetch worked
invalidate_modules_with_missing_deps() API	✅ 27 checked, 1 invalidated (surgical)
Modules with all deps present	✅ Not reinstalled (fast startup preserved)

Unit Test Coverage

35 new tests added covering:
- _extract_dependencies_from_pyproject() - 7 tests
- _check_dependency_installed() - 4 tests  
- InstallStateManager core - 5 tests
- is_installed() with dep verification - 6 tests
- mark_installed(), save(), invalidate() - 6 tests
- clear(), invalidate_modules_with_missing_deps() - 7 tests

Total: 290 passed (255 existing + 35 new)

API for app-cli Integration

This enables follow-up work in microsoft/amplifier#195 to replace direct JSON manipulation:

# In update_executor.py (after self-update)
from amplifier_foundation.modules.install_state import InstallStateManager
mgr = InstallStateManager(cache_dir)
checked, invalidated = mgr.invalidate_modules_with_missing_deps()

# In reset.py (when clearing cache)
mgr = InstallStateManager(cache_dir)
mgr.clear()
mgr.save()

Files Changed

• amplifier_foundation/modules/install_state.py - New API methods + dependency verification
• tests/test_install_state.py - Comprehensive test coverage (new file)

🤖 Generated with Amplifier