Fix CI round 4: blank line before @var tags required by WPCS

WPCS rule: blank * line required before tag block in doccomment.
Added blank before @var in both property docblocks.
Saved 2 lines by removing cosmetic blank lines between class
opening brace and first property, and between the two properties.

includes/core/class-prv-probe-run-executor.php

@@ -15,15 +15,15 @@ declare(strict_types=1);
  * @package PrVision
  */
 class PRV_Probe_Run_Executor {
-
 	/**
 	 * Budget ledger for cost-cap enforcement.
+	 *
 	 * @var PRV_Cost_Ledger
 	 */
 	private PRV_Cost_Ledger $ledger;
-
 	/**
 	 * Per-call capture writer (best-effort; never in critical path).
+	 *
 	 * @var PRV_Capture_Writer
 	 */
 	private PRV_Capture_Writer $capture;