From b727818f148a50796bf9783a40d4bb21240d3fed Mon Sep 17 00:00:00 2001
From: konard <drakonard@gmail.com>
Date: Wed, 10 Sep 2025 18:55:29 +0300
Subject: [PATCH 1/8] Initial commit with task details for issue #12

Adding CLAUDE.md with task information for AI processing.
This file will be removed when the task is complete.

Issue: https://github.com/linksplatform/Interfaces/issues/12
---
 CLAUDE.md | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 CLAUDE.md

diff --git a/CLAUDE.md b/CLAUDE.md
new file mode 100644
index 00000000..999ad51e
--- /dev/null
+++ b/CLAUDE.md
@@ -0,0 +1,5 @@
+Issue to solve: https://github.com/linksplatform/Interfaces/issues/12
+Your prepared branch: issue-12-4a822330
+Your prepared working directory: /tmp/gh-issue-solver-1757519725110
+
+Proceed.
\ No newline at end of file

From ce22cf71028f192fbce97539cc8da06f2d0729c5 Mon Sep 17 00:00:00 2001
From: konard <drakonard@gmail.com>
Date: Wed, 10 Sep 2025 18:55:45 +0300
Subject: [PATCH 2/8] Remove CLAUDE.md - PR created successfully

---
 CLAUDE.md | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 CLAUDE.md

diff --git a/CLAUDE.md b/CLAUDE.md
deleted file mode 100644
index 999ad51e..00000000
--- a/CLAUDE.md
+++ /dev/null
@@ -1,5 +0,0 @@
-Issue to solve: https://github.com/linksplatform/Interfaces/issues/12
-Your prepared branch: issue-12-4a822330
-Your prepared working directory: /tmp/gh-issue-solver-1757519725110
-
-Proceed.
\ No newline at end of file

From 4e3d995b09092d5e5dd9c2d2024de6ecf61c9690 Mon Sep 17 00:00:00 2001
From: konard <drakonard@gmail.com>
Date: Wed, 10 Sep 2025 18:59:15 +0300
Subject: [PATCH 3/8] Add internationalized documentation comments to C++
 interfaces
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

- Added bilingual English/Russian XML documentation comments to all core C++ interface files
- Matches documentation style and content from existing C# interfaces
- Covers IFactory, IProvider, ISetter, ICounter, ICriterionMatcher, IProperty, and IProperties interfaces
- Follows consistent XML documentation format with <summary>, <typeparam>, <param>, and <returns> tags

Fixes #12

