Pin Olymp to Zeus v0.5.0

[brainx]

Summary

• replace the interim Zeus 0.5.0.dev0 mutation contract with exact Zeus 0.5.0
• pin the compatibility verifier and documentation to GitHub-verified Zeus commit ce9dfdfd7c9ea7dc367fd6c1cb15ab8be0d1ea95
• vendor the exact final OpenAPI fixture as docs/zeus-openapi-v0.5.0.json
• require exact 0.5.0 for mutation plans while preserving v0.3.0 and v0.1.4 as legacy read-only contracts
• make the real-Zeus smoke fail unless kimi-k3-coding-bot is exposed

Contract evidence

• Zeus commit: ce9dfdfd7c9ea7dc367fd6c1cb15ab8be0d1ea95
• GitHub verification: verified: true, reason valid
• OpenAPI SHA-256: dbf873a17a2a5d10af5193312b6789a7fb95782576d3f8dd2492845b18762a71
• OpenAPI version: 0.5.0

Verification

• sh scripts/repo_check.sh — 201 tests passed; 85% coverage; formatting, Ruff, MyPy, Bandit, and lifecycle smoke passed
• python -m unittest tests.test_repo_contracts tests.test_policy — 34 passed
• sh scripts/wheel_smoke.sh — sdist and wheel built; package metadata checks passed; final OpenAPI fixture included
• sh -n scripts/verify_real_zeus.sh — passed
• git diff --check — passed

Boundary

No provider credentials are stored or forwarded by Olymp, no direct harness integration is added, and no paid live Kimi request was made.

• Hosted CI run 30662989709 — repository and wheel-smoke gates passed on Python 3.11, 3.12, and 3.13