On successful session establishment the TSF shows the user the record of successful and failed attempts on their account, and does not erase it until the user has had a chance to review it. One component: FTA_TAH.1 TOE access history.
The graph holds this control, the 0 it maps to, and the evidence behind each claim, over MCP and REST.