Active Assertions

View and dispute assertions during their liveness period