Characterizing Language Generation in the Limit: Finite Witnesses and a Separation-Width Hierarch | TickerVault