Test Cases
Real verification runs captured from reference Laravel applications.
Wudd Core (L11)
OPEN →FULL_DETERMINISTIC audit on a production Laravel app (Saudi HR platform).
Maktabi Core (L11)
OPEN →FULL_DETERMINISTIC audit on a 4,825-file test corpus.
Akaunting (L10)
OPEN →Open-source accounting platform — Laravel 10 reference run.
Monica CRM (L12)
OPEN →Personal CRM — Laravel 12 reference run.
Laravel Framework
OPEN →Legacy verify:tests run on the Laravel framework itself.