aboutsummaryrefslogtreecommitdiff
path: root/data/ef/expected-divergences-fiuv.sexp
Commit message (Expand)AuthorAgeFilesLines
* test(fiuv-ordo): add the FIUV universal Ordo as a second, independent witnessLukasz Kasprzak2026-08-221-0/+26