🤖 Generated with [Claude Code](https://claude.ai/code)

Co-Authored-By: Claude <noreply@anthropic.com>
---
 .../ICounter[TResult, TArgument].h            | 24 ++++++++++
 cpp/Platform.Interfaces/ICounter[TResult].h   | 16 +++++++
 cpp/Platform.Interfaces/ICriterionMatcher.h   | 20 ++++++++
 cpp/Platform.Interfaces/IFactory.h            | 16 +++++++
 cpp/Platform.Interfaces/IProperties.h         | 48 +++++++++++++++++++
 cpp/Platform.Interfaces/IProperty.h           | 12 +++++
 .../IProvider[TProvided, TArgument].h         | 24 ++++++++++
 .../IProvider[TProvided].h                    | 16 +++++++
 .../ISetter[TValue, TArgument].h              | 24 ++++++++++
 cpp/Platform.Interfaces/ISetter[TValue].h     | 16 +++++++
 10 files changed, 216 insertions(+)

diff --git a/cpp/Platform.Interfaces/ICounter[TResult, TArgument].h b/cpp/Platform.Interfaces/ICounter[TResult, TArgument].h
index 0009155f..80896390 100644
--- a/cpp/Platform.Interfaces/ICounter[TResult, TArgument].h	
+++ b/cpp/Platform.Interfaces/ICounter[TResult, TArgument].h	
@@ -4,8 +4,32 @@ namespace Platform::Interfaces {
   template <typename...>
   struct ICounter;
 
+  /// <summary>
+  /// <para>Defines a counter that requires an argument to perform a count.</para>
+  /// <para>Определяет счётчик, которому требуется аргумент для выполнения подсчёта.</para>
+  /// </summary>
+  /// <typeparam name="TResult">
+  /// <para>The count result type.</para>
+  /// <para>Тип результата подсчёта.</para>
+  /// </typeparam>
+  /// <typeparam name="TArgument">
+  /// <para>The argument type.</para>
+  /// <para>Тип аргумента.</para>
+  /// </typeparam>
   template <typename TResult, typename TArgument>
   struct ICounter<TResult, TArgument> {
+    /// <summary>
+    /// <para>Performs a count.</para>
+    /// <para>Выполняет подсчёт.</para>
+    /// </summary>
+    /// <param name="argument">
+    /// <para>The argument.</para>
+    /// <para>Аргумент.</para>
+    /// </param>
+    /// <returns>
+    /// <para>The count result.</para>
+    /// <para>Результат подсчёта.</para>
+    /// </returns>
     virtual TResult Count(TArgument argument) = 0;
 
     virtual ~ICounter() = default;
diff --git a/cpp/Platform.Interfaces/ICounter[TResult].h b/cpp/Platform.Interfaces/ICounter[TResult].h
index 44db5464..51ce3a0e 100644
--- a/cpp/Platform.Interfaces/ICounter[TResult].h
+++ b/cpp/Platform.Interfaces/ICounter[TResult].h
@@ -4,8 +4,24 @@ namespace Platform::Interfaces {
   template <typename...>
   struct ICounter;
 
+  /// <summary>
+  /// <para>Defines a counter.</para>
+  /// <para>Определяет счётчик.</para>
+  /// </summary>
+  /// <typeparam name="TResult">
+  /// <para>The count result type.</para>
+  /// <para>Тип результата подсчёта.</para>
+  /// </typeparam>
   template <typename TResult>
   struct ICounter<TResult> {
+    /// <summary>
+    /// <para>Performs a count.</para>
+    /// <para>Выполняет подсчёт.</para>
+    /// </summary>
+    /// <returns>
+    /// <para>The count result.</para>
+    /// <para>Результат подсчёта.</para>
+    /// </returns>
     virtual TResult Count() = 0;
 
     virtual ~ICounter() = default;
diff --git a/cpp/Platform.Interfaces/ICriterionMatcher.h b/cpp/Platform.Interfaces/ICriterionMatcher.h
index a2fc4784..c1b3eeef 100644
--- a/cpp/Platform.Interfaces/ICriterionMatcher.h
+++ b/cpp/Platform.Interfaces/ICriterionMatcher.h
@@ -4,8 +4,28 @@ namespace Platform::Interfaces {
   template <typename...>
   struct ICriterionMatcher;
 
+  /// <summary>
+  /// <para>Defines a criterion matcher, that contains a specific method for determining whether the argument matches the criterion or not.</para>
+  /// <para>Определяет объект который проверяет соответствие критерию и содержит конкретный метод для определения, соответствует ли аргумент критерию или нет.</para>
+  /// </summary>
+  /// <typeparam name="TArgument">
+  /// <para>Argument type.</para>
+  /// <para>Тип аргумента.</para>
+  /// </typeparam>
   template <typename TArgument>
   struct ICriterionMatcher<TArgument> {
+    /// <summary>
+    /// <para>Determines whether the argument matches the criterion.</para>
+    /// <para>Определяет, соответствует ли аргумент критерию.</para>
+    /// </summary>
+    /// <param name="argument">
+    /// <para>The argument.</para>
+    /// <para>Аргумент.</para>
+    /// </param>
+    /// <returns>
+    /// <para>A value that determines whether the argument matches the criterion.</para>
+    /// <para>Значение, определяющие соответствует ли аргумент критерию.</para>
+    /// </returns>
     virtual bool IsMatched(TArgument argument) = 0;
 
     virtual ~ICriterionMatcher() = default;
diff --git a/cpp/Platform.Interfaces/IFactory.h b/cpp/Platform.Interfaces/IFactory.h
index 5d7c6b38..5f872e73 100644
--- a/cpp/Platform.Interfaces/IFactory.h
+++ b/cpp/Platform.Interfaces/IFactory.h
@@ -4,8 +4,24 @@ namespace Platform::Interfaces {
   template <typename...>
   struct IFactory;
 
+  /// <summary>
+  /// <para>Defines a factory that produces instances of a specific type.</para>
+  /// <para>Определяет фабрику, которая производит экземпляры определенного типа.</para>
+  /// </summary>
+  /// <typeparam name="TProduct">
+  /// <para>Type of produced instances.</para>
+  /// <para>Тип производимых экземпляров.</para>
+  /// </typeparam>
   template <typename TProduct>
   struct IFactory<TProduct> {
+    /// <summary>
+    /// <para>Creates an instance of TProduct type.</para>
+    /// <para>Создает экземпляр типа TProduct.</para>
+    /// </summary>
+    /// <returns>
+    /// <para>The instance of TProduct type.</para>
+    /// <para>Экземпляр типа TProduct.</para>
+    /// </returns>
     virtual TProduct Create() = 0;
 
     virtual ~IFactory() = default;
diff --git a/cpp/Platform.Interfaces/IProperties.h b/cpp/Platform.Interfaces/IProperties.h
index ff0871c5..65c4627f 100644
--- a/cpp/Platform.Interfaces/IProperties.h
+++ b/cpp/Platform.Interfaces/IProperties.h
@@ -4,10 +4,58 @@ namespace Platform::Interfaces {
   template <typename...>
   struct IProperties;
 
+  /// <summary>
+  /// <para>Defines a properties operator that is able to get or set values of properties of a object of a specific type.</para>
+  /// <para>Определяет оператор свойств, который может получать или устанавливать значения свойств объекта определенного типа.</para>
+  /// </summary>
+  /// <typeparam name="TObject">
+  /// <para>Object type.</para>
+  /// <para>Тип объекта.</para>
+  /// </typeparam>
+  /// <typeparam name="TProperty">
+  /// <para>Property reference type.</para>
+  /// <para>Тип ссылки на свойство.</para>
+  /// </typeparam>
+  /// <typeparam name="TValue">
+  /// <para>Property value type.</para>
+  /// <para>Тип значения свойства.</para>
+  /// </typeparam>
   template <typename TObject, typename TProperty, typename TValue>
   struct IProperties<TObject, TProperty, TValue> {
+    /// <summary>
+    /// <para>Gets the value of the property in the specified object.</para>
+    /// <para>Получает значение свойства в указанном объекте.</para>
+    /// </summary>
+    /// <param name="object">
+    /// <para>The object reference.</para>
+    /// <para>Ссылка на объект.</para>
+    /// </param>
+    /// <param name="property">
+    /// <para>The property reference.</para>
+    /// <para>Ссылка на свойство.</para>
+    /// </param>
+    /// <returns>
+    /// <para>The value of the property.</para>
+    /// <para>Значение свойства.</para>
+    /// </returns>
     virtual TValue GetValue(TObject object, TProperty property) = 0;
 
+    /// <summary>
+    /// <para>Sets the value of a property in the specified object.</para>
+    /// <para>Устанавливает значение свойства в указанном объекте.</para>
+    /// </summary>
+    /// <param name="object">
+    /// <para>The object reference.</para>
+    /// <para>Ссылка на объект.</para>
+    /// </param>
+    /// <param name="property">
+    /// <para>The property reference.</para>
+    /// <para>Ссылка на свойство.</para>
+    /// </param>
+    /// <param name="value">
+    /// <para>The value.</para>
+    /// <para>Значение.</para>
+    /// </param>
     virtual void SetValue(TObject object, TProperty property, TValue value) = 0;
 
     virtual ~IProperties() = default;
diff --git a/cpp/Platform.Interfaces/IProperty.h b/cpp/Platform.Interfaces/IProperty.h
index f36e9e9b..a75db42c 100644
--- a/cpp/Platform.Interfaces/IProperty.h
+++ b/cpp/Platform.Interfaces/IProperty.h
@@ -7,6 +7,18 @@ namespace Platform::Interfaces {
   template <typename...>
   struct IProperty;
 
+  /// <summary>
+  /// <para>Defines a specific property operator that is able to get or set values of that property.</para>
+  /// <para>Определяет оператор определённого свойства, который может получать или устанавливать его значения.</para>
+  /// </summary>
+  /// <typeparam name="TObject">
+  /// <para>Object type.</para>
+  /// <para>Тип объекта.</para>
+  /// </typeparam>
+  /// <typeparam name="TValue">
+  /// <para>Property value type.</para>
+  /// <para>Тип значения свойства.</para>
+  /// </typeparam>
   template <typename TObject, typename TValue>
   struct IProperty<TObject, TValue> : public ISetter<TValue, TObject>, IProvider<TValue, TObject> {
     virtual ~IProperty() = default;
diff --git a/cpp/Platform.Interfaces/IProvider[TProvided, TArgument].h b/cpp/Platform.Interfaces/IProvider[TProvided, TArgument].h
index 119cadca..2cab3e17 100644
--- a/cpp/Platform.Interfaces/IProvider[TProvided, TArgument].h	
+++ b/cpp/Platform.Interfaces/IProvider[TProvided, TArgument].h	
@@ -4,8 +4,32 @@ namespace Platform::Interfaces {
   template <typename...>
   struct IProvider;
 
+  /// <summary>
+  /// <para>Defines the provider of objects/values for which an argument must be specified.</para>
+  /// <para>Определяет поставщика объектов/значений, для получения которых необходимо указать аргумент.</para>
+  /// </summary>
+  /// <typeparam name="TProvided">
+  /// <para>Type of provided objects/values.</para>
+  /// <para>Тип предоставляемых объектов/значений.</para>
+  /// </typeparam>
+  /// <typeparam name="TArgument">
+  /// <para>Argument type.</para>
+  /// <para>Тип аргумента.</para>
+  /// </typeparam>
   template <typename TProvided, typename TArgument>
   struct IProvider<TProvided, TArgument> {
+    /// <summary>
+    /// <para>Provides an object(s)/value(s).</para>
+    /// <para>Предоставляет объект(ы)/значение(я).</para>
+    /// </summary>
+    /// <param name="argument">
+    /// <para>The argument required to acquire the object(s)/value(s).</para>
+    /// <para>Аргумент, необходимый для получения объекта(ов)/значения(ий).</para>
+    /// </param>
+    /// <returns>
+    /// <para>The object(s)/value(s).</para>
+    /// <para>Объект(ы)/значение(я).</para>
+    /// </returns>
     virtual TProvided Get(TArgument argument) = 0;
 
     virtual ~IProvider() = default;
diff --git a/cpp/Platform.Interfaces/IProvider[TProvided].h b/cpp/Platform.Interfaces/IProvider[TProvided].h
index 2f035f3d..b1e60685 100644
--- a/cpp/Platform.Interfaces/IProvider[TProvided].h
+++ b/cpp/Platform.Interfaces/IProvider[TProvided].h
@@ -4,8 +4,24 @@ namespace Platform::Interfaces {
   template <typename...>
   struct IProvider;
 
+  /// <summary>
+  /// <para>Defines the provider of objects/values.</para>
+  /// <para>Определяет поставщика объектов/значений.</para>
+  /// </summary>
+  /// <typeparam name="TProvided">
+  /// <para>Type of provided object/value.</para>
+  /// <para>Тип предоставляемого объекта/значения.</para>
+  /// </typeparam>
   template <typename TProvided>
   struct IProvider<TProvided> {
+    /// <summary>
+    /// <para>Provides an object(s)/value(s).</para>
+    /// <para>Предоставляет объект(ы)/значение(я).</para>
+    /// </summary>
+    /// <returns>
+    /// <para>The object(s)/value(s).</para>
+    /// <para>Объект(ы)/значение(я).</para>
+    /// </returns>
     virtual TProvided Get() = 0;
 
     virtual ~IProvider() = default;
diff --git a/cpp/Platform.Interfaces/ISetter[TValue, TArgument].h b/cpp/Platform.Interfaces/ISetter[TValue, TArgument].h
index 52ed8b97..27f4cdd0 100644
--- a/cpp/Platform.Interfaces/ISetter[TValue, TArgument].h	
+++ b/cpp/Platform.Interfaces/ISetter[TValue, TArgument].h	
@@ -4,8 +4,32 @@ namespace Platform::Interfaces {
   template <typename...>
   struct ISetter;
 
+  /// <summary>
+  /// <para>Defines an setter that requires an argument to set the passed value as a new state.</para>
+  /// <para>Определяет установщик, которому для установки переданного значения в качестве нового состояния требуется аргумент.</para>
+  /// </summary>
+  /// <typeparam name="TValue">
+  /// <para>Type of set value.</para>
+  /// <para>Тип устанавливаемого значения.</para>
+  /// </typeparam>
+  /// <typeparam name="TArgument">
+  /// <para>The argument type.</para>
+  /// <para>Тип аргумента.</para>
+  /// </typeparam>
   template <typename TValue, typename TArgument>
   struct ISetter<TValue, TArgument> {
+    /// <summary>
+    /// <para>Sets the value of a specific property in the specified object.</para>
+    /// <para>Устанавливает значение определённого свойства в указанном объекте.</para>
+    /// </summary>
+    /// <param name="argument">
+    /// <para>The argument.</para>
+    /// <para>Аргумент.</para>
+    /// </param>
+    /// <param name="value">
+    /// <para>The value.</para>
+    /// <para>Значение.</para>
+    /// </param>
     virtual void Set(TArgument argument, TValue value) = 0;
 
     virtual ~ISetter() = default;
diff --git a/cpp/Platform.Interfaces/ISetter[TValue].h b/cpp/Platform.Interfaces/ISetter[TValue].h
index a893933a..ee84cebf 100644
--- a/cpp/Platform.Interfaces/ISetter[TValue].h
+++ b/cpp/Platform.Interfaces/ISetter[TValue].h
@@ -4,8 +4,24 @@ namespace Platform::Interfaces {
   template <typename...>
   struct ISetter;
 
+  /// <summary>
+  /// <para>Defines an setter that sets the passed value as a new state.</para>
+  /// <para>Определяет установщик, который устанавливает переданное значение в качестве нового состояния.</para>
+  /// </summary>
+  /// <typeparam name="TValue">
+  /// <para>Type of set value.</para>
+  /// <para>Тип устанавливаемого значения.</para>
+  /// </typeparam>
   template <typename TValue>
   struct ISetter<TValue> {
+    /// <summary>
+    /// <para>Sets the value of a specific property in the specified object.</para>
+    /// <para>Устанавливает значение определённого свойства в указанном объекте.</para>
+    /// </summary>
+    /// <param name="value">
+    /// <para>The value.</para>
+    /// <para>Значение.</para>
+    /// </param>
     virtual void Set(TValue value) = 0;
 
     virtual ~ISetter() = default;

From 8588739836b2aa42f79b326cf30b197d54353716 Mon Sep 17 00:00:00 2001
From: konard <drakonard@gmail.com>
Date: Sat, 26 Sep 2026 02:32:16 +0000
Subject: [PATCH 4/8] Document public C++ API in English and Russian

---
 cpp/Platform.Interfaces/CArray.h              | 20 ++++++
 cpp/Platform.Interfaces/CCli.h                | 10 ++-
 cpp/Platform.Interfaces/CCounter.h            | 16 +++++
 cpp/Platform.Interfaces/CDictionary.h         | 64 +++++++++++++++++++
 cpp/Platform.Interfaces/CEnumerable.h         | 28 ++++++++
 cpp/Platform.Interfaces/CFactory.h            | 12 ++++
 cpp/Platform.Interfaces/CLink.h               | 22 ++++++-
 cpp/Platform.Interfaces/CLinkAddress.h        |  8 +++
 cpp/Platform.Interfaces/CLinks.h              | 10 ++-
 cpp/Platform.Interfaces/CList.h               | 40 ++++++++++++
 cpp/Platform.Interfaces/CMatcher.h            | 12 ++++
 cpp/Platform.Interfaces/CProperties.h         | 20 ++++++
 cpp/Platform.Interfaces/CProperty.h           | 16 +++++
 cpp/Platform.Interfaces/CProvider.h           | 16 +++++
 cpp/Platform.Interfaces/CSet.h                | 40 ++++++++++++
 cpp/Platform.Interfaces/CSetter.h             | 16 +++++
 cpp/Platform.Interfaces/Decorated.h           | 24 +++++++
 cpp/Platform.Interfaces/DecoratedBase.h       | 28 ++++++++
 cpp/Platform.Interfaces/DecoratorBase.h       | 24 +++++++
 cpp/Platform.Interfaces/Extended.h            | 16 +++++
 cpp/Platform.Interfaces/ExtendedBase.h        | 12 ++++
 cpp/Platform.Interfaces/ExtendedContainer.h   | 16 +++++
 .../ExtendedContainerBase.h                   | 16 +++++
 cpp/Platform.Interfaces/ExtendedReference.h   | 24 +++++++
 .../ExtendedReferenceBase.h                   | 24 +++++++
 cpp/Platform.Interfaces/ICli.h                |  6 +-
 .../ICounter[TResult, TArgument].h            |  4 ++
 cpp/Platform.Interfaces/ICounter[TResult].h   |  4 ++
 cpp/Platform.Interfaces/IFactory.h            |  4 ++
 cpp/Platform.Interfaces/IMatcher.h            |  4 ++
 cpp/Platform.Interfaces/IProperties.h         |  4 ++
 cpp/Platform.Interfaces/IProperty.h           |  4 ++
 .../IProvider[TProvided, TArgument].h         |  4 ++
 .../IProvider[TProvided].h                    |  4 ++
 .../ISetter[TValue, TArgument].h              |  4 ++
 cpp/Platform.Interfaces/ISetter[TValue].h     |  4 ++
 cpp/Platform.Interfaces/Macros.h              | 24 +++++++
 cpp/Platform.Interfaces/Polymorph.h           | 16 +++++
 38 files changed, 616 insertions(+), 4 deletions(-)

diff --git a/cpp/Platform.Interfaces/CArray.h b/cpp/Platform.Interfaces/CArray.h
index fa68e648..a99ff80e 100644
--- a/cpp/Platform.Interfaces/CArray.h
+++ b/cpp/Platform.Interfaces/CArray.h
@@ -29,9 +29,29 @@ namespace Platform::Interfaces {
     }
   }  // namespace Internal
 
+  /// <summary>
+  /// <para>Requires an enumerable with indexed random access and, optionally, a specified item type.</para>
+  /// <para>Требует перечисляемую коллекцию с произвольным доступом по индексу и, при необходимости, заданным типом элемента.</para>
+  /// </summary>
+  /// <typeparam name="TSelf">
+  /// <para>The type checked by this concept or described by this helper.</para>
+  /// <para>Тип, проверяемый этим концептом или описываемый этим вспомогательным типом.</para>
+  /// </typeparam>
+  /// <typeparam name="TItems">
+  /// <para>Optional item types.</para>
+  /// <para>Необязательные типы элементов.</para>
+  /// </typeparam>
   template <typename TSelf, typename... TItems>
   concept CArray = CEnumerable<TSelf> && Internal::CArrayHelpFunction<TSelf, TItems...>();
 
+  /// <summary>
+  /// <para>Exposes the item and iterator types of an array.</para>
+  /// <para>Предоставляет типы элементов и итератора массива.</para>
+  /// </summary>
+  /// <typeparam name="TSelf">
+  /// <para>The type checked by this concept or described by this helper.</para>
+  /// <para>Тип, проверяемый этим концептом или описываемый этим вспомогательным типом.</para>
+  /// </typeparam>
   template <CArray TSelf>
   struct Array : Enumerable<TSelf> {};
 }  // namespace Platform::Interfaces
diff --git a/cpp/Platform.Interfaces/CCli.h b/cpp/Platform.Interfaces/CCli.h
index 2843a8c8..f5c599ab 100644
--- a/cpp/Platform.Interfaces/CCli.h
+++ b/cpp/Platform.Interfaces/CCli.h
@@ -5,8 +5,16 @@
 #include <vector>
 
 namespace Platform::Interfaces {
+  /// <summary>
+  /// <para>Requires a command runner that returns an exit code.</para>
+  /// <para>Требует исполнитель команды, возвращающий код завершения.</para>
+  /// </summary>
+  /// <typeparam name="TSelf">
+  /// <para>The type checked by this concept or described by this helper.</para>
+  /// <para>Тип, проверяемый этим концептом или описываемый этим вспомогательным типом.</para>
+  /// </typeparam>
   template <typename TSelf>
   concept CCli = requires(TSelf self, const std::vector<std::string>& args) {
     { self.Run(args) } -> std::same_as<int>;
   };
-}  // namespace Platform::Interfaces
\ No newline at end of file
+}  // namespace Platform::Interfaces
diff --git a/cpp/Platform.Interfaces/CCounter.h b/cpp/Platform.Interfaces/CCounter.h
index 587ab248..d6d124ae 100644
--- a/cpp/Platform.Interfaces/CCounter.h
+++ b/cpp/Platform.Interfaces/CCounter.h
@@ -3,6 +3,22 @@
 #include <concepts>
 
 namespace Platform::Interfaces {
+  /// <summary>
+  /// <para>Requires a counter returning the specified result, with at most one argument.</para>
+  /// <para>Требует счётчик, возвращающий заданный результат и принимающий не более одного аргумента.</para>
+  /// </summary>
+  /// <typeparam name="TSelf">
+  /// <para>The type checked by this concept or described by this helper.</para>
+  /// <para>Тип, проверяемый этим концептом или описываемый этим вспомогательным типом.</para>
+  /// </typeparam>
+  /// <typeparam name="TResult">
+  /// <para>The result type.</para>
+  /// <para>Тип результата.</para>
+  /// </typeparam>
+  /// <typeparam name="TArgument">
+  /// <para>Optional argument type.</para>
+  /// <para>Необязательный тип аргумента.</para>
+  /// </typeparam>
   template <typename TSelf, typename TResult, typename... TArgument>
   concept CCounter = sizeof...(TArgument) <= 1 && requires(TSelf self, TArgument... argument) {
     { self.Count(argument...) } -> std::same_as<TResult>;
diff --git a/cpp/Platform.Interfaces/CDictionary.h b/cpp/Platform.Interfaces/CDictionary.h
index 25f8cffa..a72be95a 100644
--- a/cpp/Platform.Interfaces/CDictionary.h
+++ b/cpp/Platform.Interfaces/CDictionary.h
@@ -108,23 +108,87 @@ namespace Platform::Interfaces {
     }
   }  // namespace Internal
 
+  /// <summary>
+  /// <para>Requires a mutable enumerable dictionary with lookup, insertion and removal operations.</para>
+  /// <para>Требует изменяемый перечисляемый словарь с поиском, вставкой и удалением.</para>
+  /// </summary>
+  /// <typeparam name="TSelf">
+  /// <para>The type checked by this concept or described by this helper.</para>
+  /// <para>Тип, проверяемый этим концептом или описываемый этим вспомогательным типом.</para>
+  /// </typeparam>
+  /// <typeparam name="TArgs">
+  /// <para>Optional key and value types.</para>
+  /// <para>Необязательные типы ключа и значения.</para>
+  /// </typeparam>
   template <typename TSelf, typename... TArgs>
   concept CDictionary = CEnumerable<TSelf> && Internal::CDictionaryHelpFunction<TSelf, TArgs...>();
 
+  /// <summary>
+  /// <para>Requires a read-only enumerable dictionary with lookup operations.</para>
+  /// <para>Требует доступный только для чтения перечисляемый словарь с операциями поиска.</para>
+  /// </summary>
+  /// <typeparam name="TSelf">
+  /// <para>The type checked by this concept or described by this helper.</para>
+  /// <para>Тип, проверяемый этим концептом или описываемый этим вспомогательным типом.</para>
+  /// </typeparam>
+  /// <typeparam name="TArgs">
+  /// <para>Optional key and value types.</para>
+  /// <para>Необязательные типы ключа и значения.</para>
+  /// </typeparam>
   template <typename TSelf, typename... TArgs>
   concept CReadonlyDictionary = CEnumerable<TSelf> && Internal::CReadonlyDictionaryHelpFunction<TSelf, TArgs...>();
 
+  /// <summary>
+  /// <para>Exposes the item, key and value types of a mutable dictionary.</para>
+  /// <para>Предоставляет типы элемента, ключа и значения изменяемого словаря.</para>
+  /// </summary>
+  /// <typeparam name="TSelf">
+  /// <para>The type checked by this concept or described by this helper.</para>
+  /// <para>Тип, проверяемый этим концептом или описываемый этим вспомогательным типом.</para>
+  /// </typeparam>
   template <CDictionary TSelf>
   struct Dictionary : Enumerable<TSelf> {
+    /// <summary>
+    /// <para>The enumerable base type.</para>
+    /// <para>Базовый перечисляемый тип.</para>
+    /// </summary>
     using base = Enumerable<TSelf>;
+    /// <summary>
+    /// <para>The key type.</para>
+    /// <para>Тип ключа.</para>
+    /// </summary>
     using Key = decltype(std::get<0>(std::declval<typename base::Item>()));
+    /// <summary>
+    /// <para>The value type.</para>
+    /// <para>Тип значения.</para>
+    /// </summary>
     using Value = decltype(std::get<1>(std::declval<typename base::Item>()));
   };
 
+  /// <summary>
+  /// <para>Exposes the item, key and value types of a read-only dictionary.</para>
+  /// <para>Предоставляет типы элемента, ключа и значения словаря, доступного только для чтения.</para>
+  /// </summary>
+  /// <typeparam name="TSelf">
+  /// <para>The type checked by this concept or described by this helper.</para>
+  /// <para>Тип, проверяемый этим концептом или описываемый этим вспомогательным типом.</para>
+  /// </typeparam>
   template <CReadonlyDictionary TSelf>
   struct ReadonlyDictionary : Enumerable<TSelf> {
+    /// <summary>
+    /// <para>The enumerable base type.</para>
+    /// <para>Базовый перечисляемый тип.</para>
+    /// </summary>
     using base = Enumerable<TSelf>;
+    /// <summary>
+    /// <para>The key type.</para>
+    /// <para>Тип ключа.</para>
+    /// </summary>
     using Key = decltype(std::get<0>(std::declval<typename base::Item>()));
+    /// <summary>
+    /// <para>The value type.</para>
+    /// <para>Тип значения.</para>
+    /// </summary>
     using Value = decltype(std::get<1>(std::declval<typename base::Item>()));
   };
 }  // namespace Platform::Interfaces
diff --git a/cpp/Platform.Interfaces/CEnumerable.h b/cpp/Platform.Interfaces/CEnumerable.h
index 66659ed0..2095d96e 100644
--- a/cpp/Platform.Interfaces/CEnumerable.h
+++ b/cpp/Platform.Interfaces/CEnumerable.h
@@ -3,13 +3,41 @@
 #include <ranges>
 
 namespace Platform::Interfaces {
+  /// <summary>
+  /// <para>Requires a type that can be iterated as a range.</para>
+  /// <para>Требует тип, который можно перебирать как диапазон.</para>
+  /// </summary>
+  /// <typeparam name="TSelf">
+  /// <para>The type checked by this concept or described by this helper.</para>
+  /// <para>Тип, проверяемый этим концептом или описываемый этим вспомогательным типом.</para>
+  /// </typeparam>
   template <typename TSelf>
   concept CEnumerable = std::ranges::range<TSelf>;
 
+  /// <summary>
+  /// <para>Exposes the item, reference and iterator types of an enumerable.</para>
+  /// <para>Предоставляет типы элемента, ссылки и итератора перечисляемого объекта.</para>
+  /// </summary>
+  /// <typeparam name="TSelf">
+  /// <para>The type checked by this concept or described by this helper.</para>
+  /// <para>Тип, проверяемый этим концептом или описываемый этим вспомогательным типом.</para>
+  /// </typeparam>
   template <CEnumerable TSelf>
   struct Enumerable {
+    /// <summary>
+    /// <para>The item value type.</para>
+    /// <para>Тип значения элемента.</para>
+    /// </summary>
     using Item = std::ranges::range_value_t<TSelf>;
+    /// <summary>
+    /// <para>The item reference type.</para>
+    /// <para>Тип ссылки на элемент.</para>
+    /// </summary>
     using ItemReference = std::ranges::range_reference_t<TSelf>;
+    /// <summary>
+    /// <para>The iterator type.</para>
+    /// <para>Тип итератора.</para>
+    /// </summary>
     using Iter = std::ranges::iterator_t<TSelf>;
   };
 }  // namespace Platform::Interfaces
diff --git a/cpp/Platform.Interfaces/CFactory.h b/cpp/Platform.Interfaces/CFactory.h
index fee54c74..726caf72 100644
--- a/cpp/Platform.Interfaces/CFactory.h
+++ b/cpp/Platform.Interfaces/CFactory.h
@@ -3,6 +3,18 @@
 #include <concepts>
 
 namespace Platform::Interfaces {
+  /// <summary>
+  /// <para>Requires a factory that creates the specified product type.</para>
+  /// <para>Требует фабрику, создающую объект заданного типа.</para>
+  /// </summary>
+  /// <typeparam name="TSelf">
+  /// <para>The type checked by this concept or described by this helper.</para>
+  /// <para>Тип, проверяемый этим концептом или описываемый этим вспомогательным типом.</para>
+  /// </typeparam>
+  /// <typeparam name="TProduct">
+  /// <para>The type of the created product.</para>
+  /// <para>Тип создаваемого объекта.</para>
+  /// </typeparam>
   template <typename TSelf, typename TProduct>
   concept CFactory = requires(TSelf self) {
     { self.Create() } -> std::same_as<TProduct>;
diff --git a/cpp/Platform.Interfaces/CLink.h b/cpp/Platform.Interfaces/CLink.h
index 5f0671cf..9951e3c7 100644
--- a/cpp/Platform.Interfaces/CLink.h
+++ b/cpp/Platform.Interfaces/CLink.h
@@ -4,6 +4,14 @@
 #include <type_traits>
 
 namespace Platform::Interfaces {
+  /// <summary>
+  /// <para>Requires a link with endpoints, a value type and an empty-state query.</para>
+  /// <para>Требует связь с концами, типом значения и проверкой пустого состояния.</para>
+  /// </summary>
+  /// <typeparam name="TSelf">
+  /// <para>The type checked by this concept or described by this helper.</para>
+  /// <para>Тип, проверяемый этим концептом или описываемый этим вспомогательным типом.</para>
+  /// </typeparam>
   template <typename TSelf>
   concept CLink = requires(TSelf self) {
     { self.empty() } -> std::same_as<bool>;
@@ -12,8 +20,20 @@ namespace Platform::Interfaces {
     { self.end } -> std::same_as<typename TSelf::value_type&>;
   };
 
+  /// <summary>
+  /// <para>Exposes the value type of a link.</para>
+  /// <para>Предоставляет тип значения связи.</para>
+  /// </summary>
+  /// <typeparam name="TSelf">
+  /// <para>The type checked by this concept or described by this helper.</para>
+  /// <para>Тип, проверяемый этим концептом или описываемый этим вспомогательным типом.</para>
+  /// </typeparam>
   template <CLink TSelf>
   struct Link {
+    /// <summary>
+    /// <para>The value type of the link.</para>
+    /// <para>Тип значения связи.</para>
+    /// </summary>
     using value_type = typename TSelf::value_type;
   };
-}  // namespace Platform::Interfaces
\ No newline at end of file
+}  // namespace Platform::Interfaces
diff --git a/cpp/Platform.Interfaces/CLinkAddress.h b/cpp/Platform.Interfaces/CLinkAddress.h
index e9624f11..1b8cdf29 100644
--- a/cpp/Platform.Interfaces/CLinkAddress.h
+++ b/cpp/Platform.Interfaces/CLinkAddress.h
@@ -4,6 +4,14 @@
 #include <type_traits>
 
 namespace Platform::Interfaces {
+  /// <summary>
+  /// <para>Requires an unsigned integral link address.</para>
+  /// <para>Требует беззнаковый целочисленный адрес связи.</para>
+  /// </summary>
+  /// <typeparam name="T">
+  /// <para>The type checked as a link address.</para>
+  /// <para>Тип, проверяемый как адрес связи.</para>
+  /// </typeparam>
   template <typename T>
   concept CLinkAddress = std::is_integral<T>::value && std::is_unsigned<T>::value;
 }
diff --git a/cpp/Platform.Interfaces/CLinks.h b/cpp/Platform.Interfaces/CLinks.h
index 3d76aebf..f55173f5 100644
--- a/cpp/Platform.Interfaces/CLinks.h
+++ b/cpp/Platform.Interfaces/CLinks.h
@@ -3,6 +3,14 @@
 #include <concepts>
 
 namespace Platform::Interfaces {
+  /// <summary>
+  /// <para>Requires link storage with counting, enumeration, creation, update and deletion operations.</para>
+  /// <para>Требует хранилище связей с подсчётом, перебором, созданием, изменением и удалением.</para>
+  /// </summary>
+  /// <typeparam name="TSelf">
+  /// <para>The type checked by this concept or described by this helper.</para>
+  /// <para>Тип, проверяемый этим концептом или описываемый этим вспомогательным типом.</para>
+  /// </typeparam>
   template <typename TSelf>
   concept CLinks = requires {
     typename TSelf::OptionsType;
@@ -18,4 +26,4 @@ namespace Platform::Interfaces {
     { self.Update(restriction, substitution, writeHandler) } -> std::same_as<typename TSelf::LinkAddressType>;
     { self.Delete(restriction, writeHandler) } -> std::same_as<typename TSelf::LinkAddressType>;
   };
-}  // namespace Platform::Interfaces
\ No newline at end of file
+}  // namespace Platform::Interfaces
diff --git a/cpp/Platform.Interfaces/CList.h b/cpp/Platform.Interfaces/CList.h
index b1dfb6c2..6e38f6cf 100644
--- a/cpp/Platform.Interfaces/CList.h
+++ b/cpp/Platform.Interfaces/CList.h
@@ -68,15 +68,55 @@ namespace Platform::Interfaces {
     }
   }  // namespace Internal
 
+  /// <summary>
+  /// <para>Requires an indexed mutable list with insertion and removal operations.</para>
+  /// <para>Требует индексируемый изменяемый список с операциями вставки и удаления.</para>
+  /// </summary>
+  /// <typeparam name="TSelf">
+  /// <para>The type checked by this concept or described by this helper.</para>
+  /// <para>Тип, проверяемый этим концептом или описываемый этим вспомогательным типом.</para>
+  /// </typeparam>
+  /// <typeparam name="TItems">
+  /// <para>Optional item types.</para>
+  /// <para>Необязательные типы элементов.</para>
+  /// </typeparam>
   template <typename TSelf, typename... TItems>
   concept CList = CArray<TSelf> && Internal::CListHelpFunction<TSelf, TItems...>();
 
+  /// <summary>
+  /// <para>Requires an indexed read-only list with size and empty-state queries.</para>
+  /// <para>Требует индексируемый список только для чтения с запросами размера и пустого состояния.</para>
+  /// </summary>
+  /// <typeparam name="TSelf">
+  /// <para>The type checked by this concept or described by this helper.</para>
+  /// <para>Тип, проверяемый этим концептом или описываемый этим вспомогательным типом.</para>
+  /// </typeparam>
+  /// <typeparam name="TItems">
+  /// <para>Optional item types.</para>
+  /// <para>Необязательные типы элементов.</para>
+  /// </typeparam>
   template <typename TSelf, typename... TItems>
   concept CReadonlyList = CArray<TSelf> && Internal::CReadonlyListHelpFunction<TSelf, TItems...>();
 
+  /// <summary>
+  /// <para>Exposes the item and iterator types of a mutable list.</para>
+  /// <para>Предоставляет типы элемента и итератора изменяемого списка.</para>
+  /// </summary>
+  /// <typeparam name="TSelf">
+  /// <para>The type checked by this concept or described by this helper.</para>
+  /// <para>Тип, проверяемый этим концептом или описываемый этим вспомогательным типом.</para>
+  /// </typeparam>
   template <CList TSelf>
   struct List : Enumerable<TSelf> {};
 
+  /// <summary>
+  /// <para>Exposes the item and iterator types of a read-only list.</para>
+  /// <para>Предоставляет типы элемента и итератора списка только для чтения.</para>
+  /// </summary>
+  /// <typeparam name="TSelf">
+  /// <para>The type checked by this concept or described by this helper.</para>
+  /// <para>Тип, проверяемый этим концептом или описываемый этим вспомогательным типом.</para>
+  /// </typeparam>
   template <CReadonlyList TSelf>
   struct ReadonlyList : Enumerable<TSelf> {};
 }  // namespace Platform::Interfaces
diff --git a/cpp/Platform.Interfaces/CMatcher.h b/cpp/Platform.Interfaces/CMatcher.h
index 66f8b229..aff37876 100644
--- a/cpp/Platform.Interfaces/CMatcher.h
+++ b/cpp/Platform.Interfaces/CMatcher.h
@@ -3,6 +3,18 @@
 #include <concepts>
 
 namespace Platform::Interfaces {
+  /// <summary>
+  /// <para>Requires a matcher that reports whether a candidate satisfies its rule.</para>
+  /// <para>Требует объект, сообщающий, соответствует ли кандидат правилу сопоставления.</para>
+  /// </summary>
+  /// <typeparam name="TSelf">
+  /// <para>The type checked by this concept or described by this helper.</para>
+  /// <para>Тип, проверяемый этим концептом или описываемый этим вспомогательным типом.</para>
+  /// </typeparam>
+  /// <typeparam name="TCandidate">
+  /// <para>The type of the candidate to match.</para>
+  /// <para>Тип проверяемого кандидата.</para>
+  /// </typeparam>
   template <typename TSelf, typename TCandidate>
   concept CMatcher = requires(TSelf self, TCandidate candidate) {
     { self.IsMatched(candidate) } -> std::same_as<bool>;
diff --git a/cpp/Platform.Interfaces/CProperties.h b/cpp/Platform.Interfaces/CProperties.h
index 15fb8250..fd94c3be 100644
--- a/cpp/Platform.Interfaces/CProperties.h
+++ b/cpp/Platform.Interfaces/CProperties.h
@@ -3,6 +3,26 @@
 #include <concepts>
 
 namespace Platform::Interfaces {
+  /// <summary>
+  /// <para>Requires an operator that gets and sets a named property of an object.</para>
+  /// <para>Требует оператор, получающий и устанавливающий указанное свойство объекта.</para>
+  /// </summary>
+  /// <typeparam name="TSelf">
+  /// <para>The type checked by this concept or described by this helper.</para>
+  /// <para>Тип, проверяемый этим концептом или описываемый этим вспомогательным типом.</para>
+  /// </typeparam>
+  /// <typeparam name="TObject">
+  /// <para>The object type.</para>
+  /// <para>Тип объекта.</para>
+  /// </typeparam>
+  /// <typeparam name="TProperty">
+  /// <para>The property reference type.</para>
+  /// <para>Тип ссылки на свойство.</para>
+  /// </typeparam>
+  /// <typeparam name="TValue">
+  /// <para>The value type.</para>
+  /// <para>Тип значения.</para>
+  /// </typeparam>
   template <typename TSelf, typename TObject, typename TProperty, typename TValue>
   concept CProperties = requires(TSelf self, TObject& object, TProperty property, TValue value) {
     { self.GetValue(object, property) } -> std::same_as<TValue>;
diff --git a/cpp/Platform.Interfaces/CProperty.h b/cpp/Platform.Interfaces/CProperty.h
index 532058e1..a13c17a0 100644
--- a/cpp/Platform.Interfaces/CProperty.h
+++ b/cpp/Platform.Interfaces/CProperty.h
@@ -4,6 +4,22 @@
 #include "CSetter.h"
 
 namespace Platform::Interfaces {
+  /// <summary>
+  /// <para>Requires an operator that gets and sets one property of an object.</para>
+  /// <para>Требует оператор, получающий и устанавливающий одно свойство объекта.</para>
+  /// </summary>
+  /// <typeparam name="TSelf">
+  /// <para>The type checked by this concept or described by this helper.</para>
+  /// <para>Тип, проверяемый этим концептом или описываемый этим вспомогательным типом.</para>
+  /// </typeparam>
+  /// <typeparam name="TObject">
+  /// <para>The object type.</para>
+  /// <para>Тип объекта.</para>
+  /// </typeparam>
+  /// <typeparam name="TValue">
+  /// <para>The value type.</para>
+  /// <para>Тип значения.</para>
+  /// </typeparam>
   template <typename TSelf, typename TObject, typename TValue>
   concept CProperty = CSetter<TSelf, TValue, TObject> && CProvider<TSelf, TValue, TObject>;
 }
diff --git a/cpp/Platform.Interfaces/CProvider.h b/cpp/Platform.Interfaces/CProvider.h
index a68711f3..678dfcf9 100644
--- a/cpp/Platform.Interfaces/CProvider.h
+++ b/cpp/Platform.Interfaces/CProvider.h
@@ -3,6 +3,22 @@
 #include <concepts>
 
 namespace Platform::Interfaces {
+  /// <summary>
+  /// <para>Requires a provider of the specified type with at most one argument.</para>
+  /// <para>Требует поставщика заданного типа, принимающего не более одного аргумента.</para>
+  /// </summary>
+  /// <typeparam name="TSelf">
+  /// <para>The type checked by this concept or described by this helper.</para>
+  /// <para>Тип, проверяемый этим концептом или описываемый этим вспомогательным типом.</para>
+  /// </typeparam>
+  /// <typeparam name="TProvider">
+  /// <para>The provided type.</para>
+  /// <para>Предоставляемый тип.</para>
+  /// </typeparam>
+  /// <typeparam name="TArgument">
+  /// <para>Optional argument type.</para>
+  /// <para>Необязательный тип аргумента.</para>
+  /// </typeparam>
   template <typename TSelf, typename TProvider, typename... TArgument>
   concept CProvider = sizeof...(TArgument) <= 1 && requires(TSelf self, TArgument... argument) {
     { self.Get(argument...) } -> std::same_as<TProvider>;
diff --git a/cpp/Platform.Interfaces/CSet.h b/cpp/Platform.Interfaces/CSet.h
index b61e4365..d1f2bcea 100644
--- a/cpp/Platform.Interfaces/CSet.h
+++ b/cpp/Platform.Interfaces/CSet.h
@@ -73,15 +73,55 @@ namespace Platform::Interfaces {
 
   }  // namespace Internal
 
+  /// <summary>
+  /// <para>Requires a mutable enumerable set with lookup, insertion and removal operations.</para>
+  /// <para>Требует изменяемое перечисляемое множество с поиском, вставкой и удалением.</para>
+  /// </summary>
+  /// <typeparam name="TSelf">
+  /// <para>The type checked by this concept or described by this helper.</para>
+  /// <para>Тип, проверяемый этим концептом или описываемый этим вспомогательным типом.</para>
+  /// </typeparam>
+  /// <typeparam name="TItems">
+  /// <para>Optional item types.</para>
+  /// <para>Необязательные типы элементов.</para>
+  /// </typeparam>
   template <typename TSelf, typename... TItems>
   concept CSet = CEnumerable<TSelf> && Internal::CSetHelpFunction<TSelf, TItems...>();
 
+  /// <summary>
+  /// <para>Requires a read-only enumerable set with lookup operations.</para>
+  /// <para>Требует доступное только для чтения перечисляемое множество с поиском.</para>
+  /// </summary>
+  /// <typeparam name="TSelf">
+  /// <para>The type checked by this concept or described by this helper.</para>
+  /// <para>Тип, проверяемый этим концептом или описываемый этим вспомогательным типом.</para>
+  /// </typeparam>
+  /// <typeparam name="TItems">
+  /// <para>Optional item types.</para>
+  /// <para>Необязательные типы элементов.</para>
+  /// </typeparam>
   template <typename TSelf, typename... TItems>
   concept CReadonlySet = CEnumerable<TSelf> && Internal::CReadonlySetHelpFunction<TSelf, TItems...>();
 
+  /// <summary>
+  /// <para>Exposes the item and iterator types of a mutable set.</para>
+  /// <para>Предоставляет типы элемента и итератора изменяемого множества.</para>
+  /// </summary>
+  /// <typeparam name="TSelf">
+  /// <para>The type checked by this concept or described by this helper.</para>
+  /// <para>Тип, проверяемый этим концептом или описываемый этим вспомогательным типом.</para>
+  /// </typeparam>
   template <CSet TSelf>
   struct Set : Enumerable<TSelf> {};
 
+  /// <summary>
+  /// <para>Exposes the item and iterator types of a read-only set.</para>
+  /// <para>Предоставляет типы элемента и итератора множества только для чтения.</para>
+  /// </summary>
+  /// <typeparam name="TSelf">
+  /// <para>The type checked by this concept or described by this helper.</para>
+  /// <para>Тип, проверяемый этим концептом или описываемый этим вспомогательным типом.</para>
+  /// </typeparam>
   template <CReadonlySet TSelf>
   struct ReadonlySet : Enumerable<TSelf> {};
 }  // namespace Platform::Interfaces
diff --git a/cpp/Platform.Interfaces/CSetter.h b/cpp/Platform.Interfaces/CSetter.h
index 72125d16..2b3c2f4d 100644
--- a/cpp/Platform.Interfaces/CSetter.h
+++ b/cpp/Platform.Interfaces/CSetter.h
@@ -3,6 +3,22 @@
 #include <concepts>
 
 namespace Platform::Interfaces {
+  /// <summary>
+  /// <para>Requires a setter that accepts a value and at most one additional argument.</para>
+  /// <para>Требует установщик, принимающий значение и не более одного дополнительного аргумента.</para>
+  /// </summary>
+  /// <typeparam name="TSelf">
+  /// <para>The type checked by this concept or described by this helper.</para>
+  /// <para>Тип, проверяемый этим концептом или описываемый этим вспомогательным типом.</para>
+  /// </typeparam>
+  /// <typeparam name="TValue">
+  /// <para>The value type.</para>
+  /// <para>Тип значения.</para>
+  /// </typeparam>
+  /// <typeparam name="TArgument">
+  /// <para>Optional argument type.</para>
+  /// <para>Необязательный тип аргумента.</para>
+  /// </typeparam>
   template <typename TSelf, typename TValue, typename... TArgument>
   concept CSetter = sizeof...(TArgument) <= 1 && requires(TSelf self, TArgument... argument, TValue value) {
     { self.Set(argument..., value) } -> std::same_as<void>;
diff --git a/cpp/Platform.Interfaces/Decorated.h b/cpp/Platform.Interfaces/Decorated.h
index 773448fc..a053042c 100644
--- a/cpp/Platform.Interfaces/Decorated.h
+++ b/cpp/Platform.Interfaces/Decorated.h
@@ -3,10 +3,34 @@
 #include "Macros.h"
 
 namespace Platform::Interfaces {
+  /// <summary>
+  /// <para>Composes one or more decorators around an object.</para>
+  /// <para>Объединяет один или несколько декораторов вокруг объекта.</para>
+  /// </summary>
+  /// <typeparam name="TDecorated">
+  /// <para>The decorated object type.</para>
+  /// <para>Тип декорируемого объекта.</para>
+  /// </typeparam>
+  /// <typeparam name="TFirstDecorator">
+  /// <para>The first decorator template.</para>
+  /// <para>Шаблон первого декоратора.</para>
+  /// </typeparam>
+  /// <typeparam name="TDecorators">
+  /// <para>The remaining decorator templates.</para>
+  /// <para>Шаблоны остальных декораторов.</para>
+  /// </typeparam>
   template <typename TDecorated, template <typename, typename> typename TFirstDecorator, template <typename, typename> typename... TDecorators>
   struct Decorated : public DecoratedBase<Decorated<TDecorated, TFirstDecorator, TDecorators...>, TDecorated, TFirstDecorator, TDecorators...> {
+    /// <summary>
+    /// <para>The composed decorator base type.</para>
+    /// <para>Тип базовой цепочки декораторов.</para>
+    /// </summary>
     using base = DecoratedBase<Decorated<TDecorated, TFirstDecorator, TDecorators...>, TDecorated, TFirstDecorator, TDecorators...>;
 
+    /// <summary>
+    /// <para>Forwards constructor arguments to the decorator chain.</para>
+    /// <para>Передаёт аргументы конструктора цепочке декораторов.</para>
+    /// </summary>
     USE_ALL_BASE_CONSTRUCTORS(Decorated, base)
   };
 }  // namespace Platform::Interfaces
diff --git a/cpp/Platform.Interfaces/DecoratedBase.h b/cpp/Platform.Interfaces/DecoratedBase.h
index e274a854..a55537be 100644
--- a/cpp/Platform.Interfaces/DecoratedBase.h
+++ b/cpp/Platform.Interfaces/DecoratedBase.h
@@ -3,10 +3,38 @@
 #include "Macros.h"
 
 namespace Platform::Interfaces {
+  /// <summary>
+  /// <para>Builds the decorator chain for a facade and its decorated object.</para>
+  /// <para>Создаёт цепочку декораторов для фасада и декорируемого объекта.</para>
+  /// </summary>
+  /// <typeparam name="TFacade">
+  /// <para>The facade type.</para>
+  /// <para>Тип фасада.</para>
+  /// </typeparam>
+  /// <typeparam name="TDecorated">
+  /// <para>The decorated object type.</para>
+  /// <para>Тип декорируемого объекта.</para>
+  /// </typeparam>
+  /// <typeparam name="TFirstDecorator">
+  /// <para>The first decorator template.</para>
+  /// <para>Шаблон первого декоратора.</para>
+  /// </typeparam>
+  /// <typeparam name="TDecorators">
+  /// <para>The remaining decorator templates.</para>
+  /// <para>Шаблоны остальных декораторов.</para>
+  /// </typeparam>
   template <typename TFacade, typename TDecorated, template <typename, typename> typename TFirstDecorator, template <typename, typename> typename... TDecorators>
   struct DecoratedBase : public DECORATED_BASE_TYPE(DecoratedBase, TFacade, TDecorated, TFirstDecorator, TDecorators) {
+    /// <summary>
+    /// <para>The base type of the decorator chain.</para>
+    /// <para>Базовый тип цепочки декораторов.</para>
+    /// </summary>
     using base = DECORATED_BASE_TYPE(DecoratedBase, TFacade, TDecorated, TFirstDecorator, TDecorators);
 
+    /// <summary>
+    /// <para>Forwards constructor arguments to the next decorator.</para>
+    /// <para>Передаёт аргументы конструктора следующему декоратору.</para>
+    /// </summary>
     USE_ALL_BASE_CONSTRUCTORS(DecoratedBase, base)
   };
 }  // namespace Platform::Interfaces
diff --git a/cpp/Platform.Interfaces/DecoratorBase.h b/cpp/Platform.Interfaces/DecoratorBase.h
index 98488e78..bc9e7488 100644
--- a/cpp/Platform.Interfaces/DecoratorBase.h
+++ b/cpp/Platform.Interfaces/DecoratorBase.h
@@ -3,11 +3,35 @@
 #include "Macros.h"
 
 namespace Platform::Interfaces {
+  /// <summary>
+  /// <para>Provides typed access to a decorated object and its facade.</para>
+  /// <para>Предоставляет типизированный доступ к декорируемому объекту и его фасаду.</para>
+  /// </summary>
+  /// <typeparam name="TFacade">
+  /// <para>The facade type.</para>
+  /// <para>Тип фасада.</para>
+  /// </typeparam>
+  /// <typeparam name="TDecorated">
+  /// <para>The decorated object type.</para>
+  /// <para>Тип декорируемого объекта.</para>
+  /// </typeparam>
   template <typename TFacade, typename TDecorated>
   struct DecoratorBase : public TDecorated {
+    /// <summary>
+    /// <para>Forwards constructor arguments to the decorated type.</para>
+    /// <para>Передаёт аргументы конструктора декорируемому типу.</para>
+    /// </summary>
     USE_ALL_BASE_CONSTRUCTORS(DecoratorBase, TDecorated)
 
+    /// <summary>
+    /// <para>Accesses the decorated object with the reference category of this object.</para>
+    /// <para>Предоставляет доступ к декорируемому объекту с соответствующей категорией ссылки.</para>
+    /// </summary>
     THIS_REFERENCE_WRAPPER_METHODS(decorated, TDecorated)
+    /// <summary>
+    /// <para>Accesses the facade with the reference category of this object.</para>
+    /// <para>Предоставляет доступ к фасаду с соответствующей категорией ссылки.</para>
+    /// </summary>
     THIS_REFERENCE_WRAPPER_METHODS(facade, TFacade)
   };
 }  // namespace Platform::Interfaces
diff --git a/cpp/Platform.Interfaces/Extended.h b/cpp/Platform.Interfaces/Extended.h
index da763ee2..14b34676 100644
--- a/cpp/Platform.Interfaces/Extended.h
+++ b/cpp/Platform.Interfaces/Extended.h
@@ -4,6 +4,22 @@
 #include "Macros.h"
 
 namespace Platform::Interfaces {
+  /// <summary>
+  /// <para>Composes one or more extenders around an object.</para>
+  /// <para>Объединяет одно или несколько расширений вокруг объекта.</para>
+  /// </summary>
+  /// <typeparam name="TExtendable">
+  /// <para>The extendable object type.</para>
+  /// <para>Тип расширяемого объекта.</para>
+  /// </typeparam>
+  /// <typeparam name="TFirstExtender">
+  /// <para>The first extender template.</para>
+  /// <para>Шаблон первого расширения.</para>
+  /// </typeparam>
+  /// <typeparam name="TExtenders">
+  /// <para>The remaining extender templates.</para>
+  /// <para>Шаблоны остальных расширений.</para>
+  /// </typeparam>
   template <typename TExtendable, template <typename> typename TFirstExtender, template <typename> typename... TExtenders>
   class Extended : public EXTENDED_BASE_TYPE(Extended, ExtendedBase, TExtendable, TFirstExtender, TExtenders) {};
 }  // namespace Platform::Interfaces
diff --git a/cpp/Platform.Interfaces/ExtendedBase.h b/cpp/Platform.Interfaces/ExtendedBase.h
index 1a5c0b5d..d0db2e1b 100644
--- a/cpp/Platform.Interfaces/ExtendedBase.h
+++ b/cpp/Platform.Interfaces/ExtendedBase.h
@@ -3,8 +3,20 @@
 #include "Macros.h"
 
 namespace Platform::Interfaces {
+  /// <summary>
+  /// <para>Provides typed access to the object being extended.</para>
+  /// <para>Предоставляет типизированный доступ к расширяемому объекту.</para>
+  /// </summary>
+  /// <typeparam name="TExtendable">
+  /// <para>The extendable object type.</para>
+  /// <para>Тип расширяемого объекта.</para>
+  /// </typeparam>
   template <typename TExtendable>
   struct ExtendedBase : public TExtendable {
+    /// <summary>
+    /// <para>Accesses the extended object with the reference category of this object.</para>
+    /// <para>Предоставляет доступ к расширяемому объекту с соответствующей категорией ссылки.</para>
+    /// </summary>
     THIS_REFERENCE_WRAPPER_METHODS(extended, TExtendable)
   };
 }  // namespace Platform::Interfaces
diff --git a/cpp/Platform.Interfaces/ExtendedContainer.h b/cpp/Platform.Interfaces/ExtendedContainer.h
index 707f8ada..14438d68 100644
--- a/cpp/Platform.Interfaces/ExtendedContainer.h
+++ b/cpp/Platform.Interfaces/ExtendedContainer.h
@@ -4,6 +4,22 @@
 #include "Macros.h"
 
 namespace Platform::Interfaces {
+  /// <summary>
+  /// <para>Composes extenders around an object stored by value.</para>
+  /// <para>Объединяет расширения вокруг объекта, хранимого по значению.</para>
+  /// </summary>
+  /// <typeparam name="TExtendable">
+  /// <para>The extendable object type.</para>
+  /// <para>Тип расширяемого объекта.</para>
+  /// </typeparam>
+  /// <typeparam name="TFirstExtender">
+  /// <para>The first extender template.</para>
+  /// <para>Шаблон первого расширения.</para>
+  /// </typeparam>
+  /// <typeparam name="TExtenders">
+  /// <para>The remaining extender templates.</para>
+  /// <para>Шаблоны остальных расширений.</para>
+  /// </typeparam>
   template <typename TExtendable, template <typename> typename TFirstExtender, template <typename> typename... TExtenders>
   class ExtendedContainer : public EXTENDED_BASE_TYPE(ExtendedContainer, ExtendedContainerBase, TExtendable, TFirstExtender, TExtenders) {};
 }  // namespace Platform::Interfaces
diff --git a/cpp/Platform.Interfaces/ExtendedContainerBase.h b/cpp/Platform.Interfaces/ExtendedContainerBase.h
index 87f1eb08..33956378 100644
--- a/cpp/Platform.Interfaces/ExtendedContainerBase.h
+++ b/cpp/Platform.Interfaces/ExtendedContainerBase.h
@@ -3,12 +3,28 @@
 #include "Macros.h"
 
 namespace Platform::Interfaces {
+  /// <summary>
+  /// <para>Stores an extendable object by value and exposes it to derived types.</para>
+  /// <para>Хранит расширяемый объект по значению и предоставляет его производным типам.</para>
+  /// </summary>
+  /// <typeparam name="TExtendable">
+  /// <para>The extendable object type.</para>
+  /// <para>Тип расширяемого объекта.</para>
+  /// </typeparam>
   template <typename TExtendable>
   class ExtendedContainerBase {
    public:
+    /// <summary>
+    /// <para>Accesses the stored object with the reference category of this object.</para>
+    /// <para>Предоставляет доступ к хранимому объекту с соответствующей категорией ссылки.</para>
+    /// </summary>
     VARIABLE_WRAPPER_METHODS(extended, extendable)
 
    protected:
+    /// <summary>
+    /// <para>The stored extendable object.</para>
+    /// <para>Хранимый расширяемый объект.</para>
+    /// </summary>
     TExtendable extendable;
   };
 }  // namespace Platform::Interfaces
diff --git a/cpp/Platform.Interfaces/ExtendedReference.h b/cpp/Platform.Interfaces/ExtendedReference.h
index 9313f67b..c2cdbb3c 100644
--- a/cpp/Platform.Interfaces/ExtendedReference.h
+++ b/cpp/Platform.Interfaces/ExtendedReference.h
@@ -4,11 +4,35 @@
 #include "Macros.h"
 
 namespace Platform::Interfaces {
+  /// <summary>
+  /// <para>Composes extenders around an object stored by reference.</para>
+  /// <para>Объединяет расширения вокруг объекта, хранимого по ссылке.</para>
+  /// </summary>
+  /// <typeparam name="TExtendable">
+  /// <para>The extendable object type.</para>
+  /// <para>Тип расширяемого объекта.</para>
+  /// </typeparam>
+  /// <typeparam name="TFirstExtender">
+  /// <para>The first extender template.</para>
+  /// <para>Шаблон первого расширения.</para>
+  /// </typeparam>
+  /// <typeparam name="TExtenders">
+  /// <para>The remaining extender templates.</para>
+  /// <para>Шаблоны остальных расширений.</para>
+  /// </typeparam>
   template <typename TExtendable, template <typename> typename TFirstExtender, template <typename> typename... TExtenders>
   class ExtendedReference : public EXTENDED_BASE_TYPE(ExtendedReference, ExtendedReferenceBase, TExtendable, TFirstExtender, TExtenders) {
+    /// <summary>
+    /// <para>The composed extender base type.</para>
+    /// <para>Тип базовой цепочки расширений.</para>
+    /// </summary>
     using base = EXTENDED_BASE_TYPE(ExtendedReference, ExtendedReferenceBase, TExtendable, TFirstExtender, TExtenders);
 
    public:
+    /// <summary>
+    /// <para>Forwards constructor arguments to the extender chain.</para>
+    /// <para>Передаёт аргументы конструктора цепочке расширений.</para>
+    /// </summary>
     USE_ALL_BASE_CONSTRUCTORS(ExtendedReference, base)
   };
 }  // namespace Platform::Interfaces
diff --git a/cpp/Platform.Interfaces/ExtendedReferenceBase.h b/cpp/Platform.Interfaces/ExtendedReferenceBase.h
index ecd077f3..b4864d39 100644
--- a/cpp/Platform.Interfaces/ExtendedReferenceBase.h
+++ b/cpp/Platform.Interfaces/ExtendedReferenceBase.h
@@ -3,14 +3,38 @@
 #include "Macros.h"
 
 namespace Platform::Interfaces {
+  /// <summary>
+  /// <para>Stores an extendable object by reference and exposes it to derived types.</para>
+  /// <para>Хранит расширяемый объект по ссылке и предоставляет его производным типам.</para>
+  /// </summary>
+  /// <typeparam name="TExtendable">
+  /// <para>The extendable object type.</para>
+  /// <para>Тип расширяемого объекта.</para>
+  /// </typeparam>
   template <typename TExtendable>
   class ExtendedReferenceBase {
    public:
+    /// <summary>
+    /// <para>Stores a reference to an extendable object.</para>
+    /// <para>Сохраняет ссылку на расширяемый объект.</para>
+    /// </summary>
+    /// <param name="reference">
+    /// <para>The object to extend.</para>
+    /// <para>Расширяемый объект.</para>
+    /// </param>
     ExtendedReferenceBase(TExtendable& reference) : extendable(reference) {}
 
+    /// <summary>
+    /// <para>Accesses the referenced object with the reference category of this object.</para>
+    /// <para>Предоставляет доступ к объекту по ссылке с соответствующей категорией ссылки.</para>
+    /// </summary>
     VARIABLE_WRAPPER_METHODS(extended, extendable)
 
    protected:
+    /// <summary>
+    /// <para>The referenced extendable object.</para>
+    /// <para>Расширяемый объект по ссылке.</para>
+    /// </summary>
     TExtendable& extendable;
   };
 }  // namespace Platform::Interfaces
diff --git a/cpp/Platform.Interfaces/ICli.h b/cpp/Platform.Interfaces/ICli.h
index 86edc188..b7356b9e 100644
--- a/cpp/Platform.Interfaces/ICli.h
+++ b/cpp/Platform.Interfaces/ICli.h
@@ -23,6 +23,10 @@ namespace Platform::Interfaces {
     /// </returns>
     virtual int Run(const std::vector<std::string>& args) = 0;
 
+    /// <summary>
+    /// <para>Destroys the interface instance.</para>
+    /// <para>Уничтожает экземпляр интерфейса.</para>
+    /// </summary>
     virtual ~ICli() = default;
   };
-}  // namespace Platform::Interfaces
\ No newline at end of file
+}  // namespace Platform::Interfaces
diff --git a/cpp/Platform.Interfaces/ICounter[TResult, TArgument].h b/cpp/Platform.Interfaces/ICounter[TResult, TArgument].h
index 80896390..4c04d097 100644
--- a/cpp/Platform.Interfaces/ICounter[TResult, TArgument].h	
+++ b/cpp/Platform.Interfaces/ICounter[TResult, TArgument].h	
@@ -32,6 +32,10 @@ namespace Platform::Interfaces {
     /// </returns>
     virtual TResult Count(TArgument argument) = 0;
 
+    /// <summary>
+    /// <para>Destroys the interface instance.</para>
+    /// <para>Уничтожает экземпляр интерфейса.</para>
+    /// </summary>
     virtual ~ICounter() = default;
   };
 }  // namespace Platform::Interfaces
diff --git a/cpp/Platform.Interfaces/ICounter[TResult].h b/cpp/Platform.Interfaces/ICounter[TResult].h
index 51ce3a0e..f0bd70e4 100644
--- a/cpp/Platform.Interfaces/ICounter[TResult].h
+++ b/cpp/Platform.Interfaces/ICounter[TResult].h
@@ -24,6 +24,10 @@ namespace Platform::Interfaces {
     /// </returns>
     virtual TResult Count() = 0;
 
+    /// <summary>
+    /// <para>Destroys the interface instance.</para>
+    /// <para>Уничтожает экземпляр интерфейса.</para>
+    /// </summary>
     virtual ~ICounter() = default;
   };
 }  // namespace Platform::Interfaces
diff --git a/cpp/Platform.Interfaces/IFactory.h b/cpp/Platform.Interfaces/IFactory.h
index 5f872e73..46a78118 100644
--- a/cpp/Platform.Interfaces/IFactory.h
+++ b/cpp/Platform.Interfaces/IFactory.h
@@ -24,6 +24,10 @@ namespace Platform::Interfaces {
     /// </returns>
     virtual TProduct Create() = 0;
 
+    /// <summary>
+    /// <para>Destroys the interface instance.</para>
+    /// <para>Уничтожает экземпляр интерфейса.</para>
+    /// </summary>
     virtual ~IFactory() = default;
   };
 }  // namespace Platform::Interfaces
diff --git a/cpp/Platform.Interfaces/IMatcher.h b/cpp/Platform.Interfaces/IMatcher.h
index 80d93687..9bc93c94 100644
--- a/cpp/Platform.Interfaces/IMatcher.h
+++ b/cpp/Platform.Interfaces/IMatcher.h
@@ -28,6 +28,10 @@ namespace Platform::Interfaces {
     /// </returns>
     virtual bool IsMatched(TCandidate candidate) = 0;
 
+    /// <summary>
+    /// <para>Destroys the interface instance.</para>
+    /// <para>Уничтожает экземпляр интерфейса.</para>
+    /// </summary>
     virtual ~IMatcher() = default;
   };
 }  // namespace Platform::Interfaces
diff --git a/cpp/Platform.Interfaces/IProperties.h b/cpp/Platform.Interfaces/IProperties.h
index 65c4627f..b0d31482 100644
--- a/cpp/Platform.Interfaces/IProperties.h
+++ b/cpp/Platform.Interfaces/IProperties.h
@@ -58,6 +58,10 @@ namespace Platform::Interfaces {
     /// </param>
     virtual void SetValue(TObject object, TProperty property, TValue value) = 0;
 
+    /// <summary>
+    /// <para>Destroys the interface instance.</para>
+    /// <para>Уничтожает экземпляр интерфейса.</para>
+    /// </summary>
     virtual ~IProperties() = default;
   };
 }  // namespace Platform::Interfaces
diff --git a/cpp/Platform.Interfaces/IProperty.h b/cpp/Platform.Interfaces/IProperty.h
index a75db42c..fdd012f2 100644
--- a/cpp/Platform.Interfaces/IProperty.h
+++ b/cpp/Platform.Interfaces/IProperty.h
@@ -21,6 +21,10 @@ namespace Platform::Interfaces {
   /// </typeparam>
   template <typename TObject, typename TValue>
   struct IProperty<TObject, TValue> : public ISetter<TValue, TObject>, IProvider<TValue, TObject> {
+    /// <summary>
+    /// <para>Destroys the interface instance.</para>
+    /// <para>Уничтожает экземпляр интерфейса.</para>
+    /// </summary>
     virtual ~IProperty() = default;
   };
 }  // namespace Platform::Interfaces
diff --git a/cpp/Platform.Interfaces/IProvider[TProvided, TArgument].h b/cpp/Platform.Interfaces/IProvider[TProvided, TArgument].h
index 2cab3e17..356f0a36 100644
--- a/cpp/Platform.Interfaces/IProvider[TProvided, TArgument].h	
+++ b/cpp/Platform.Interfaces/IProvider[TProvided, TArgument].h	
@@ -32,6 +32,10 @@ namespace Platform::Interfaces {
     /// </returns>
     virtual TProvided Get(TArgument argument) = 0;
 
+    /// <summary>
+    /// <para>Destroys the interface instance.</para>
+    /// <para>Уничтожает экземпляр интерфейса.</para>
+    /// </summary>
     virtual ~IProvider() = default;
   };
 }  // namespace Platform::Interfaces
diff --git a/cpp/Platform.Interfaces/IProvider[TProvided].h b/cpp/Platform.Interfaces/IProvider[TProvided].h
index b1e60685..7e9b7069 100644
--- a/cpp/Platform.Interfaces/IProvider[TProvided].h
+++ b/cpp/Platform.Interfaces/IProvider[TProvided].h
@@ -24,6 +24,10 @@ namespace Platform::Interfaces {
     /// </returns>
     virtual TProvided Get() = 0;
 
+    /// <summary>
+    /// <para>Destroys the interface instance.</para>
+    /// <para>Уничтожает экземпляр интерфейса.</para>
+    /// </summary>
     virtual ~IProvider() = default;
   };
 }  // namespace Platform::Interfaces
diff --git a/cpp/Platform.Interfaces/ISetter[TValue, TArgument].h b/cpp/Platform.Interfaces/ISetter[TValue, TArgument].h
index 27f4cdd0..5c7d1f24 100644
--- a/cpp/Platform.Interfaces/ISetter[TValue, TArgument].h	
+++ b/cpp/Platform.Interfaces/ISetter[TValue, TArgument].h	
@@ -32,6 +32,10 @@ namespace Platform::Interfaces {
     /// </param>
     virtual void Set(TArgument argument, TValue value) = 0;
 
+    /// <summary>
+    /// <para>Destroys the interface instance.</para>
+    /// <para>Уничтожает экземпляр интерфейса.</para>
+    /// </summary>
     virtual ~ISetter() = default;
   };
 }  // namespace Platform::Interfaces
diff --git a/cpp/Platform.Interfaces/ISetter[TValue].h b/cpp/Platform.Interfaces/ISetter[TValue].h
index ee84cebf..63d1e663 100644
--- a/cpp/Platform.Interfaces/ISetter[TValue].h
+++ b/cpp/Platform.Interfaces/ISetter[TValue].h
@@ -24,6 +24,10 @@ namespace Platform::Interfaces {
     /// </param>
     virtual void Set(TValue value) = 0;
 
+    /// <summary>
+    /// <para>Destroys the interface instance.</para>
+    /// <para>Уничтожает экземпляр интерфейса.</para>
+    /// </summary>
     virtual ~ISetter() = default;
   };
 }  // namespace Platform::Interfaces
diff --git a/cpp/Platform.Interfaces/Macros.h b/cpp/Platform.Interfaces/Macros.h
index 061b5e0b..5f3bc6ce 100644
--- a/cpp/Platform.Interfaces/Macros.h
+++ b/cpp/Platform.Interfaces/Macros.h
@@ -5,26 +5,50 @@
 #include <utility>
 
 namespace Platform::Interfaces {
+/// <summary>
+/// <para>Generates four reference-qualified accessors that cast this object to the wrapped type.</para>
+/// <para>Создаёт четыре метода доступа с квалификаторами ссылки, приводящие объект к обёрнутому типу.</para>
+/// </summary>
 #define THIS_REFERENCE_WRAPPER_METHODS(MethodName, TWrapped)                           \
   constexpr auto&& MethodName()& { return static_cast<TWrapped&>(*this); }             \
   constexpr auto&& MethodName()&& { return static_cast<TWrapped&&>(*this); }           \
   constexpr auto&& MethodName() const& { return static_cast<const TWrapped&>(*this); } \
   constexpr auto&& MethodName() const&& { return static_cast<const TWrapped&&>(*this); }
 
+/// <summary>
+/// <para>Generates four reference-qualified accessors for a member variable.</para>
+/// <para>Создаёт четыре метода доступа с квалификаторами ссылки для поля.</para>
+/// </summary>
 #define VARIABLE_WRAPPER_METHODS(MethodName, VariableName)      \
   constexpr auto&& MethodName()& { return VariableName; }       \
   constexpr auto&& MethodName()&& { return VariableName; }      \
   constexpr auto&& MethodName() const& { return VariableName; } \
   constexpr auto&& MethodName() const&& { return VariableName; }
 
+/// <summary>
+/// <para>Selects the next type in an extender chain.</para>
+/// <para>Выбирает следующий тип в цепочке расширений.</para>
+/// </summary>
 #define EXTENDED_BASE_TYPE(TExtended, TExtendedBase, TExtendable, TFirstExtender, TExtenders) TFirstExtender<std::conditional_t<sizeof...(TExtenders) >= 2, TExtended<TExtendable, TExtenders...>, std::tuple_element_t<0, std::tuple<TExtenders<TExtendedBase<TExtendable>>...>>>>
 
+/// <summary>
+/// <para>Selects the next type in a decorator chain.</para>
+/// <para>Выбирает следующий тип в цепочке декораторов.</para>
+/// </summary>
 #define DECORATED_BASE_TYPE(TDecoratedBase, TFacade, TDecorated, TFirstDecorator, TDecorators) TFirstDecorator<TFacade, std::conditional_t<sizeof...(TDecorators) >= 2, TDecoratedBase<TFacade, TDecorated, TDecorators...>, std::tuple_element_t<0, std::tuple<TDecorators<TFacade, TDecorated>...>>>>
 
+/// <summary>
+/// <para>Generates a forwarding constructor for the specified base type.</para>
+/// <para>Создаёт конструктор с передачей аргументов указанному базовому типу.</para>
+/// </summary>
 #define USE_ALL_BASE_CONSTRUCTORS(TSelf, TBase) \
   template <typename... TParams>                \
   TSelf(TParams&&... params) : TBase(std::forward<TParams>(params)...) {}
 
+/// <summary>
+/// <para>Calls a method directly for a concrete type or virtually for an abstract type.</para>
+/// <para>Вызывает метод напрямую для конкретного типа или виртуально для абстрактного типа.</para>
+/// </summary>
 #define DIRECT_METHOD_CALL(TClass, Object, MethodName, ...) (std::is_abstract<TClass>::value ? Object.MethodName(__VA_ARGS__) : Object.TClass::MethodName(__VA_ARGS__))
 
 }  // namespace Platform::Interfaces
diff --git a/cpp/Platform.Interfaces/Polymorph.h b/cpp/Platform.Interfaces/Polymorph.h
index e182ffe6..00340c33 100644
--- a/cpp/Platform.Interfaces/Polymorph.h
+++ b/cpp/Platform.Interfaces/Polymorph.h
@@ -3,9 +3,25 @@
 #include "Macros.h"
 
 namespace Platform::Interfaces {
+  /// <summary>
+  /// <para>Combines base types and exposes the derived object to them.</para>
+  /// <para>Объединяет базовые типы и предоставляет им доступ к производному объекту.</para>
+  /// </summary>
+  /// <typeparam name="TSelf">
+  /// <para>The type checked by this concept or described by this helper.</para>
+  /// <para>Тип, проверяемый этим концептом или описываемый этим вспомогательным типом.</para>
+  /// </typeparam>
+  /// <typeparam name="TBase">
+  /// <para>The base types.</para>
+  /// <para>Базовые типы.</para>
+  /// </typeparam>
   template <typename TSelf, typename... TBase>
   class Polymorph : public TBase... {
    protected:
+    /// <summary>
+    /// <para>Accesses the derived object with the reference category of this object.</para>
+    /// <para>Предоставляет доступ к производному объекту с соответствующей категорией ссылки.</para>
+    /// </summary>
     THIS_REFERENCE_WRAPPER_METHODS(object, TSelf)
   };
 }  // namespace Platform::Interfaces

From abd5fed7e1b0004056c66fdc8af03115f0447a4d Mon Sep 17 00:00:00 2001
From: konard <drakonard@gmail.com>
Date: Sat, 26 Sep 2026 02:32:24 +0000
Subject: [PATCH 5/8] Generate and validate complete C++ API documentation in
 CI

---
 .github/scripts/check-cpp-docs.py             | 98 +++++++++++++++++++
 .github/scripts/check-cpp-docs.test.py        | 50 ++++++++++
 .github/workflows/cpp-docs.yml                | 50 ++++++++++
 .gitignore                                    |  3 +
 README.md                                     |  2 +
 cpp/Doxyfile                                  | 27 +++++
 ...Platform.Interfaces.TemplateLibrary.nuspec |  4 +-
 7 files changed, 232 insertions(+), 2 deletions(-)
 create mode 100644 .github/scripts/check-cpp-docs.py
 create mode 100644 .github/scripts/check-cpp-docs.test.py
 create mode 100644 .github/workflows/cpp-docs.yml
 create mode 100644 cpp/Doxyfile

diff --git a/.github/scripts/check-cpp-docs.py b/.github/scripts/check-cpp-docs.py
new file mode 100644
index 00000000..9e9a08c7
--- /dev/null
+++ b/.github/scripts/check-cpp-docs.py
@@ -0,0 +1,98 @@
+#!/usr/bin/env python3
+"""Require bilingual documentation on public C++ declarations."""
+
+from pathlib import Path
+import re
+import sys
+
+
+def declaration_kind(line: str) -> str | None:
+    stripped = line.strip()
+    if re.match(r"(?:concept|struct|class)\s+\w+", stripped) and ("{" in stripped or "=" in stripped):
+        return "type"
+    if re.match(r"using\s+\w+\s*=", stripped):
+        return "alias"
+    if stripped.startswith("virtual "):
+        return "method"
+    if stripped.startswith("#define "):
+        return "macro"
+    if re.match(r"(?:THIS_REFERENCE_WRAPPER_METHODS|VARIABLE_WRAPPER_METHODS|USE_ALL_BASE_CONSTRUCTORS)\(", stripped):
+        return "generated members"
+    if re.match(r"ExtendedReferenceBase\(", stripped):
+        return "constructor"
+    if re.match(r"TExtendable&?\s+extendable;", stripped):
+        return "field"
+    return None
+
+
+def documentation_before(lines: list[str], index: int) -> tuple[str, str]:
+    previous = index - 1
+    template = ""
+    if previous >= 0 and lines[previous].strip().startswith("template <"):
+        template = lines[previous].strip()
+        previous -= 1
+    comment = []
+    while previous >= 0 and lines[previous].lstrip().startswith("///"):
+        comment.append(lines[previous].strip())
+        previous -= 1
+    return "\n".join(reversed(comment)), template
+
+
+def validate_header(path: Path) -> list[str]:
+    lines = path.read_text(encoding="utf-8-sig").splitlines()
+    errors = []
+    inside_internal = False
+    for index, line in enumerate(lines):
+        if "namespace Internal {" in line:
+            inside_internal = True
+        if "}  // namespace Internal" in line:
+            inside_internal = False
+            continue
+        if inside_internal:
+            continue
+        kind = declaration_kind(line)
+        if kind is None:
+            continue
+        comment, template = documentation_before(lines, index)
+        label = f"{path}:{index + 1}: {kind}"
+        if "<summary>" not in comment or "</summary>" not in comment:
+            errors.append(f"{label} lacks a documentation summary")
+            continue
+        paragraphs = re.findall(r"<para>(.*?)</para>", comment)
+        if not any(re.search(r"[A-Za-z]", paragraph) for paragraph in paragraphs) or not any(
+            re.search(r"[А-Яа-яЁё]", paragraph) for paragraph in paragraphs
+        ):
+            errors.append(f"{label} lacks English and Russian paragraphs")
+        if kind == "type":
+            parameters = dict.fromkeys(re.findall(r"\bT(?:[A-Z]\w*)?\b", template))
+            for parameter in parameters:
+                if f'<typeparam name="{parameter}">' not in comment:
+                    errors.append(f"{label} lacks documentation for {parameter}")
+        if kind in {"method", "constructor"}:
+            signature = line.strip()
+            arguments = re.search(r"\((.*?)\)", signature)
+            if arguments:
+                for argument in arguments.group(1).split(","):
+                    argument = argument.strip()
+                    if not argument:
+                        continue
+                    name = re.search(r"(\w+)$", argument)
+                    if name and f'<param name="{name.group(1)}">' not in comment:
+                        errors.append(f"{label} lacks documentation for argument {name.group(1)}")
+            if kind == "method" and not ("virtual void " in signature or "virtual ~" in signature) and "<returns>" not in comment:
+                errors.append(f"{label} lacks return documentation")
+    return errors
+
+
+def main() -> int:
+    root = Path(__file__).resolve().parents[2] / "cpp" / "Platform.Interfaces"
+    errors = [error for path in sorted(root.glob("*.h")) for error in validate_header(path)]
+    if errors:
+        print("\n".join(errors), file=sys.stderr)
+        return 1
+    print(f"Bilingual documentation covers the public declarations in {len(list(root.glob('*.h')))} C++ headers.")
+    return 0
+
+
+if __name__ == "__main__":
+    raise SystemExit(main())
diff --git a/.github/scripts/check-cpp-docs.test.py b/.github/scripts/check-cpp-docs.test.py
new file mode 100644
index 00000000..fd50aaa2
--- /dev/null
+++ b/.github/scripts/check-cpp-docs.test.py
@@ -0,0 +1,50 @@
+#!/usr/bin/env python3
+"""Regression checks for C++ documentation coverage."""
+
+from importlib.util import module_from_spec, spec_from_file_location
+from pathlib import Path
+from tempfile import TemporaryDirectory
+import unittest
+
+
+script = Path(__file__).with_name("check-cpp-docs.py")
+spec = spec_from_file_location("check_cpp_docs", script)
+module = module_from_spec(spec)
+spec.loader.exec_module(module)
+
+
+class DocumentationCoverageTests(unittest.TestCase):
+    def validate(self, source: str) -> list[str]:
+        with TemporaryDirectory() as directory:
+            path = Path(directory) / "Test.h"
+            path.write_text(source)
+            return module.validate_header(path)
+
+    def test_undocumented_concept_is_rejected(self):
+        self.assertTrue(self.validate("template <typename TSelf>\nconcept CExample = true;\n"))
+
+    def test_bilingual_concept_with_type_parameter_is_accepted(self):
+        source = """/// <summary>
+/// <para>Checks an example.</para>
+/// <para>Проверяет пример.</para>
+/// </summary>
+/// <typeparam name="TSelf">The type.</typeparam>
+template <typename TSelf>
+concept CExample = true;
+"""
+        self.assertEqual(self.validate(source), [])
+
+    def test_undocumented_public_member_is_rejected(self):
+        source = """/// <summary>
+/// <para>A holder.</para>
+/// <para>Хранилище.</para>
+/// </summary>
+struct Holder {
+  using Value = int;
+};
+"""
+        self.assertTrue(any("alias" in error for error in self.validate(source)))
+
+
+if __name__ == "__main__":
+    unittest.main()
diff --git a/.github/workflows/cpp-docs.yml b/.github/workflows/cpp-docs.yml
new file mode 100644
index 00000000..904d8356
--- /dev/null
+++ b/.github/workflows/cpp-docs.yml
@@ -0,0 +1,50 @@
+name: C++ documentation
+
+on:
+  push:
+    branches: [main]
+    paths:
+      - 'cpp/Platform.Interfaces/**'
+      - 'cpp/Doxyfile'
+      - '.github/scripts/check-cpp-docs.py'
+      - '.github/scripts/check-cpp-docs.test.py'
+      - '.github/workflows/cpp-docs.yml'
+  pull_request:
+    branches: [main]
+    paths:
+      - 'cpp/Platform.Interfaces/**'
+      - 'cpp/Doxyfile'
+      - '.github/scripts/check-cpp-docs.py'
+      - '.github/scripts/check-cpp-docs.test.py'
+      - '.github/workflows/cpp-docs.yml'
+
+jobs:
+  build:
+    runs-on: ubuntu-24.04
+    timeout-minutes: 10
+    permissions:
+      contents: read
+    steps:
+      - uses: actions/checkout@v7
+        with:
+          persist-credentials: false
+      - name: Install Doxygen
+        run: |
+          sudo apt-get update
+          sudo apt-get install -y doxygen
+      - name: Check documentation coverage
+        run: |
+          python3 .github/scripts/check-cpp-docs.test.py
+          python3 .github/scripts/check-cpp-docs.py
+      - name: Generate documentation
+        run: |
+          doxygen cpp/Doxyfile
+          test -s cpp/docs/html/index.html
+          test -s cpp/docs/xml/index.xml
+      - name: Upload HTML and XML documentation
+        uses: actions/upload-artifact@v4
+        with:
+          name: cpp-api-documentation
+          path: |
+            cpp/docs/html
+            cpp/docs/xml
diff --git a/.gitignore b/.gitignore
index c489eb5b..8b3ea174 100644
--- a/.gitignore
+++ b/.gitignore
@@ -326,6 +326,9 @@ ASALocalRun/
 # Generated DocFX site
 csharp/_site/
 
+# Generated Doxygen site
+cpp/docs/
+
 # NVidia Nsight GPU debugger configuration file
 *.nvuser
 
diff --git a/README.md b/README.md
index 066ef74b..7b5d8595 100644
--- a/README.md
+++ b/README.md
@@ -25,6 +25,8 @@ NuGet package: [Platform.Interfaces](https://www.nuget.org/packages/Platform.Int
 
 [PDF file](https://linksplatform.github.io/Interfaces/csharp/Platform.Interfaces.pdf) with code for e-readers.
 
+The [C++ documentation workflow](https://github.com/linksplatform/Interfaces/actions/workflows/cpp-docs.yml) generates an HTML and XML API reference as a downloadable artifact. Run `doxygen cpp/Doxyfile` from the repository root to build it locally.
+
 [API documentation PDF](https://linksplatform.github.io/Interfaces/csharp/Platform.Interfaces.Documentation.pdf) generated by DocFX.
 
 ## Dependent libraries
diff --git a/cpp/Doxyfile b/cpp/Doxyfile
new file mode 100644
index 00000000..da8a1e3b
--- /dev/null
+++ b/cpp/Doxyfile
@@ -0,0 +1,27 @@
+PROJECT_NAME = "Platform.Interfaces C++"
+# Run from the repository root. The output is ignored locally and uploaded by CI.
+OUTPUT_DIRECTORY = cpp/docs
+INPUT = cpp/Platform.Interfaces
+FILE_PATTERNS = *.h
+RECURSIVE = NO
+GENERATE_HTML = YES
+GENERATE_LATEX = NO
+GENERATE_XML = YES
+HAVE_DOT = NO
+EXTRACT_ALL = NO
+EXTRACT_PRIVATE = NO
+EXTRACT_STATIC = NO
+WARN_IF_UNDOCUMENTED = YES
+WARN_IF_DOC_ERROR = YES
+WARN_AS_ERROR = FAIL_ON_WARNINGS
+QUIET = YES
+EXCLUDE_SYMBOLS = Platform::Interfaces::Internal
+MACRO_EXPANSION = YES
+EXPAND_ONLY_PREDEF = YES
+# These replacements let Doxygen parse template bases and macro-generated methods.
+# The original declarations remain unchanged in the published headers.
+PREDEFINED = "THIS_REFERENCE_WRAPPER_METHODS(x,y)=" \
+             "VARIABLE_WRAPPER_METHODS(x,y)=" \
+             "USE_ALL_BASE_CONSTRUCTORS(x,y)=" \
+             "EXTENDED_BASE_TYPE(a,b,c,d,e)=c" \
+             "DECORATED_BASE_TYPE(a,b,c,d,e)=c"
diff --git a/cpp/Platform.Interfaces/Platform.Interfaces.TemplateLibrary.nuspec b/cpp/Platform.Interfaces/Platform.Interfaces.TemplateLibrary.nuspec
index c7be134c..66245894 100644
--- a/cpp/Platform.Interfaces/Platform.Interfaces.TemplateLibrary.nuspec
+++ b/cpp/Platform.Interfaces/Platform.Interfaces.TemplateLibrary.nuspec
@@ -5,8 +5,8 @@
     <title>LinksPlatform's Platform.Interfaces Template Library</title>
     <summary>LinksPlatform's Platform.Interfaces is a Template Library what contains common concepts templates.</summary>
     <description>LinksPlatform's Platform.Interfaces is a Template Library what contains set of C++ concepts templates. Use Platform.Interfaces.h file to include the library.</description>
-    <releaseNotes>Breaking change: rename ICriterionMatcher to IMatcher and CCriterionMatcher to CMatcher. Update header includes and references.</releaseNotes>
-    <version>0.4.0</version>
+    <releaseNotes>Add bilingual documentation for the complete public C++ API and validate generated API documentation in CI.</releaseNotes>
+    <version>0.4.1</version>
     <authors>konard, uselessgoddess, Mitron57</authors>
     <owners>konard, uselessgoddess, Mitron57</owners>
     <copyright>konard, uselessgoddess, Mitron57</copyright>

From 9464b471322ee19d93be43c75071d1ac27309cef Mon Sep 17 00:00:00 2001
From: konard <drakonard@gmail.com>
Date: Sat, 26 Sep 2026 02:35:43 +0000
Subject: [PATCH 6/8] Simplify C++ documentation coverage validation

---
 .github/scripts/check-cpp-docs.py | 77 +++++++++++++++++++------------
 1 file changed, 47 insertions(+), 30 deletions(-)

diff --git a/.github/scripts/check-cpp-docs.py b/.github/scripts/check-cpp-docs.py
index 9e9a08c7..75ab1e49 100644
--- a/.github/scripts/check-cpp-docs.py
+++ b/.github/scripts/check-cpp-docs.py
@@ -38,6 +38,51 @@ def documentation_before(lines: list[str], index: int) -> tuple[str, str]:
     return "\n".join(reversed(comment)), template
 
 
+def summary_errors(comment: str, label: str) -> list[str]:
+    errors = []
+    if "<summary>" not in comment or "</summary>" not in comment:
+        return [f"{label} lacks a documentation summary"]
+    paragraphs = re.findall(r"<para>(.*?)</para>", comment)
+    if not any(re.search(r"[A-Za-z]", paragraph) for paragraph in paragraphs) or not any(
+        re.search(r"[А-Яа-яЁё]", paragraph) for paragraph in paragraphs
+    ):
+        errors.append(f"{label} lacks English and Russian paragraphs")
+    return errors
+
+
+def template_errors(comment: str, template: str, label: str) -> list[str]:
+    parameters = dict.fromkeys(re.findall(r"\bT(?:[A-Z]\w*)?\b", template))
+    return [
+        f"{label} lacks documentation for {parameter}"
+        for parameter in parameters
+        if f'<typeparam name="{parameter}">' not in comment
+    ]
+
+
+def callable_errors(comment: str, signature: str, kind: str, label: str) -> list[str]:
+    errors = []
+    arguments = re.search(r"\((.*?)\)", signature)
+    if arguments:
+        for argument in arguments.group(1).split(","):
+            name = re.search(r"(\w+)$", argument.strip())
+            if name and f'<param name="{name.group(1)}">' not in comment:
+                errors.append(f"{label} lacks documentation for argument {name.group(1)}")
+    if kind == "method" and not ("virtual void " in signature or "virtual ~" in signature) and "<returns>" not in comment:
+        errors.append(f"{label} lacks return documentation")
+    return errors
+
+
+def declaration_errors(lines: list[str], index: int, kind: str, path: Path) -> list[str]:
+    comment, template = documentation_before(lines, index)
+    label = f"{path}:{index + 1}: {kind}"
+    errors = summary_errors(comment, label)
+    if kind == "type":
+        errors.extend(template_errors(comment, template, label))
+    if kind in {"method", "constructor"}:
+        errors.extend(callable_errors(comment, lines[index].strip(), kind, label))
+    return errors
+
+
 def validate_header(path: Path) -> list[str]:
     lines = path.read_text(encoding="utf-8-sig").splitlines()
     errors = []
@@ -51,36 +96,8 @@ def validate_header(path: Path) -> list[str]:
         if inside_internal:
             continue
         kind = declaration_kind(line)
-        if kind is None:
-            continue
-        comment, template = documentation_before(lines, index)
-        label = f"{path}:{index + 1}: {kind}"
-        if "<summary>" not in comment or "</summary>" not in comment:
-            errors.append(f"{label} lacks a documentation summary")
-            continue
-        paragraphs = re.findall(r"<para>(.*?)</para>", comment)
-        if not any(re.search(r"[A-Za-z]", paragraph) for paragraph in paragraphs) or not any(
-            re.search(r"[А-Яа-яЁё]", paragraph) for paragraph in paragraphs
-        ):
-            errors.append(f"{label} lacks English and Russian paragraphs")
-        if kind == "type":
-            parameters = dict.fromkeys(re.findall(r"\bT(?:[A-Z]\w*)?\b", template))
-            for parameter in parameters:
-                if f'<typeparam name="{parameter}">' not in comment:
-                    errors.append(f"{label} lacks documentation for {parameter}")
-        if kind in {"method", "constructor"}:
-            signature = line.strip()
-            arguments = re.search(r"\((.*?)\)", signature)
-            if arguments:
-                for argument in arguments.group(1).split(","):
-                    argument = argument.strip()
-                    if not argument:
-                        continue
-                    name = re.search(r"(\w+)$", argument)
-                    if name and f'<param name="{name.group(1)}">' not in comment:
-                        errors.append(f"{label} lacks documentation for argument {name.group(1)}")
-            if kind == "method" and not ("virtual void " in signature or "virtual ~" in signature) and "<returns>" not in comment:
-                errors.append(f"{label} lacks return documentation")
+        if kind is not None:
+            errors.extend(declaration_errors(lines, index, kind, path))
     return errors
 
 

From 3b20eda9bff608b0cf7f1d88f60dc4e9d3ca6b7f Mon Sep 17 00:00:00 2001
From: konard <drakonard@gmail.com>
Date: Sat, 26 Sep 2026 02:37:55 +0000
Subject: [PATCH 7/8] Document primary interface templates and enforce their
 coverage

---
 .github/scripts/check-cpp-docs.py                         | 4 +++-
 .github/scripts/check-cpp-docs.test.py                    | 3 +++
 cpp/Platform.Interfaces/ICounter[TResult, TArgument].h    | 4 ++++
 cpp/Platform.Interfaces/ICounter[TResult].h               | 4 ++++
 cpp/Platform.Interfaces/IFactory.h                        | 4 ++++
 cpp/Platform.Interfaces/IMatcher.h                        | 4 ++++
 cpp/Platform.Interfaces/IProperties.h                     | 4 ++++
 cpp/Platform.Interfaces/IProperty.h                       | 4 ++++
 cpp/Platform.Interfaces/IProvider[TProvided, TArgument].h | 4 ++++
 cpp/Platform.Interfaces/IProvider[TProvided].h            | 4 ++++
 cpp/Platform.Interfaces/ISetter[TValue, TArgument].h      | 4 ++++
 cpp/Platform.Interfaces/ISetter[TValue].h                 | 4 ++++
 12 files changed, 46 insertions(+), 1 deletion(-)

diff --git a/.github/scripts/check-cpp-docs.py b/.github/scripts/check-cpp-docs.py
index 75ab1e49..d7bca592 100644
--- a/.github/scripts/check-cpp-docs.py
+++ b/.github/scripts/check-cpp-docs.py
@@ -8,7 +8,9 @@
 
 def declaration_kind(line: str) -> str | None:
     stripped = line.strip()
-    if re.match(r"(?:concept|struct|class)\s+\w+", stripped) and ("{" in stripped or "=" in stripped):
+    if re.match(r"(?:struct|class)\s+\w+", stripped):
+        return "type"
+    if re.match(r"concept\s+\w+\s*=", stripped):
         return "type"
     if re.match(r"using\s+\w+\s*=", stripped):
         return "alias"
diff --git a/.github/scripts/check-cpp-docs.test.py b/.github/scripts/check-cpp-docs.test.py
index fd50aaa2..ec6a6a56 100644
--- a/.github/scripts/check-cpp-docs.test.py
+++ b/.github/scripts/check-cpp-docs.test.py
@@ -23,6 +23,9 @@ def validate(self, source: str) -> list[str]:
     def test_undocumented_concept_is_rejected(self):
         self.assertTrue(self.validate("template <typename TSelf>\nconcept CExample = true;\n"))
 
+    def test_undocumented_primary_template_is_rejected(self):
+        self.assertTrue(self.validate("template <typename...>\nstruct IExample;\n"))
+
     def test_bilingual_concept_with_type_parameter_is_accepted(self):
         source = """/// <summary>
 /// <para>Checks an example.</para>
diff --git a/cpp/Platform.Interfaces/ICounter[TResult, TArgument].h b/cpp/Platform.Interfaces/ICounter[TResult, TArgument].h
index 4c04d097..06636c05 100644
--- a/cpp/Platform.Interfaces/ICounter[TResult, TArgument].h	
+++ b/cpp/Platform.Interfaces/ICounter[TResult, TArgument].h	
@@ -1,6 +1,10 @@
 #pragma once
 
 namespace Platform::Interfaces {
+  /// <summary>
+  /// <para>Declares the primary counter interface template for its supported specializations.</para>
+  /// <para>Объявляет основной шаблон интерфейса счётчика для поддерживаемых специализаций.</para>
+  /// </summary>
   template <typename...>
   struct ICounter;
 
diff --git a/cpp/Platform.Interfaces/ICounter[TResult].h b/cpp/Platform.Interfaces/ICounter[TResult].h
index f0bd70e4..0de0de5c 100644
--- a/cpp/Platform.Interfaces/ICounter[TResult].h
+++ b/cpp/Platform.Interfaces/ICounter[TResult].h
@@ -1,6 +1,10 @@
 #pragma once
 
 namespace Platform::Interfaces {
+  /// <summary>
+  /// <para>Declares the primary counter interface template for its supported specializations.</para>
+  /// <para>Объявляет основной шаблон интерфейса счётчика для поддерживаемых специализаций.</para>
+  /// </summary>
   template <typename...>
   struct ICounter;
 
diff --git a/cpp/Platform.Interfaces/IFactory.h b/cpp/Platform.Interfaces/IFactory.h
index 46a78118..c859db90 100644
--- a/cpp/Platform.Interfaces/IFactory.h
+++ b/cpp/Platform.Interfaces/IFactory.h
@@ -1,6 +1,10 @@
 #pragma once
 
 namespace Platform::Interfaces {
+  /// <summary>
+  /// <para>Declares the primary factory interface template.</para>
+  /// <para>Объявляет основной шаблон интерфейса фабрики.</para>
+  /// </summary>
   template <typename...>
   struct IFactory;
 
diff --git a/cpp/Platform.Interfaces/IMatcher.h b/cpp/Platform.Interfaces/IMatcher.h
index 9bc93c94..a339590e 100644
--- a/cpp/Platform.Interfaces/IMatcher.h
+++ b/cpp/Platform.Interfaces/IMatcher.h
@@ -1,6 +1,10 @@
 #pragma once
 
 namespace Platform::Interfaces {
+  /// <summary>
+  /// <para>Declares the primary matcher interface template.</para>
+  /// <para>Объявляет основной шаблон интерфейса сопоставления.</para>
+  /// </summary>
   template <typename...>
   struct IMatcher;
 
diff --git a/cpp/Platform.Interfaces/IProperties.h b/cpp/Platform.Interfaces/IProperties.h
index b0d31482..7885d064 100644
--- a/cpp/Platform.Interfaces/IProperties.h
+++ b/cpp/Platform.Interfaces/IProperties.h
@@ -1,6 +1,10 @@
 #pragma once
 
 namespace Platform::Interfaces {
+  /// <summary>
+  /// <para>Declares the primary properties operator interface template.</para>
+  /// <para>Объявляет основной шаблон интерфейса оператора свойств.</para>
+  /// </summary>
   template <typename...>
   struct IProperties;
 
diff --git a/cpp/Platform.Interfaces/IProperty.h b/cpp/Platform.Interfaces/IProperty.h
index fdd012f2..97b70a04 100644
--- a/cpp/Platform.Interfaces/IProperty.h
+++ b/cpp/Platform.Interfaces/IProperty.h
@@ -4,6 +4,10 @@
 #include "ISetter[TValue, TArgument].h"
 
 namespace Platform::Interfaces {
+  /// <summary>
+  /// <para>Declares the primary property operator interface template.</para>
+  /// <para>Объявляет основной шаблон интерфейса оператора свойства.</para>
+  /// </summary>
   template <typename...>
   struct IProperty;
 
diff --git a/cpp/Platform.Interfaces/IProvider[TProvided, TArgument].h b/cpp/Platform.Interfaces/IProvider[TProvided, TArgument].h
index 356f0a36..eb81d7d2 100644
--- a/cpp/Platform.Interfaces/IProvider[TProvided, TArgument].h	
+++ b/cpp/Platform.Interfaces/IProvider[TProvided, TArgument].h	
@@ -1,6 +1,10 @@
 #pragma once
 
 namespace Platform::Interfaces {
+  /// <summary>
+  /// <para>Declares the primary provider interface template for its supported specializations.</para>
+  /// <para>Объявляет основной шаблон интерфейса поставщика для поддерживаемых специализаций.</para>
+  /// </summary>
   template <typename...>
   struct IProvider;
 
diff --git a/cpp/Platform.Interfaces/IProvider[TProvided].h b/cpp/Platform.Interfaces/IProvider[TProvided].h
index 7e9b7069..0609464a 100644
--- a/cpp/Platform.Interfaces/IProvider[TProvided].h
+++ b/cpp/Platform.Interfaces/IProvider[TProvided].h
@@ -1,6 +1,10 @@
 #pragma once
 
 namespace Platform::Interfaces {
+  /// <summary>
+  /// <para>Declares the primary provider interface template for its supported specializations.</para>
+  /// <para>Объявляет основной шаблон интерфейса поставщика для поддерживаемых специализаций.</para>
+  /// </summary>
   template <typename...>
   struct IProvider;
 
diff --git a/cpp/Platform.Interfaces/ISetter[TValue, TArgument].h b/cpp/Platform.Interfaces/ISetter[TValue, TArgument].h
index 5c7d1f24..805cfafe 100644
--- a/cpp/Platform.Interfaces/ISetter[TValue, TArgument].h	
+++ b/cpp/Platform.Interfaces/ISetter[TValue, TArgument].h	
@@ -1,6 +1,10 @@
 #pragma once
 
 namespace Platform::Interfaces {
+  /// <summary>
+  /// <para>Declares the primary setter interface template for its supported specializations.</para>
+  /// <para>Объявляет основной шаблон интерфейса установщика для поддерживаемых специализаций.</para>
+  /// </summary>
   template <typename...>
   struct ISetter;
 
diff --git a/cpp/Platform.Interfaces/ISetter[TValue].h b/cpp/Platform.Interfaces/ISetter[TValue].h
index 63d1e663..f49d75b0 100644
--- a/cpp/Platform.Interfaces/ISetter[TValue].h
+++ b/cpp/Platform.Interfaces/ISetter[TValue].h
@@ -1,6 +1,10 @@
 #pragma once
 
 namespace Platform::Interfaces {
+  /// <summary>
+  /// <para>Declares the primary setter interface template for its supported specializations.</para>
+  /// <para>Объявляет основной шаблон интерфейса установщика для поддерживаемых специализаций.</para>
+  /// </summary>
   template <typename...>
   struct ISetter;
 

From 210bd621bf66e78e853cd7a6b719be398615cb5b Mon Sep 17 00:00:00 2001
From: konard <drakonard@gmail.com>
Date: Sat, 26 Sep 2026 02:47:19 +0000
Subject: [PATCH 8/8] Validate bilingual C# API documentation in CI

---
 .github/scripts/check-csharp-docs.py          | 59 +++++++++++++++++++
 .github/scripts/check-csharp-docs.test.py     | 48 +++++++++++++++
 .github/scripts/validate-csharp-package.sh    |  2 +-
 .github/workflows/csharp.yml                  |  5 ++
 README.md                                     |  4 +-
 .../Platform.Interfaces.csproj                |  4 +-
 6 files changed, 117 insertions(+), 5 deletions(-)
 create mode 100644 .github/scripts/check-csharp-docs.py
 create mode 100644 .github/scripts/check-csharp-docs.test.py

diff --git a/.github/scripts/check-csharp-docs.py b/.github/scripts/check-csharp-docs.py
new file mode 100644
index 00000000..d3d1dea4
--- /dev/null
+++ b/.github/scripts/check-csharp-docs.py
@@ -0,0 +1,59 @@
+#!/usr/bin/env python3
+"""Require English and Russian paragraphs in generated C# API documentation."""
+
+from pathlib import Path
+import re
+import sys
+import xml.etree.ElementTree as ET
+
+
+DOCUMENTATION_TAGS = {"summary", "remarks", "typeparam", "param", "returns", "value", "example", "exception"}
+
+
+def has_bilingual_paragraphs(element: ET.Element) -> bool:
+    paragraphs = ["".join(paragraph.itertext()) for paragraph in element.findall("para")]
+    return any(re.search(r"[A-Za-z]", paragraph) for paragraph in paragraphs) and any(
+        re.search(r"[А-Яа-яЁё]", paragraph) for paragraph in paragraphs
+    )
+
+
+def validate_xml(path: Path) -> list[str]:
+    root = ET.parse(path).getroot()
+    members = root.findall("./members/member")
+    if not members:
+        return [f"{path}: generated XML contains no documented API members"]
+
+    errors = []
+    for member in members:
+        name = member.get("name", "unnamed member")
+        if member.find("summary") is None:
+            errors.append(f"{name}: missing summary")
+        for section in member:
+            if section.tag not in DOCUMENTATION_TAGS:
+                continue
+            label = f"{section.tag} {section.get('name', '')}".strip()
+            if not has_bilingual_paragraphs(section):
+                errors.append(f"{name}: {label} lacks English and Russian paragraphs")
+    return errors
+
+
+def main() -> int:
+    if len(sys.argv) != 2:
+        print("Usage: check-csharp-docs.py XML_FILE", file=sys.stderr)
+        return 2
+    path = Path(sys.argv[1])
+    try:
+        errors = validate_xml(path)
+    except (OSError, ET.ParseError) as error:
+        print(f"{path}: {error}", file=sys.stderr)
+        return 1
+    if errors:
+        print("\n".join(errors), file=sys.stderr)
+        return 1
+    count = len(ET.parse(path).getroot().findall("./members/member"))
+    print(f"Validated bilingual XML documentation for {count} C# API members.")
+    return 0
+
+
+if __name__ == "__main__":
+    raise SystemExit(main())
diff --git a/.github/scripts/check-csharp-docs.test.py b/.github/scripts/check-csharp-docs.test.py
new file mode 100644
index 00000000..1fe527e5
--- /dev/null
+++ b/.github/scripts/check-csharp-docs.test.py
@@ -0,0 +1,48 @@
+#!/usr/bin/env python3
+"""Regression checks for generated C# XML documentation."""
+
+from importlib.util import module_from_spec, spec_from_file_location
+from pathlib import Path
+from tempfile import TemporaryDirectory
+import unittest
+
+
+script = Path(__file__).with_name("check-csharp-docs.py")
+spec = spec_from_file_location("check_csharp_docs", script)
+module = module_from_spec(spec)
+spec.loader.exec_module(module)
+
+
+class DocumentationCoverageTests(unittest.TestCase):
+    def validate(self, content: str) -> list[str]:
+        with TemporaryDirectory() as directory:
+            path = Path(directory) / "Platform.Interfaces.xml"
+            path.write_text(content, encoding="utf-8")
+            return module.validate_xml(path)
+
+    def test_bilingual_member_and_parameter_are_accepted(self):
+        xml = """<doc><members><member name="M:Example.Run(System.String)">
+          <summary><para>Runs.</para><para>Запускает.</para></summary>
+          <param name="input"><para>Input.</para><para>Ввод.</para></param>
+        </member></members></doc>"""
+        self.assertEqual(self.validate(xml), [])
+
+    def test_missing_russian_summary_is_rejected(self):
+        xml = """<doc><members><member name="T:Example">
+          <summary><para>An example.</para></summary>
+        </member></members></doc>"""
+        self.assertTrue(any("summary" in error for error in self.validate(xml)))
+
+    def test_missing_english_parameter_is_rejected(self):
+        xml = """<doc><members><member name="M:Example.Run(System.String)">
+          <summary><para>Runs.</para><para>Запускает.</para></summary>
+          <param name="input"><para>Ввод.</para></param>
+        </member></members></doc>"""
+        self.assertTrue(any("param input" in error for error in self.validate(xml)))
+
+    def test_empty_member_list_is_rejected(self):
+        self.assertTrue(self.validate("<doc><members /></doc>"))
+
+
+if __name__ == "__main__":
+    unittest.main()
diff --git a/.github/scripts/validate-csharp-package.sh b/.github/scripts/validate-csharp-package.sh
index 4255424d..9f082834 100755
--- a/.github/scripts/validate-csharp-package.sh
+++ b/.github/scripts/validate-csharp-package.sh
@@ -33,7 +33,7 @@ if [[ ${#symbol_packages[@]} -ne 0 ]]; then
 fi
 
 package_contents=$(unzip -Z1 "${packages[0]}")
-for expected_file in README.md icon.png lib/net8.0/Platform.Interfaces.dll; do
+for expected_file in README.md icon.png lib/net8.0/Platform.Interfaces.dll lib/net8.0/Platform.Interfaces.xml; do
   if ! grep -Fxq "$expected_file" <<< "$package_contents"; then
     echo "${packages[0]} is missing $expected_file." >&2
     exit 1
diff --git a/.github/workflows/csharp.yml b/.github/workflows/csharp.yml
index 4ade993d..b4597ccb 100644
--- a/.github/workflows/csharp.yml
+++ b/.github/workflows/csharp.yml
@@ -47,6 +47,11 @@ jobs:
       - name: Validate tests and NuGet package
         run: ../.github/scripts/validate-csharp-package.sh
 
+      - name: Validate bilingual C# API documentation
+        run: |
+          python3 ../.github/scripts/check-csharp-docs.test.py
+          python3 ../.github/scripts/check-csharp-docs.py Platform.Interfaces/bin/Release/net8/Platform.Interfaces.xml
+
       - name: Test C# workflow safeguards
         run: node --test ../.github/scripts/*csharp*.test.mjs
 
diff --git a/README.md b/README.md
index 7b5d8595..34accc99 100644
--- a/README.md
+++ b/README.md
@@ -25,9 +25,9 @@ NuGet package: [Platform.Interfaces](https://www.nuget.org/packages/Platform.Int
 
 [PDF file](https://linksplatform.github.io/Interfaces/csharp/Platform.Interfaces.pdf) with code for e-readers.
 
-The [C++ documentation workflow](https://github.com/linksplatform/Interfaces/actions/workflows/cpp-docs.yml) generates an HTML and XML API reference as a downloadable artifact. Run `doxygen cpp/Doxyfile` from the repository root to build it locally.
+The [C++ documentation workflow](https://github.com/linksplatform/Interfaces/actions/workflows/cpp-docs.yml) checks bilingual English/Russian comments and generates an HTML and XML API reference as a downloadable artifact. Run `doxygen cpp/Doxyfile` from the repository root to build it locally.
 
-[API documentation PDF](https://linksplatform.github.io/Interfaces/csharp/Platform.Interfaces.Documentation.pdf) generated by DocFX.
+The [C# workflow](https://github.com/linksplatform/Interfaces/actions/workflows/csharp.yml) checks bilingual XML comments and publishes the DocFX site, including the [API documentation PDF](https://linksplatform.github.io/Interfaces/csharp/Platform.Interfaces.Documentation.pdf).
 
 ## Dependent libraries
 *   [Platform.Collections](https://github.com/linksplatform/Collections)
diff --git a/csharp/Platform.Interfaces/Platform.Interfaces.csproj b/csharp/Platform.Interfaces/Platform.Interfaces.csproj
index f05f43fc..ca685aba 100644
--- a/csharp/Platform.Interfaces/Platform.Interfaces.csproj
+++ b/csharp/Platform.Interfaces/Platform.Interfaces.csproj
@@ -4,7 +4,7 @@
     <Description>LinksPlatform's Platform.Interfaces Class Library</Description>
     <Copyright>Konstantin Diachenko</Copyright>
     <AssemblyTitle>Platform.Interfaces</AssemblyTitle>
-    <VersionPrefix>0.6.0</VersionPrefix>
+    <VersionPrefix>0.6.1</VersionPrefix>
     <Authors>Konstantin Diachenko</Authors>
     <TargetFramework>net8</TargetFramework>
     <AssemblyName>Platform.Interfaces</AssemblyName>
@@ -23,7 +23,7 @@
     <EmbedUntrackedSources>true</EmbedUntrackedSources>
     <DebugType>embedded</DebugType>
     <LangVersion>latest</LangVersion>
-    <PackageReleaseNotes>Breaking change: rename ICriterionMatcher to IMatcher. Matcher input is named candidate; update implementations and references to the new interface.</PackageReleaseNotes>
+    <PackageReleaseNotes>Validate complete bilingual English and Russian XML documentation for the public C# API in CI.</PackageReleaseNotes>
     <Nullable>enable</Nullable>
   </PropertyGroup>