Expose @pure-unless-parameter-passed parameters as a function-level map

FunctionPurityCheck read the per-parameter TrinaryLogic flag via ->yes()
to find the flagged parameters, which is an equivalent mutation at a
declaration site (the flag is only ever Yes or No there, never Maybe).
Mirror the @pure-unless-callable-is-impure sibling instead: expose the
flagged parameters as a function/method-level array<string, TrinaryLogic>
getter and look them up with array_key_exists.

Author: zonuexe

src/Reflection/Annotations/AnnotationMethodReflection.php

@@ -184,6 +184,11 @@ public function getPureUnlessCallableIsImpureParameters(): array
 		return [];
 	}
 
+	public function getPureUnlessParameterPassedParameters(): array
+	{
+		return [];
+	}
+
 	public function getAttributes(): array
 	{
 		return [];

src/Reflection/Dummy/ChangedTypeMethodReflection.php

@@ -173,6 +173,11 @@ public function getPureUnlessCallableIsImpureParameters(): array
 		return $this->reflection->getPureUnlessCallableIsImpureParameters();
 	}
 
+	public function getPureUnlessParameterPassedParameters(): array
+	{
+		return $this->reflection->getPureUnlessParameterPassedParameters();
+	}
+
 	public function getAttributes(): array
 	{
 		return $this->reflection->getAttributes();

src/Reflection/Dummy/DummyConstructorReflection.php

@@ -158,6 +158,11 @@ public function getPureUnlessCallableIsImpureParameters(): array
 		return [];
 	}
 
+	public function getPureUnlessParameterPassedParameters(): array
+	{
+		return [];
+	}
+
 	public function getAttributes(): array
 	{
 		return [];

src/Reflection/Dummy/DummyMethodReflection.php

@@ -150,6 +150,11 @@ public function getPureUnlessCallableIsImpureParameters(): array
 		return [];
 	}
 
+	public function getPureUnlessParameterPassedParameters(): array
+	{
+		return [];
+	}
+
 	public function getAttributes(): array
 	{
 		return [];

src/Reflection/ExtendedMethodReflection.php

@@ -74,6 +74,11 @@ public function isPure(): TrinaryLogic;
 	 */
 	public function getPureUnlessCallableIsImpureParameters(): array;
 
+	/**
+	 * @return array<string, TrinaryLogic>
+	 */
+	public function getPureUnlessParameterPassedParameters(): array;
+
 	/** @return list<AttributeReflection> */
 	public function getAttributes(): array;
 

src/Reflection/FunctionReflection.php

@@ -73,6 +73,11 @@ public function isPure(): TrinaryLogic;
 	 */
 	public function getPureUnlessCallableIsImpureParameters(): array;
 
+	/**
+	 * @return array<string, TrinaryLogic>
+	 */
+	public function getPureUnlessParameterPassedParameters(): array;
+
 	/** @return list<AttributeReflection> */
 	public function getAttributes(): array;
 

src/Reflection/Native/NativeFunctionReflection.php

@@ -115,6 +115,11 @@ public function getPureUnlessCallableIsImpureParameters(): array
 		return [];
 	}
 
+	public function getPureUnlessParameterPassedParameters(): array
+	{
+		return [];
+	}
+
 	private function isVoid(): bool
 	{
 		foreach ($this->variants as $variant) {

src/Reflection/Native/NativeMethodReflection.php

@@ -192,6 +192,11 @@ public function getPureUnlessCallableIsImpureParameters(): array
 		return [];
 	}
 
+	public function getPureUnlessParameterPassedParameters(): array
+	{
+		return [];
+	}
+
 	private function isVoid(): bool
 	{
 		foreach ($this->variants as $variant) {

src/Reflection/Php/ClosureCallMethodReflection.php

@@ -208,6 +208,11 @@ public function getPureUnlessCallableIsImpureParameters(): array
 		return $this->nativeMethodReflection->getPureUnlessCallableIsImpureParameters();
 	}
 
+	public function getPureUnlessParameterPassedParameters(): array
+	{
+		return $this->nativeMethodReflection->getPureUnlessParameterPassedParameters();
+	}
+
 	public function getAttributes(): array
 	{
 		return $this->nativeMethodReflection->getAttributes();

src/Reflection/Php/EnumCasesMethodReflection.php

@@ -162,6 +162,11 @@ public function getPureUnlessCallableIsImpureParameters(): array
 		return [];
 	}
 
+	public function getPureUnlessParameterPassedParameters(): array
+	{
+		return [];
+	}
+
 	public function getAttributes(): array
 	{
 		return [];