feat(collections): add immutable list conversion

Author: robertvokac

CLAUDE.md

@@ -9,7 +9,7 @@
 ## Non-negotiable rules
 
 1. **Zero errors, zero warnings** before any commit. `cmake --build build --parallel 4` must be clean.
-2. **No test-count regression.** `scripts/run_component_tests.sh build` must show no failures. The verified baseline is 12,616 tests across 36 component executables and one integration executable; this floor should be raised as new tests are added and lowered only with an explicit, documented reason.
+2. **No test-count regression.** `scripts/run_component_tests.sh build` must show no failures. The verified baseline is 12,619 tests across 36 component executables and one integration executable; this floor should be raised as new tests are added and lowered only with an explicit, documented reason.
 3. **Push only to `feature/work`.** Never push to `develop` or `master`, and never create tags, without explicit per-action user approval.
 4. **SPDX header on every project source/header** — `// SPDX-License-Identifier: MIT` + copyright + .NET attribution. Vendored sources retain their upstream headers; Markdown uses an HTML SPDX comment where one is present.
 5. **Property naming:** always `getXxxProperty()` / `setXxxProperty()`. Exception: indexers

NEXT.md

@@ -4,9 +4,9 @@
 # NEXT.md
 
 *Last verified: 2026-07-25. Branch: `feature/work`. The P0 component-boundary
-repair, three P1 parity repairs, P1 portability revalidation, and four bounded
+repair, three P1 parity repairs, P1 portability revalidation, and five bounded
 P2 API slices are complete: 41 physical modules, 90 production dependency
-edges, and 12,616 tests across 37 executables.*
+edges, and 12,619 tests across 37 executables.*
 
 This is the cold-start handoff for the next working session. Keep it focused
 on verified facts, remaining bounded work, and commands needed to resume.
@@ -28,7 +28,7 @@ Historical session detail belongs in git history and `plan.sqlite3`.
 - The ten-job selective consumer matrix, including a direct
   `Collections.Blocking` consumer, is green. Text.Json retains its target
   absence and negative include-leakage assertions.
-- The full native baseline is a warning-free build with 12,616 passing tests
+- The full native baseline is a warning-free build with 12,619 passing tests
   across 36 component executables and one integration executable.
 - `TaskT<TResult>::ContinueWith` now supports both action and result-producing
   callbacks. It runs inline on completion; `NotOn*` and `OnlyOn*` filter the
@@ -46,14 +46,14 @@ Historical session detail belongs in git history and `plan.sqlite3`.
   ASan/LSan ownership scenarios, including 100 continuation teardowns, pass.
 
 The local `plan.sqlite3` snapshot contains 16,201 classified `task` rows and
-1,746 completed tickets. Ticket #1737 records the completed P0 split, tickets
+1,747 completed tickets. Ticket #1737 records the completed P0 split, tickets
 #1738/#1739 the MemoryStream and generic-continuation repairs, ticket #1740 the
 XML whitespace repair, #1741 the completed cross-build revalidation and
 `WebProxy` portability fix, #1742 focused sanitizer evidence, and #1743 the
 `ImmutableList<T>` predicate-query slice. Ticket #1744 records seekable
 `BinaryReader::PeekChar`, #1745 `ImmutableList<T>::Sort`/`Reverse`, and #1746
-`ImmutableList<T>::GetRange`. The database is git-ignored and is not part of a
-fresh clone.
+`ImmutableList<T>::GetRange`, and #1747 `ImmutableList<T>::ConvertAll`. The
+database is git-ignored and is not part of a fresh clone.
 
 ## P0 completion: restore Collections isolation
 
@@ -147,6 +147,12 @@ slice. It accepts zero-length ranges at either valid boundary and reuses the
 same `ArgumentOutOfRangeException` checks as `RemoveRange`. Three regressions
 cover slice content, source immutability, boundary empties, and invalid ranges.
 
+## P2 completion: `ImmutableList<T>::ConvertAll`
+
+`ConvertAll<TOutput>` converts each source value in order into an independently
+backed immutable list. It preserves an empty source and rejects an empty
+converter with `ArgumentNullException`; three regressions cover those cases.
+
 ## Recommended next bounded tasks
 
 All currently planned P1 work is complete. Choose one consumer-driven P2
@@ -156,7 +162,7 @@ slice, create a ticket, and keep the changes isolated:
    `Read(char[])` behavior while preserving decoder state and truncated-input
    semantics, including supplementary UTF-8 characters.
 2. **`ImmutableList<T>` breadth.** Select one real consumer-needed group from
