Codex PROVE is the model-neutral successor to Sol Control.
- New canonical Skill:
$codex-prove - PROVE: Planning, Routing, Ownership, Verification, Evidence
- Generic Controller, Complex Worker, and Efficient Worker roles
- Transactional macOS, Linux, and Windows migration from managed v0.1-v0.5 installs
- Temporary explicit
$sol-controlcompatibility alias for v1.0 - 115 local tests and 39 Forward scenarios
- POSIX and Windows PowerShell 5.1/7 CI passing
- Fresh-session Compatibility route and all three runtime role mappings verified
Native Nested with the new role names and physical Windows 11 runtime identity remain explicitly unverified. See the implementation report and runtime surface matrix for evidence boundaries.