main
fix(contracts): №smtmc Task1/2 — method-call в контрактах кодируется UF, purity выводится (владелец-норматив 2026-07-31)
refactor(cache): NOVA_NO_CACHE → NOVA_CACHE — положительная форма env-var
docs(contracts): Plan 33.14 Ф.6 — тесты + спека + доки cross-check
feat(234 Ф.1/Ф.2/Ф.2а): bit-префикс операторов, ~ (bitnot), compound &= |= ^= <<= >>=
docs(33.8 Ф.1.1): спека — int overflow = panic; убрано противоречие
feat(contracts): Plan 33.14 Ф.3+Ф.4 — cross-check режим Z3↔CVC5
feat(verify): Ф.12.3 — module-scoped thread-local cache + try_prove_module_cached helper
feat(verify): Ф.3.3 — pattern-aware suggested fixes (div/0, bounds, decreases)