main
docs(guide): вариант Б в typed-pointers (&a наследует мутабельность источника, каст *T as *mut ретрактирован, гарантия №375, №367 — чтение красное в check, оговорка №377 сужена до методов-свойств) + новый гайд structured-concurrency: обе формы размещения with Fail[TimeoutError] (№396, нерабочая помечена), cancel: без броска и только на детях (№398 честно), сетевые чтения под supervised(timeout:) (№390 честно); все примеры прогнаны свежим компилятором 3c7a1ad
docs(guide): authoring-a-module.md — убран раздел про несуществующий [ffi.staticlib] (Plan 195), оставлен действующий канон [ffi]
docs(guide): authoring-a-module.ru.md — синхронизирован с EN, убрана история [ffi.staticlib]
docs(316): auto-derive-guide.md/.ru.md — D345 адрес фазы заменён ссылкой на якорь, прочие Ф-адреса убраны
docs(311): вынести Building from source из README в docs/guide/building-from-source
fix(№513): docs/guide/channels.{md,ru.md} — Channel.new → Channel[T].new
docs(guide): cleanup-cookbook — снятый `?` внутри Fail[E]-функций (18 мест, ~9 рецептов) заменён на `!!`; легальная форма consume X = expr? { body } (D196 form 2) не тронута; main() в §3 дополнен Fail[IoError] (тело использовало !!/? без объявленного эффекта); все правки проверены пробой (E_TRY_IN_FAIL_FN на исходнике, зелёный nova check после фикса), §5 anti-patterns (намеренно неверный код) не тронут; попутно contracts.ru.md — вернул англ. комментарии в bash-блоке (код-конвенция байт-в-байт, регрессия чужого коммита 3b4aab5)
docs(guide/247): дочищены полупереведённые фразы (русские предлоги/союзы внутри английских предложений) в consume-types, field-cache-optimization, field-visibility-guide, tutorial-cleanup — остаток кириллицы 0 в каждом
docs(guide): русский перевод consume-types.md
docs(guide, №461): раздел «когда контракты проверяются» в обе языковые версии — SMT выключена по умолчанию, включается --verify; явно сказано, что безопасность от флага НЕ зависит (без него все проверки остаются в рантайме); починена ссылка на expected_runtime после переноса в архив
docs(316): datetime.md/.ru.md — Ф-адрес в заголовке убран, смысл сохранён
docs(316): embed.md/.ru.md — адреса фаз планов заменены ссылками на D412/D323 или убраны
docs(dev,guide,spec): D452 — migrate nova code examples to canon separators
docs(guide): русский перевод field-cache-optimization.md
fix(guide): последние следы снятых форм — let в цитате-обходном пути channels, слово readonly в комментарии field-visibility (уточнено на read-only); обе стороны пар
docs(316): io-fs.md/.ru.md — Ф-адрес заменён ссылкой на якорь D323
fix(№513): docs/guide/{language-tour,quickstart}.{md,ru.md} — Channel[T].new
docs(guide): back-links to Russian translations (3/6) — language-tour, linux-build, parameters, quickstart, runtime-tuning (+missing ru switch)
docs(guide): русский перевод linux-build.md
docs(316): nova-cli.md/.ru.md — внутренние адреса фаз планов удалены, смысл фраз сохранён
docs(guide): parameters.md — снят пример group-mut через let mut, канон mut (a, b)
docs(guide): parameters.ru.md — синхронизирован с EN, канон mut (a, b)
docs(311): вынести Running tests из README в docs/guide/running-tests
docs(let-retired): size-of-align-of.md — тип-обёртка readonly T → ro T (D184)
docs(let-retired): size-of-align-of.ru.md — синхронизация с size-of-align-of.md
docs(guide): structured-concurrency — оговорка №398 переписана под фикс p398/№224 (cancel/timeout будят прямой sleep в теле; два честных остатка: возврат без броска [M-supervised-direct-sleep-timeout-silent] и №413 Channel.recv под cancel:); поведение и остаток воспроизведены пробой свежим компилятором
docs(316): time.md/.ru.md — заголовки-Ф-метки переименованы в обычный текст, адрес фазы Plan 175 убран
fix(guide/№314): недопереведённая проза в строках со ссылками (tutorial-cleanup: «Read [X](...) для ...») и русский комментарий в примере field-visibility-guide — мой прошлый «остаток 0» был ложным, метрика пропускала строки со ссылками целиком
docs(guide): русский перевод tutorial-cleanup.md
docs(guide): back-links to Russian translations (5/5) — value-vs-reference, vec-lazy, vec-owned
docs(guide): русский перевод value-vs-reference.md
docs(let-retired): vec-lazy.md — примеры на снятый let заменены на ro (D184)
docs(let-retired): vec-lazy.ru.md — синхронизация с vec-lazy.md (let → ro)
docs(let-retired): vec-owned.md — let → ro/mut, if let → if (D184)
docs(let-retired): vec-owned.ru.md — синхронизация с vec-owned.md
docs(311): вынести SMT/Z3-setup из README в docs/guide/z3-setup