Validácia pri publikovaní

$report = Workflows::definition('purchase-approval', $team)->validate();          // the draft
$report = Workflows::versions()->validate($graph, 'purchase_request', $team);     // any graph
$report->valid();          // no errors (warnings don't block)
$report->errors;           // list<ValidationError>
$report->errorsOnly();     // and ->warnings()
$report->find(ValidationCode::UnknownField, 'check');
$report->has(ValidationCode::UnknownField, 'check');
$report->toArray();

ValidationError{code: ValidationCode, severity: error|warning, message (preložená), node: ?string, edge: ?{from, to, outcome}, path: ?string (JSON pointer), params: array}. Správy nikdy neobsahujú názov triedy. publish() spustí úplnú validáciu pod zámkom definície a pri chybách vyhodí InvalidGraphException (s reportom); jej správa uvedie prvé problémy. Uloženie konceptu kontroluje len štruktúru:

use RoundlyConsulting\Workflows\Exceptions\InvalidGraphException;

try {
    Workflows::definition('purchase-approval', $team)->publish(by: $admin);
} catch (InvalidGraphException $e) {
    $e->validationReport()->toArray();   // [{code, severity, message, node, edge, path, params}, …]
}

Prechody

Spustia sa všetky prechody a zbierajú chyby; predčasne skončí len štrukturálne zlyhanie:

• Štruktúra: verzia schémy, tvar uzlov a hrán, vzor id, duplicitné id, visiace hrany, stropy veľkosti.
• Katalóg: známe typy uzlov; prepojený typ, ktorého balík chýba → adapter_missing s params.package.
• Konfigurácia: JSON schéma typu (invalid_config + path), potom jeho sémantické kontroly, potom bloky eskalácií.
• Spúšťač a koniec: presne jeden spúšťač, aspoň jeden koniec, žiadna hrana do spúšťača ani z uzla end.
• Výsledky: každý povinný výsledok má práve jednu hranu; žiadne neznáme ani duplicitné výsledky.
• Dosiahnuteľnosť: každý uzol je dosiahnuteľný zo spúšťača.
• Cykly: po odstránení strážených hrán — hrany continue uzla loop a výstupu z delay s kladným for — nezostane žiadny cyklus.
• Polia a odkazy: cesty k poliam, operátory, typy hodnôt, zapisovateľnosť, vstupy, odkazy na predchodcov, určenie vlastníka subjektu.
• Aktér: on_behalf_of potrebuje spúšťač s používateľom.
• Príznaky z importu: nevyriešené príznaky na kontrolu zo šablóny.
• Naprieč definíciami: ciele start_workflow pre vlastníka existujú, majú ručný spúšťač a dostanú povinné vstupy; statické spustenie seba samého bez wait: false je varovanie.

Kódy

Vstup z prehliadača je nedôveryhodný: validácia aj uloženie konceptu odpovedia na akýkoľvek dokument — nesprávne typy na každej úrovni, hlboké vnorenie, obrovské reťazce — cez ValidationReport alebo InvalidGraphException, nikdy TypeError, a žiadna chybová správa nezopakuje odoslanú hodnotu.