Adopt be-framework/psalm-plugin across all demos

.coderabbit.yaml

@@ -0,0 +1,2 @@
+reviews:
+  request_changes_workflow: true

demos/blog-publishing/composer.json

@@ -18,13 +18,16 @@
         "ray/di": "^2.18"
     },
     "require-dev": {
+        "be-framework/psalm-plugin": "1.x-dev",
         "phpunit/phpunit": "^12"
     },
     "scripts": {
+        "psalm": "psalm --show-info=false",
         "stree": "vendor/bin/stree $(ls -t var/log/*.json | head -1)",
         "stree:full": "vendor/bin/stree --full $(ls -t var/log/*.json | head -1)"
     },
     "scripts-descriptions": {
+        "psalm": "Run static analysis with Psalm + Be Framework plugin.",
         "stree": "Render the latest var/log/*.json as a compact tree.",
         "stree:full": "Render the latest var/log/*.json as a semantic full tree with full props and close.profile details."
     }

demos/blog-publishing/psalm.xml

@@ -0,0 +1,43 @@
+<?xml version="1.0"?>
+<psalm
+    errorLevel="3"
+    phpVersion="8.3"
+    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+    xmlns="https://getpsalm.org/schema/config"
+    xsi:schemaLocation="https://getpsalm.org/schema/config vendor/vimeo/psalm/config.xsd"
+>
+    <projectFiles>
+        <directory name="src" />
+        <ignoreFiles>
+            <directory name="vendor" />
+        </ignoreFiles>
+    </projectFiles>
+
+    <plugins>
+        <pluginClass class="Be\PsalmPlugin\Plugin" />
+    </plugins>
+
+    <issueHandlers>
+        <!--
+            Be Framework loads classes via #[Be] attributes and constructs them via
+            reflection in Becoming. Psalm's reachability analysis cannot see these
+            dynamic call paths, so the stock unused-* rules fire false positives on
+            valid framework patterns.
+        -->
+        <UnusedClass>
+            <errorLevel type="suppress">
+                <directory name="src" />
+            </errorLevel>
+        </UnusedClass>
+        <PossiblyUnusedMethod>
+            <errorLevel type="suppress">
+                <directory name="src" />
+            </errorLevel>
+        </PossiblyUnusedMethod>
+        <PossiblyUnusedProperty>
+            <errorLevel type="suppress">
+                <directory name="src" />
+            </errorLevel>
+        </PossiblyUnusedProperty>
+    </issueHandlers>
+</psalm>

demos/blog-publishing/src/Exception/InvalidAuthorNameException.php

@@ -0,0 +1,16 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Be\Pattern\BlogPublishing\Exception;
+
+use Be\Framework\Attribute\Message;
+use DomainException;
+
+#[Message([
+    'en' => 'Author name cannot be empty.',
+    'ja' => '著者名は空にできません。'
+])]
+final class InvalidAuthorNameException extends DomainException
+{
+}

demos/blog-publishing/src/Exception/InvalidExcerptException.php

@@ -0,0 +1,16 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Be\Pattern\BlogPublishing\Exception;
+
+use Be\Framework\Attribute\Message;
+use DomainException;
+
+#[Message([
+    'en' => 'Excerpt is too long. Must be 250 characters or fewer.',
+    'ja' => '抜粋が長すぎます。250文字以下で入力してください。'
+])]
+final class InvalidExcerptException extends DomainException
+{
+}

demos/blog-publishing/src/Exception/InvalidHtmlBodyException.php

@@ -0,0 +1,16 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Be\Pattern\BlogPublishing\Exception;
+
+use Be\Framework\Attribute\Message;
+use DomainException;
+
+#[Message([
+    'en' => 'HTML body cannot be empty.',
+    'ja' => 'HTML本文は空にできません。'
+])]
+final class InvalidHtmlBodyException extends DomainException
+{
+}

demos/blog-publishing/src/Exception/InvalidSlugException.php

@@ -0,0 +1,16 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Be\Pattern\BlogPublishing\Exception;
+
+use Be\Framework\Attribute\Message;
+use DomainException;
+
+#[Message([
+    'en' => 'Invalid slug format. Use lowercase letters, digits, and hyphens only.',
+    'ja' => 'スラッグの形式が不正です。小文字・数字・ハイフンのみ使用できます。'
+])]
+final class InvalidSlugException extends DomainException
+{
+}

demos/blog-publishing/src/Semantic/AuthorName.php

@@ -5,7 +5,7 @@
 namespace Be\Pattern\BlogPublishing\Semantic;
 
 use Be\Framework\Attribute\Validate;