-   copying/conversion, builder support, or comparer overloads.
+   copying, builder support, or comparer overloads.
 3. **Other documented partial surfaces.** Examples include `BigInteger`
    bitwise operations, fuller UTF-7 behavior, and wider debugger/process/XML
    surfaces.

README.md

@@ -7,7 +7,7 @@ collector, or the complete .NET platform.
 
 The repository currently builds as 41 independently selectable CMake
 components. The verified Linux baseline on 2026-07-25 is a warning-free build
-with **12,616 passing tests across 37 test executables**.
+with **12,619 passing tests across 37 test executables**.
 
 ## What is included
 
@@ -181,7 +181,7 @@ Other platform evidence is narrower:
 
 | Platform/toolchain | Verified scope |
 |---|---|
-| Linux/GCC | Current full component build and all 12,616 tests. |
+| Linux/GCC | Current full component build and all 12,619 tests. |
 | Windows/MinGW | MinGW-w64 GCC 14-win32/CMake 3.31.6 compiled the post-component `All` and selective `Text.Json` library graphs under ticket #1741. GoogleTest was not cross-built and repository CI remains Ubuntu-only. |
 | Emscripten | Emscripten 5.0.7/CMake 3.31.6 compiled the post-component `All` and selective `Text.Json` library graphs under ticket #1741. Tests were not cross-built or run, and some runtime APIs deliberately throw `PlatformNotSupportedException`. |
 | macOS/Apple Clang | Real downstream Xcode 15.4 builds drove portability fixes on 2026-07-20; this repository has no macOS job or recorded full standalone test baseline. |

docs/CMakeComponents.md

@@ -131,7 +131,7 @@ are named `SharpRuntimeTests_<Component>`; genuinely cross-module scenarios
 are in `SharpRuntimeIntegrationTests`. CTest also discovers every individual
 GoogleTest case.
 
-The verified 2026-07-25 `All` baseline contains 12,616 tests across 36
+The verified 2026-07-25 `All` baseline contains 12,619 tests across 36
 component executables and one integration executable.
 
 ## Boundary validation and CI

modules/collections/include/System/Collections/Immutable/ImmutableList.hpp

@@ -27,7 +27,7 @@ using SharpRuntime::intcs;
  * BinarySearch).
  * Deliberately deferred relative to real .NET's ImmutableList<T> (a much larger surface backed
  * by an AVL tree, not a flat vector): range and custom-comparer Sort/Reverse overloads, the 3
- * CopyTo overloads, ConvertAll<TOutput>, ToBuilder/Builder,
+ * CopyTo overloads, ToBuilder/Builder,
  * RemoveRange(IEnumerable<T>), and every
  * IEqualityComparer<T>/IComparer<T>-taking overload of Remove/RemoveRange/Replace/IndexOf/
  * LastIndexOf/BinarySearch (this port always uses T::operator== / operator< instead). These are
@@ -290,6 +290,30 @@ class ImmutableList {
         return ImmutableList<T>(std::move(values));
     }
 
