arma.md

@@ -2,7 +2,7 @@
 
 ## Q2 2022 OKRs
 
-### O1: Darpa Race (sponsor 28) is happy with Tor
+### O1: Race (sponsor 28) is happy with Tor
 
  KR1: (minimal result) We have a good bullet-point outline of all the topics and tasks that need to be considered for Salmon.
  
@@ -17,3 +17,21 @@
  KR4: Money machine is well prepared to contract-manage the s28 contract
    * We successfully handed off report management, and presentation info gathering, to Gaba and Bekeela
    * We coordinated with Gaba whenever there were new task requests from sponsor
+
+### O2: The Tor network still functions
+
+ KR1: moria1 has been stable and available throughout the period
+
+ KR2: We have noticed and handled every major attack/stability issue on the network.
+
+ KR3: I have been active in each relay operator meetup.
+
+ KR4: The bad-relays team has consistently received Bermuda (bad exit test) results.
+
+### O3: PETS 2022 is successful
+
+ KR1: My PETS research paper assignments get reviewed and have a decision.
+
+ KR2: PETS has diverse attendees because stipends get allocated well.
+
+ KR3: PETS has a publisher for its research papers in 2022 and beyond.