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, 17 insertions, 0 deletions

diff --git a/src/Progmasoft/Catch3/Assertions.hpp b/src/Progmasoft/Catch3/Assertions.hpp
new file mode 100644
index 00000000..19ac13ef
--- /dev/null
+++ b/src/Progmasoft/Catch3/Assertions.hpp
@@ -0,0 +1,17 @@
+// Copyright (c) 2026 Progmasoft.
+// SPDX-License-Identifier: MPL-2.0 WITH AdditionRef-Progmasoft-Exception-1.1
+#pragma once
+
+#include <catch2/catch_message.hpp>
+#include <catch2/catch_test_macros.hpp>
+
+#include <Progmasoft/Catch3/Property.hpp>
+
+/// Runs a property and reports its replay seed and minimized counterexample.
+#define CATCH3_CHECK_PROPERTY( ... )                            \
+    do {                                                        \
+        const auto catch3PropertyResult =                       \
+            ::Progmasoft::Catch3::CheckProperty( __VA_ARGS__ ); \
+        INFO( catch3PropertyResult.Describe() );                \
+        CHECK( catch3PropertyResult.Succeeded() );              \
+    } while ( false )