anchor.diff:          json["mvpName"] = mvpName;
           json["mvpGrist"] = mvpGrist;
           json["session_id"] = session_id.toString();
  +        json["scratched"] = scratched.toString();
  +
           return json;
       }
   
  
positive.code:     }
  
      void initNumKeys() {
          print("initing num keys");
          SessionSummary summary  = this;
          summary.setNumStat("num_scenes", 0);
          summary.setNumStat("sizeOfAfterLife", 0);
  
negative.code: 
      //needed for loading
      void initBoolKeys() {
         // print("initting bool keys");
          SessionSummary summary  = this;
          summary.setBoolStat("blackKingDead", false);
          summary.setBoolStat("redMilesActivated", false);
  