Add Progmasoft Catch3 property testing and build support0.1.0

Introduce deterministic property execution, built-in generators, shrinking, replayable seeds, and a separate Progmasoft-owned header API while preserving Catch2 compatibility targets and the C++14 engine baseline.

Add Bazel, Meson, Xmake, and Premake integration and tests alongside the existing CMake build. Replace Linux-only workflow coverage with Windows and macOS jobs and document the Catch2/Catch3 distinction.

1 files changed, 20 insertions, 0 deletions

diff --git a/src/Progmasoft/BUILD.bazel b/src/Progmasoft/BUILD.bazel
new file mode 100644
index 00000000..9927aafa
--- /dev/null
+++ b/src/Progmasoft/BUILD.bazel
@@ -0,0 +1,20 @@
+# Copyright (c) 2026 Progmasoft.
+# SPDX-License-Identifier: MPL-2.0 WITH AdditionRef-Progmasoft-Exception-1.1
+load("@rules_cc//cc:defs.bzl", "cc_library")
+
+package(default_visibility = ["//visibility:public"])
+
+cc_library(
+    name = "catch3",
+    hdrs = [
+        "Catch3.hpp",
+        "Catch3/Assertions.hpp",
+        "Catch3/Generator.hpp",
+        "Catch3/Generators/Boolean.hpp",
+        "Catch3/Generators/Integer.hpp",
+        "Catch3/Property.hpp",
+        "Catch3/Random.hpp",
+    ],
+    strip_include_prefix = "/src",
+    deps = ["//:catch2"],
+)