+    /**
+     * @brief Converts every element and returns an immutable list of the converted values.
+     *
+     * C++ counterpart of .NET ImmutableList<T>.ConvertAll<TOutput>(Converter<T, TOutput>).
+     * @tparam TOutput The target element type.
+     * @param converter The conversion function.
+     * @return A new immutable list containing converted values in source order.
+     * @throws System::ArgumentNullException if @p converter is empty.
+     */
+    template<typename TOutput>
+    [[nodiscard]] ImmutableList<TOutput> ConvertAll(
+        std::function<TOutput(const T&)> converter) const {
+        if (!converter) {
+            throw System::ArgumentNullException("converter");
+        }
+
+        std::vector<TOutput> values;
+        values.reserve(data_->size());
+        for (const auto& item : *data_) {
+            values.push_back(converter(item));
+        }
+        return ImmutableList<TOutput>::Create(values);
+    }
+
     /**
      * @brief Returns a new list with all elements sorted using T::operator<.
      *

modules/collections/tests/System/Collections/ImmutableListConversionTests.cpp

@@ -0,0 +1,41 @@
+// SPDX-License-Identifier: MIT
+// Copyright (c) Robert Vokac and contributors
+// Portions based on .NET runtime API (MIT License, Copyright .NET Foundation and Contributors)
+#include <gtest/gtest.h>
+
+#include <functional>
+#include <string>
+
+#include "System/ArgumentNullException.hpp"
+#include "System/Collections/Immutable/ImmutableList.hpp"
+
+using System::Collections::Immutable::ImmutableList;
+
+TEST(ImmutableListConversionTests, ConvertAllReturnsOrderedConvertedCopy) {
+    const auto source = ImmutableList<int>::Create({4, 1, 9});
+    const auto converted = source.ConvertAll<std::string>(
+        [](const int& value) { return "value=" + std::to_string(value); });
+
+    ASSERT_EQ(converted.getCountProperty(), 3);
+    EXPECT_EQ(converted[0], "value=4");
+    EXPECT_EQ(converted[1], "value=1");
+    EXPECT_EQ(converted[2], "value=9");
+    EXPECT_EQ(source.getCountProperty(), 3);
+    EXPECT_EQ(source[0], 4);
+    EXPECT_EQ(source[2], 9);
+}
+
+TEST(ImmutableListConversionTests, ConvertAllHandlesEmptySource) {
+    const auto source = ImmutableList<int>::Empty();
+    const auto converted = source.ConvertAll<std::string>(
+        [](const int& value) { return std::to_string(value); });
+
+    EXPECT_TRUE(converted.getIsEmptyProperty());
+}
+
+TEST(ImmutableListConversionTests, ConvertAllEmptyConverterThrowsArgumentNullException) {
+    const auto source = ImmutableList<int>::Create({1});
+    const std::function<std::string(const int&)> converter;
+
+    EXPECT_THROW(source.ConvertAll<std::string>(converter), System::ArgumentNullException);
+}

plan.md

@@ -1,7 +1,7 @@
 # Sharp Runtime plan
 
 *Last verified: 2026-07-25 — 41 physical components, 90 direct production
-dependency edges, a clean native build, 12,616 passing tests across 37
+dependency edges, a clean native build, 12,619 passing tests across 37
 executables, and a green ten-job selective matrix.*
 
 Sharp Runtime is in a consumer-driven expansion phase. The original type
@@ -32,7 +32,7 @@ was never created. Neither file should be linked as current documentation.
 ### Code and validation
 
 - Native Linux/GCC build: zero errors and zero warnings.
-- Tests: 12,616 passing across 36 component binaries plus one integration
+- Tests: 12,619 passing across 36 component binaries plus one integration
   binary.
 - Component graph: 41 physical modules and 90 direct production edges.
 - Boundary validator: no cycles, duplicate public include paths, orphan
@@ -52,7 +52,7 @@ The 2026-07-25 local snapshot contains:
 | Table | State |
 |---|---|
 | `task` | 16,201 rows: 1,082 `ported`, 140 `ignore`, 14,979 legacy `ignored`; no unclassified or `tobedecided` rows |
-| `ticket` | 1,746 rows, all `done`; no `todo`, `doing`, `blocked`, or `needs_user` rows |
+| `ticket` | 1,747 rows, all `done`; no `todo`, `doing`, `blocked`, or `needs_user` rows |
 
 Because `plan.sqlite3` is git-ignored, these counts describe the maintainer
 snapshot, not data shipped in a fresh clone.
@@ -94,6 +94,8 @@ assertion without an explicit architecture decision.
   #1745, leaving range and custom-comparer overloads explicitly deferred.
 - Added `ImmutableList<T>::GetRange` under ticket #1746, including exact
   boundary and invalid-range regression coverage.
+- Added `ImmutableList<T>::ConvertAll<TOutput>` under ticket #1747, including
+  empty-source and empty-converter regression coverage.
 - Added seekable `BinaryReader::PeekChar` under ticket #1744. It returns the
   next UTF-8 character or EOF without advancing, restores the position after
   decode failure, and explicitly rejects non-seekable streams rather than
@@ -158,7 +160,7 @@ The first consumer-driven ports after modularization added:
 - XML schema exception types.
 
 The verified test baseline grew from 12,494 at the modularization checkpoint
-to 12,616.
+to 12,619.
 
 ## Candidate roadmap
 
@@ -168,9 +170,9 @@ acceptance criteria and a validation command before changing code.
 ### P2 — Consumer-driven API breadth
 
 1. **Continue a bounded `ImmutableList<T>` slice.**
-   Its documented omissions include copying/conversion, builder support, and
-   comparer overloads. Do not attempt the entire surface in one change; select
-   methods required by a real consumer and port them against the .NET reference.
+   Its documented omissions include copying, builder support, and comparer
+   overloads. Do not attempt the entire surface in one change; select methods
+   required by a real consumer and port them against the .NET reference.
 
 2. **Complete only demanded `BinaryReader` character APIs.**
    `ReadChar`, `ReadDecimal`, and seekable `PeekChar` are implemented, while