RFC: Namespace-Scoped Visibility for Methods and Properties

Zend/tests/access_modifiers/private_namespace_array_map_001.phpt

@@ -0,0 +1,27 @@
+--TEST--
+private(namespace) method with array_map - same namespace
+--FILE--
+<?php
+
+namespace Foo;
+
+class A {
+    private(namespace) static function double($x) {
+        return $x * 2;
+    }
+}
+
+// Same namespace - should work
+$result = array_map([A::class, 'double'], [1, 2, 3]);
+var_dump($result);
+
+?>
+--EXPECT--
+array(3) {
+  [0]=>
+  int(2)
+  [1]=>
+  int(4)
+  [2]=>
+  int(6)
+}

Zend/tests/access_modifiers/private_namespace_array_map_002.phpt

@@ -0,0 +1,26 @@
+--TEST--
+private(namespace) method with array_map - different namespace
+--FILE--
+<?php
+
+namespace Foo {
+    class A {
+        private(namespace) static function double($x) {
+            return $x * 2;
+        }
+    }
+}
+
+namespace Bar {
+    // Different namespace - should fail
+    $result = array_map(['\Foo\A', 'double'], [1, 2, 3]);
+    var_dump($result);
+}
+
+?>
+--EXPECTF--
+Fatal error: Uncaught TypeError: array_map(): Argument #1 ($callback) must be a valid callback or null, cannot access private(namespace) method Foo\A::double() in %s:%d
+Stack trace:
+#0 %s(%d): array_map(Array, Array)
+#1 {main}
+  thrown in %s on line %d

Zend/tests/access_modifiers/private_namespace_asymmetric_001.phpt

@@ -0,0 +1,24 @@
+--TEST--
+Asymmetric visibility: public private(namespace)(set) property - read from same namespace
+--FILE--
+<?php
+
+namespace App {
+    class Config {
+        public private(namespace)(set) int $value = 100;
+    }
+
+    class ConfigManager {
+        public function getValue(): int {
+            $config = new Config();
+            return $config->value;
+        }
+    }
+
+    $manager = new ConfigManager();
+    echo $manager->getValue() . "\n";
+}
+
+?>
+--EXPECT--
+100

Zend/tests/access_modifiers/private_namespace_asymmetric_002.phpt

@@ -0,0 +1,25 @@
+--TEST--
+Asymmetric visibility: public private(namespace)(set) property - write from same namespace
+--FILE--
+<?php
+
+namespace App {
+    class Config {
+        public private(namespace)(set) int $value = 100;
+    }
+
+    class ConfigManager {
+        public function setValue(): void {
+            $config = new Config();
+            $config->value = 200;
+            echo $config->value . "\n";
+        }
+    }
+
+    $manager = new ConfigManager();
+    $manager->setValue();
+}
+
+?>
+--EXPECT--
+200

Zend/tests/access_modifiers/private_namespace_asymmetric_003.phpt

@@ -0,0 +1,30 @@
+--TEST--
+Asymmetric visibility: public private(namespace)(set) property - write from different namespace fails
+--FILE--
+<?php
+
+namespace App {
+    class Config {
+        public private(namespace)(set) int $value = 100;
+    }
+}
+
+namespace Other {
+    class Consumer {
+        public function tryWrite(): void {
+            $config = new \App\Config();
+            $config->value = 200;
+        }
+    }
+
+    $consumer = new Consumer();
+    $consumer->tryWrite();
+}
+
+?>
+--EXPECTF--
+Fatal error: Uncaught Error: Cannot modify private(namespace)(set) property App\Config::$value from scope Other\Consumer in %s:%d
+Stack trace:
+#0 %s(%d): Other\Consumer->tryWrite()
+#1 {main}
+  thrown in %s on line %d

Zend/tests/access_modifiers/private_namespace_asymmetric_004.phpt

@@ -0,0 +1,26 @@
+--TEST--
+Asymmetric visibility: public private(namespace)(set) property - read from different namespace succeeds
+--FILE--
+<?php
+
+namespace App {
+    class Config {
+        public private(namespace)(set) int $value = 100;
+    }
+}
+
+namespace Other {
+    class Consumer {
+        public function readValue(): int {
+            $config = new \App\Config();
+            return $config->value;
+        }
+    }
+
+    $consumer = new Consumer();
+    echo $consumer->readValue() . "\n";
+}
+
+?>
+--EXPECT--
+100

Zend/tests/access_modifiers/private_namespace_asymmetric_invalid_001.phpt

@@ -0,0 +1,15 @@
+--TEST--
+Asymmetric visibility with incompatible modifiers (protected and private(namespace))
+--FILE--
+<?php
+
+namespace Test;
+
+// This should fail: protected and private(namespace) are incomparable
+class A {
+    protected private(namespace)(set) string $prop1;
+}
+
+?>
+--EXPECTF--
+Fatal error: Property Test\A::$prop1 has incompatible visibility modifiers: protected and private(namespace) operate on different axes (inheritance vs namespace) and cannot be combined in asymmetric visibility in %s on line %d

Zend/tests/access_modifiers/private_namespace_asymmetric_invalid_002.phpt

@@ -0,0 +1,15 @@
+--TEST--
+Asymmetric visibility with incompatible modifiers (private(namespace) and protected(set))
+--FILE--
+<?php
+
+namespace Test;
+
+// This should fail: private(namespace) and protected(set) are incomparable
+class A {
+    private(namespace) protected(set) string $prop1;
+}
+
+?>
+--EXPECTF--
+Fatal error: Property Test\A::$prop1 has incompatible visibility modifiers: protected and private(namespace) operate on different axes (inheritance vs namespace) and cannot be combined in asymmetric visibility in %s on line %d