-use InvalidArgumentException;
+use Be\Pattern\BlogPublishing\Exception\InvalidAuthorNameException;
 
 /**
  * AuthorName - Semantic validation
@@ -20,7 +20,7 @@ final class AuthorName
     public function validate(string $authorName): void
     {
         if (empty(trim($authorName))) {
-            throw new InvalidArgumentException('Author name cannot be empty');
+            throw new InvalidAuthorNameException();
         }
     }
 }

demos/blog-publishing/src/Semantic/Excerpt.php

@@ -5,7 +5,7 @@
 namespace Be\Pattern\BlogPublishing\Semantic;
 
 use Be\Framework\Attribute\Validate;
-use InvalidArgumentException;
+use Be\Pattern\BlogPublishing\Exception\InvalidExcerptException;
 
 /**
  * Excerpt - Semantic validation
@@ -18,7 +18,7 @@ final class Excerpt
     public function validate(string $excerpt): void
     {
         if (mb_strlen($excerpt) > 250) {
-            throw new InvalidArgumentException('Excerpt too long');
+            throw new InvalidExcerptException();
         }
     }
 }

demos/blog-publishing/src/Semantic/HtmlBody.php

@@ -5,7 +5,7 @@
 namespace Be\Pattern\BlogPublishing\Semantic;
 
 use Be\Framework\Attribute\Validate;
-use InvalidArgumentException;
+use Be\Pattern\BlogPublishing\Exception\InvalidHtmlBodyException;
 
 /**
  * HtmlBody - Semantic validation
@@ -18,7 +18,7 @@ final class HtmlBody
     public function validate(string $htmlBody): void
     {
         if (empty(trim(strip_tags($htmlBody)))) {
-            throw new InvalidArgumentException('HTML body cannot be empty');
+            throw new InvalidHtmlBodyException();
         }
     }
 }

demos/blog-publishing/src/Semantic/Slug.php

@@ -5,7 +5,7 @@
 namespace Be\Pattern\BlogPublishing\Semantic;
 
 use Be\Framework\Attribute\Validate;
-use InvalidArgumentException;
+use Be\Pattern\BlogPublishing\Exception\InvalidSlugException;
 
 /**
  * Slug - Semantic validation
@@ -18,7 +18,7 @@ final class Slug
     public function validate(string $slug): void
     {
         if (!preg_match('/^[a-z0-9-]+$/', $slug)) {
-            throw new InvalidArgumentException('Invalid slug format');
+            throw new InvalidSlugException();
         }
     }
 }

demos/contact-form/composer.json

@@ -18,13 +18,16 @@
         "ray/di": "^2.18"
     },
     "require-dev": {
+        "be-framework/psalm-plugin": "1.x-dev",
         "phpunit/phpunit": "^12"
     },
     "scripts": {
+        "psalm": "psalm --show-info=false",
         "stree": "vendor/bin/stree $(ls -t var/log/*.json | head -1)",
         "stree:full": "vendor/bin/stree --full $(ls -t var/log/*.json | head -1)"
     },
     "scripts-descriptions": {
+        "psalm": "Run static analysis with Psalm + Be Framework plugin.",
         "stree": "Render the latest var/log/*.json as a compact tree.",
         "stree:full": "Render the latest var/log/*.json as a semantic full tree with full props and close.profile details."
     }

demos/contact-form/psalm.xml

@@ -0,0 +1,43 @@
+<?xml version="1.0"?>
+<psalm
+    errorLevel="3"
+    phpVersion="8.3"
+    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+    xmlns="https://getpsalm.org/schema/config"
+    xsi:schemaLocation="https://getpsalm.org/schema/config vendor/vimeo/psalm/config.xsd"
+>
+    <projectFiles>
+        <directory name="src" />
+        <ignoreFiles>
+            <directory name="vendor" />
+        </ignoreFiles>
+    </projectFiles>
+
+    <plugins>
+        <pluginClass class="Be\PsalmPlugin\Plugin" />
+    </plugins>
+
+    <issueHandlers>
+        <!--
+            Be Framework loads classes via #[Be] attributes and constructs them via
+            reflection in Becoming. Psalm's reachability analysis cannot see these
+            dynamic call paths, so the stock unused-* rules fire false positives on
+            valid framework patterns.
+        -->
+        <UnusedClass>
+            <errorLevel type="suppress">
+                <directory name="src" />
+            </errorLevel>
+        </UnusedClass>
+        <PossiblyUnusedMethod>
+            <errorLevel type="suppress">
+                <directory name="src" />
+            </errorLevel>
+        </PossiblyUnusedMethod>
+        <PossiblyUnusedProperty>
+            <errorLevel type="suppress">
+                <directory name="src" />
+            </errorLevel>
+        </PossiblyUnusedProperty>
+    </issueHandlers>
+</psalm>

demos/hello-world/composer.json

@@ -18,17 +18,20 @@
         "ray/di": "^2.18"
     },
     "require-dev": {
+        "be-framework/psalm-plugin": "1.x-dev",
         "phpunit/phpunit": "^12"
     },
     "scripts": {
         "dev": "php bin/be.php 'hello?name=World'",
         "profile": "XDEBUG_MODE=trace php -d xdebug.use_compression=0 -d extension=xhprof.so bin/be.php 'hello?name=World'",
+        "psalm": "psalm --show-info=false",
         "stree": "vendor/bin/stree $(ls -t var/log/*.json | head -1)",
         "stree:full": "vendor/bin/stree --full $(ls -t var/log/*.json | head -1)"
     },
     "scripts-descriptions": {
         "dev": "Run the Hello World demo in dev mode; writes a semantic log to var/log/*.json without Xdebug/XHProf profiling.",
         "profile": "Run the Hello World demo with semantic profiling; writes a semantic log to var/log/*.json with uncompressed Xdebug trace and xhprof enabled.",
+        "psalm": "Run static analysis with Psalm + Be Framework plugin.",
         "stree": "Render the latest var/log/*.json as a compact tree.",
         "stree:full": "Render the latest var/log/*.json as a semantic full tree with full props and close.profile details."
     }

demos/hello-world/psalm.xml

@@ -0,0 +1,43 @@
+<?xml version="1.0"?>
+<psalm
+    errorLevel="3"
+    phpVersion="8.3"
+    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+    xmlns="https://getpsalm.org/schema/config"
+    xsi:schemaLocation="https://getpsalm.org/schema/config vendor/vimeo/psalm/config.xsd"
+>
+    <projectFiles>
+        <directory name="src" />
+        <ignoreFiles>
+            <directory name="vendor" />
+        </ignoreFiles>
+    </projectFiles>
+
+    <plugins>
+        <pluginClass class="Be\PsalmPlugin\Plugin" />
+    </plugins>
+
+    <issueHandlers>
+        <!--
+            Be Framework loads classes via #[Be] attributes and constructs them via
+            reflection in Becoming. Psalm's reachability analysis cannot see these
+            dynamic call paths, so the stock unused-* rules fire false positives on
+            valid framework patterns.
+        -->
+        <UnusedClass>
+            <errorLevel type="suppress">
+                <directory name="src" />
+            </errorLevel>
+        </UnusedClass>
+        <PossiblyUnusedMethod>
+            <errorLevel type="suppress">
+                <directory name="src" />
+            </errorLevel>
+        </PossiblyUnusedMethod>
+        <PossiblyUnusedProperty>
+            <errorLevel type="suppress">
+                <directory name="src" />
+            </errorLevel>
+        </PossiblyUnusedProperty>
+    </issueHandlers>
+</psalm>

demos/insurance-claim/composer.json

@@ -17,13 +17,16 @@
         "ray/di": "^2.18"
     },
     "require-dev": {
+        "be-framework/psalm-plugin": "1.x-dev",
         "phpunit/phpunit": "^12"
     },
     "scripts": {
+        "psalm": "psalm --show-info=false",
         "stree": "vendor/bin/stree $(ls -t var/log/*.json | head -1)",
         "stree:full": "vendor/bin/stree --full $(ls -t var/log/*.json | head -1)"
     },
     "scripts-descriptions": {
+        "psalm": "Run static analysis with Psalm + Be Framework plugin.",
         "stree": "Render the latest var/log/*.json as a compact tree.",
         "stree:full": "Render the latest var/log/*.json as a semantic full tree with full props and close.profile details."
     }

demos/insurance-claim/psalm.xml

@@ -0,0 +1,43 @@
+<?xml version="1.0"?>
+<psalm
+    errorLevel="3"
+    phpVersion="8.3"
+    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+    xmlns="https://getpsalm.org/schema/config"
+    xsi:schemaLocation="https://getpsalm.org/schema/config vendor/vimeo/psalm/config.xsd"
+>
+    <projectFiles>
+        <directory name="src" />
+        <ignoreFiles>
+            <directory name="vendor" />
+        </ignoreFiles>
+    </projectFiles>
+
+    <plugins>
+        <pluginClass class="Be\PsalmPlugin\Plugin" />
+    </plugins>
+
+    <issueHandlers>
+        <!--
+            Be Framework loads classes via #[Be] attributes and constructs them via
+            reflection in Becoming. Psalm's reachability analysis cannot see these
+            dynamic call paths, so the stock unused-* rules fire false positives on
+            valid framework patterns.
+        -->
+        <UnusedClass>
+            <errorLevel type="suppress">
+                <directory name="src" />
+            </errorLevel>
+        </UnusedClass>
+        <PossiblyUnusedMethod>
+            <errorLevel type="suppress">
+                <directory name="src" />
+            </errorLevel>
+        </PossiblyUnusedMethod>
+        <PossiblyUnusedProperty>
+            <errorLevel type="suppress">
+                <directory name="src" />
+            </errorLevel>
+        </PossiblyUnusedProperty>
+    </issueHandlers>
+</psalm>