main
docs(contracts): Plan 33.14 Ф.6 — тесты + спека + доки cross-check
feat(contracts): Plan 33.14 Ф.2 — CVC5 runner (SmtBackend)
fix(verify): trivial backend recognizes byte_len() as non-negative
fix(contracts): №smtmc Task1/2 — method-call в контрактах кодируется UF, purity выводится (владелец-норматив 2026-07-31)
feat(contracts): Plan 33.7 V2 — signedness + cast resize + block overflow VCs (D24)