Exclude property hooks test from lint and fix escaped mutant

- Add tests/PHPStan/Rules/Properties/data/bug-14457.php to make lint
  exclusion list (PHP 8.4 property hooks syntax)
- Change !$prototype->isAbstract()->yes() to $prototype->isAbstract()->no()
  in OverridingPropertyRule — equivalent for PhpPropertyReflection (always
  returns Yes or No), but killable by TrinaryLogicMutator since the reversed
  mutation (->yes()) is caught by the abstract-overriding-abstract test case

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: 2 people

Makefile

@@ -139,6 +139,7 @@ lint:
 		--exclude tests/PHPStan/Rules/Variables/data/bug-14349.php \
 		--exclude tests/PHPStan/Rules/Variables/data/bug-14352.php \
 		--exclude tests/PHPStan/Rules/Variables/data/bug-14351.php \
+		--exclude tests/PHPStan/Rules/Properties/data/bug-14457.php \
 		src tests
 
 install-paratest:

src/Rules/Properties/OverridingPropertyRule.php

@@ -178,7 +178,7 @@ public function processNode(Node $node, Scope $scope): array
 					))->identifier('property.notWritable')->nonIgnorable()->build();
 				}
 			}
-			if ($node->isAbstract() && !$prototype->isAbstract()->yes()) {
+			if ($node->isAbstract() && $prototype->isAbstract()->no()) {
 				foreach (['get', 'set'] as $hookType) {
 					if (!$propertyReflection->hasHook($hookType) || !$prototype->hasHook($hookType)) {
 						continue;