docs(openspec): align system specs with current runtime behavior

cherrypick/CHANGELOG.md

@@ -1,7 +1,3 @@
-## Unreleased
-
- - **BREAKING** **REFACTOR**(binding): rename `Provider<T>` typedef to `ProviderFactory<T>` to avoid naming conflicts with `package:provider`.
-
 ## 3.0.2
 
  - **FIX**(test): fix warning.

cherrypick/lib/src/binding.dart

@@ -205,7 +205,7 @@ class Binding<T> {
   /// bind<Api>().toProvide(() => ApiService());
   /// bind<Db>().toProvide(() async => await openDb());
   /// ```
-  Binding<T> toProvide(ProviderFactory<T> value) {
+  Binding<T> toProvide(Provider<T> value) {
     _resolver = ProviderResolver<T>((_) => value.call(), withParams: false);
     return this;
   }
@@ -227,7 +227,7 @@ class Binding<T> {
   }
 
   @Deprecated('Use toProvide instead of toProvideAsync')
-  Binding<T> toProvideAsync(ProviderFactory<T> value) {
+  Binding<T> toProvideAsync(Provider<T> value) {
     return toProvide(value);
   }
 

cherrypick/lib/src/binding_resolver.dart

@@ -28,10 +28,10 @@ typedef Instance<T> = FutureOr<T>;
 ///
 /// Example:
 /// ```dart
-/// ProviderFactory<MyService> provider = () => MyService();
+/// Provider<MyService> provider = () => MyService();
-/// ProviderFactory<Api> asyncProvider = () async => await Api.connect();
+/// Provider<Api> asyncProvider = () async => await Api.connect();
 /// ```
-typedef ProviderFactory<T> = FutureOr<T> Function();
+typedef Provider<T> = FutureOr<T> Function();
 
 /// Provider function type that accepts a dynamic parameter, for factory/parametrized injection.
 /// Returns [T] or [Future<T>].

openspec/changes/cherrypick-system-spec/specs/annotations-and-codegen/spec.md

@@ -64,10 +64,14 @@
 - **WHEN** метод помечен одновременно `@instance` и `@provide`
 - **THEN** генератор завершает сборку с ошибкой валидации
 
-#### Scenario: Требования к @named
+#### Scenario: Требования к @named на provider-методе
-- **WHEN** `@named` использует пустую строку или некорректный идентификатор
+- **WHEN** `@named` на provider-методе использует пустую строку или некорректный идентификатор
 - **THEN** генератор завершает сборку с ошибкой валидации
 
+#### Scenario: Пустой @named на inject-поле
+- **WHEN** `@named('')` указан на поле с `@inject`
+- **THEN** генератор трактует поле как безымянный резолв (без параметра `named`)
+
 #### Scenario: Валидность @module
 - **WHEN** класс с `@module` не имеет публичных методов
 - **THEN** генератор завершает сборку с ошибкой валидации

openspec/changes/cherrypick-system-spec/specs/di-runtime/spec.md

@@ -23,11 +23,11 @@
 - **THEN** subscope удаляется из дерева, а связанные ресурсы освобождаются
 
 #### Scenario: Путь scope и разделитель
-- **WHEN** scope открывается по иерархическому пути с разделителем
+- **WHEN** вызывается `CherryPick.openScope(scopeName: ..., separator: ...)` с иерархическим путем
 - **THEN** создается цепочка subscopes по каждому сегменту пути
 
 #### Scenario: Пустой scopeName
-- **WHEN** scope открывается с пустым именем
+- **WHEN** вызывается `CherryPick.openScope(scopeName: '')`
 - **THEN** возвращается root scope
 
 ### Requirement: Установка и удаление модулей
@@ -81,8 +81,8 @@
 ### Requirement: Ошибки несоответствия sync/async
 Резолв MUST выбрасывать ошибки при несоответствии sync/async режима.
 
-#### Scenario: ResolveSync для async‑инстанса
+#### Scenario: Синхронный резолв для async‑binding
-- **WHEN** binding зарегистрирован как async‑инстанс или async‑provider, а вызывается `resolveSync`
+- **WHEN** binding зарегистрирован как async‑инстанс или async‑provider, а вызывается `resolve<T>()` или `tryResolve<T>()`
 - **THEN** выбрасывается ошибка с указанием использовать async‑резолв
 
 ### Requirement: Управление Disposable
@@ -111,7 +111,7 @@
 - **THEN** observer получает соответствующие уведомления
 
 ### Requirement: Ошибки и сообщения об ошибках
-При критических сбоях резолва ядро MUST выбрасывать ошибку с понятным сообщением, а для tryResolve MUST не бросать исключения.
+При критических сбоях резолва ядро MUST выбрасывать ошибку с понятным сообщением. Для отсутствующей зависимости `tryResolve`/`tryResolveAsync` MUST возвращать `null` без исключения; ошибки выполнения резолва (например, цикл, sync/async mismatch, отсутствие обязательных params) MAY быть проброшены.
 
 #### Scenario: Ошибка отсутствующей зависимости
 - **WHEN** вызывается `resolve<T>()` для незарегистрированной зависимости

openspec/changes/cherrypick-system-spec/specs/flutter-integration/spec.md

@@ -41,14 +41,14 @@ Flutter‑интеграция MUST предоставлять `CherryPickProvid
 
 #### Scenario: Ошибка lookup
 - **WHEN** вызов происходит вне поддерева провайдера
-- **THEN** происходит assertion‑ошибка
+- **THEN** в debug‑режиме происходит assertion‑ошибка
 
 ### Requirement: Ошибки и сообщения
 При отсутствии провайдера в дереве MUST быть диагностируемая ошибка.
 
 #### Scenario: Диагностика отсутствия провайдера
 - **WHEN** `CherryPickProvider.of(context)` не находит провайдер
-- **THEN** сообщение об ошибке указывает на отсутствие провайдера
+- **THEN** в debug‑режиме сообщение assertion указывает на отсутствие провайдера
 
 ### Requirement: Точки расширения
 Flutter‑интеграция MUST позволять использовать собственные DI‑scope стратегии поверх `CherryPickProvider`.