Zend/tests/access_modifiers/private_namespace_asymmetric_invalid_003.phpt

@@ -0,0 +1,15 @@
+--TEST--
+Asymmetric visibility: private(namespace) private(set) is invalid (reversed hierarchy)
+--FILE--
+<?php
+
+namespace Test;
+
+// This should fail: C[private] ⊈ C[ns] (set is more restrictive than get)
+class A {
+    private(namespace) private(set) string $prop1;
+}
+
+?>
+--EXPECTF--
+Fatal error: Visibility of property Test\A::$prop1 must not be weaker than set visibility in %s on line %d

Zend/tests/access_modifiers/private_namespace_asymmetric_valid_combinations.phpt

@@ -0,0 +1,49 @@
+--TEST--
+Valid asymmetric visibility combinations with private(namespace)
+--FILE--
+<?php
+
+namespace Test;
+
+class A {
+    // Valid: public base allows any set visibility
+    public private(namespace)(set) string $prop1 = "test1";
+    public protected(set) string $prop2 = "test2";
+    public private(set) string $prop3 = "test3";
+
+    // Valid: protected base allows protected(set) or private(set) (inheritance axis only)
+    protected protected(set) string $prop4 = "test4";
+    protected private(set) string $prop5 = "test5";
+
+    // Valid: private(namespace) base allows only private(namespace)(set) (namespace axis only)
+    private(namespace) private(namespace)(set) string $prop6 = "test6";
+
+    // Valid: private base allows only private(set)
+    private private(set) string $prop7 = "test7";
+
+    public function test() {
+        echo "prop1: " . $this->prop1 . "\n";
+        echo "prop2: " . $this->prop2 . "\n";
+        echo "prop3: " . $this->prop3 . "\n";
+        echo "prop4: " . $this->prop4 . "\n";
+        echo "prop5: " . $this->prop5 . "\n";
+        echo "prop6: " . $this->prop6 . "\n";
+        echo "prop7: " . $this->prop7 . "\n";
+    }
+}
+
+$a = new A();
+$a->test();
+
+echo "All valid combinations work correctly!\n";
+
+?>
+--EXPECT--
+prop1: test1
+prop2: test2
+prop3: test3
+prop4: test4
+prop5: test5
+prop6: test6
+prop7: test7
+All valid combinations work correctly!

Zend/tests/access_modifiers/private_namespace_basic_001.phpt

@@ -0,0 +1,23 @@
+--TEST--
+private(namespace) method access from same namespace (same class)
+--FILE--
+<?php
+
+namespace App\Services {
+    class UserService {
+        private(namespace) function validate(): string {
+            return "validated";
+        }
+
+        public function process(): string {
+            return $this->validate();
+        }
+    }
+
+    $service = new UserService();
+    echo $service->process() . "\n";
+}
+
+?>
+--EXPECT--
+validated

Zend/tests/access_modifiers/private_namespace_basic_002.phpt

@@ -0,0 +1,26 @@
+--TEST--
+private(namespace) method access from same namespace (different class)
+--FILE--
+<?php
+
+namespace App\Services {
+    class UserService {
+        private(namespace) function validate(): string {
+            return "validated";
+        }
+    }
+
+    class AuthService {
+        public function authenticate(): string {
+            $service = new UserService();
+            return $service->validate();
+        }
+    }
+
+    $auth = new AuthService();
+    echo $auth->authenticate() . "\n";
+}
+
+?>
+--EXPECT--
+validated

Zend/tests/access_modifiers/private_namespace_basic_003.phpt

@@ -0,0 +1,32 @@
+--TEST--
+private(namespace) method access from different namespace fails
+--FILE--
+<?php
+
+namespace App\Services {
+    class UserService {
+        private(namespace) function validate(): string {
+            return "validated";
+        }
+    }
+}
+
+namespace App\Controllers {
+    class UserController {
+        public function process(): void {
+            $service = new \App\Services\UserService();
+            $service->validate();
+        }
+    }
+
+    $controller = new UserController();
+    $controller->process();
+}
+
+?>
+--EXPECTF--
+Fatal error: Uncaught Error: Call to private(namespace) method App\Services\UserService::validate() from scope App\Controllers\UserController in %s:%d
+Stack trace:
+#0 %s(%d): App\Controllers\UserController->process()
+#1 {main}
+  thrown in %s on line %d

Zend/tests/access_modifiers/private_namespace_basic_004.phpt

@@ -0,0 +1,21 @@
+--TEST--
+private(namespace) property access from same namespace (same class)
+--FILE--
+<?php
+
+namespace App\Models {
+    class User {
+        private(namespace) int $id = 42;
+
+        public function getId(): int {
+            return $this->id;
+        }
+    }
+
+    $user = new User();
+    echo $user->getId() . "\n";
+}
+
+?>
+--EXPECT--
+42

Zend/tests/access_modifiers/private_namespace_basic_005.phpt

@@ -0,0 +1,24 @@
+--TEST--
+private(namespace) property access from same namespace (different class)
+--FILE--
+<?php
+
+namespace App\Models {
+    class User {
+        private(namespace) int $id = 42;
+    }
+
+    class UserRepository {
+        public function getUserId(): int {
+            $user = new User();
+            return $user->id;
+        }
+    }
+
+    $repo = new UserRepository();
+    echo $repo->getUserId() . "\n";
+}
+
+?>
+--EXPECT--
+42