Stretchability conjecture for simplicial arrangements with at most 14 pseudolines

A simplicial arrangement of pseudolines is a finite pseudoline arrangement whose regions are simplicial. Such an arrangement is stretchable if it is isomorphic to an arrangement of straight lines.

Stretchability conjecture. Every simplicial arrangement with at most $14$ pseudolines is stretchable.

The paper proves this conjecture, so its status is solved. This result supplies a complete low-line classification consequence while the general classification of simplicial arrangements remains open.