Integrate Fluent, FluentGen and FluentAnalysis

Replace the internal code generation and builder infrastructure with
Respect/Fluent for runtime method resolution, Respect/FluentGen for
mixin interface generation, and Respect/FluentAnalysis for PHPStan
type narrowing.

ValidatorBuilder now extends Fluent's Append builder with
ComposableMap for prefix composition at runtime.

Each validator is annotated with:
- #[Assurance] declaring the type it narrows to (100+ validators)
- #[AssuranceParameter] on constructor params used for dynamic type
  resolution (Instance)
- #[Composable] with class-string references for prefix composition
  constraints (Not, All, Key, Property, NullOr, UndefOr, Min, Max,
  Length, and 29 validators with with/without constraints)
- #[ComposableParameter] on promoted prefix parameters (Key, Property)

Removes the internal CodeGen infrastructure (MethodBuilder,
MixinGenerator, PrefixMapGenerator, etc.) in favor of FluentGen.

Adds type inference tests validating PHPStan narrowing for type
validators, val variants, composites (allOf, anyOf, oneOf, noneOf,
when), modifiers (not, nullOr, undefOr), element narrowing (each,
all), value/member narrowing (identical, in), parameter narrowing
(instance), and chain intersection.

Author: alganet

.github/workflows/ci-code.yml

@@ -56,4 +56,5 @@ jobs:
 
       - run: composer phpcs
       - run: composer phpstan
+      - run: composer inference
       - run: bin/console lint:mixin

REUSE.toml

@@ -1,6 +1,6 @@
 version = 1
 
 [[annotations]]
-path = [ "*.yml", "*.yaml", ".git*", "*.dist", "docs/.pages", "docs/validators/.pages", "composer.json", "composer.lock", "tests/fixtures/*", ".github/*.yml", ".github/actions/**.yml", ".github/workflows/**.yml", ".github/PULL_REQUEST_TEMPLATE.md", ".github/ISSUE_TEMPLATE/**" ]
+path = [ "fluent.neon", "*.yml", "*.yaml", ".git*", "*.dist", "docs/.pages", "docs/validators/.pages", "composer.json", "composer.lock", "tests/fixtures/*", ".github/*.yml", ".github/actions/**.yml", ".github/workflows/**.yml", ".github/PULL_REQUEST_TEMPLATE.md", ".github/ISSUE_TEMPLATE/**" ]
 SPDX-FileCopyrightText = "Respect Project Contributors"
 SPDX-License-Identifier = "MIT"

composer.json

@@ -23,6 +23,7 @@
         "php": ">=8.5",
         "php-di/php-di": "^7.1",
         "psr/container": "^2.0",
+        "respect/fluent": "^2.0",
         "respect/string-formatter": "^1.7",
         "respect/stringifier": "^3.0",
         "symfony/polyfill-intl-idn": "^1.33",
@@ -36,13 +37,15 @@
         "pestphp/pest": "^4.2",
         "phpbench/phpbench": "^1.4",
         "phpstan/extension-installer": "^1.4",
-        "phpstan/phpstan": "^2.0",
+        "phpstan/phpstan": "^2.1",
         "phpstan/phpstan-deprecation-rules": "^2.0",
         "phpstan/phpstan-phpunit": "^2.0",
         "phpunit/phpunit": "^12.5",
         "psr/http-message": "^1.0 || ^2.0",
         "ramsey/uuid": "^4",
         "respect/coding-standard": "^5.0",
+        "respect/fluent-analysis": "^2.0",
+        "respect/fluentgen": "^2.0",
         "sebastian/diff": "^7.0",
         "sokil/php-isocodes": "^4.2.1",
         "sokil/php-isocodes-db-only": "^4.0",
@@ -61,6 +64,11 @@
         "sokil/php-isocodes": "Enable rules that validate ISO codes",
         "sokil/php-isocodes-db-only": "Enable rules that validate ISO codes"
     },
+    "extra": {
+        "phpstan": {
+            "includes": ["fluent.neon"]
+        }
+    },
     "autoload": {
         "psr-4": {
             "Respect\\Validation\\": "src/"
@@ -71,7 +79,8 @@
         "psr-4": {
             "Respect\\Dev\\": "src-dev/",
             "Respect\\Validation\\": "tests/unit/",
-            "Respect\\Validation\\Test\\": "tests/src/"
+            "Respect\\Validation\\Test\\": "tests/src/",
+            "Respect\\Validation\\Test\\Inference\\": "tests/inference/"
         }
     },
     "scripts": {
@@ -84,6 +93,7 @@
         "phpcs": "vendor/bin/phpcs",
         "phpstan": "vendor/bin/phpstan analyze",
         "phpunit": "vendor/bin/phpunit --testsuite=unit",
+        "inference": "vendor/bin/phpunit --testsuite=inference",
         "smoke-complete": "bin/console smoke-tests:check-complete",
         "spdx-lint": "bin/console lint:spdx",
         "qa": [
@@ -92,6 +102,7 @@
             "@phpstan",
             "@phpunit",
             "@pest",
+            "@inference",
             "@docs",
             "@smoke-complete"
         ]