Silný pozitivní verdikt z nulového jmenovatele — „vše zdravé" z prázdných výdajů
import { Aside } from ‘@astrojs/starlight/components’;
Symptom
Sekce “Symptom”Firma s čerstvě připojenou bankou a doklady, ale nulovými zaznamenanými výdaji, dostala sebejistou pozitivní větu o výhledu hotovosti („peníze nedojdou”). Runway z nulového burn je matematicky nekonečno — systém ho prezentoval jako měřený fakt s pokrytím 100 %.
Root cause
Sekce “Root cause”Stavová brána verdiktu kontrolovala stav VSTUPŮ (banka měřená, doklady měřené → odvozená metrika „měřená”) a pokrytí zdrojů — ale ne jmenovatel výpočtu. Absence výdajů není důkaz zdraví; je to chybějící základ výpočtu. Třída chyby: žebříček dědičnosti stavů garantuje existenci hodnot vstupů, nikdy smysluplnost výsledku.
Fix
Sekce “Fix”Výdajová složka (burn) se stala povinným vstupem derivace; pozitivní výhledové kindy ∧ ¬(burn > 0) ⇒ metrika degraduje na „zatím nepočítáme” s reasonem nedefinovaného výsledku. Fail-closed i pro NaN. Negativní varování podmínku nemají — deficit je reálný i bez výdajů a degradace by potlačila pravdivé varování. Blokují se všechny pozitivní kindy (širší než litera specifikace): uzavírá to i agregační okraj, kdy součet výdajů vyjde ≤ 0 kompenzací (velká refundace).
Poučení
Sekce “Poučení”U každé odvozené metriky se ptej: co musí být pravda, aby VÝSLEDEK dával smysl? — a tu podmínku dej do brány verdiktu, ne jen do dokumentace vzorce.