* adds ft store protocol * rephrases some parts * semantic line breaks * further revisions * updates status * fixes field names * snake case conversion * adds asynchrony assumption * renames lower and upper bounds * minor
Sanaz Taheri Boshrooyeh