everydaytok commited on
Commit
009b30f
verified
1 Parent(s): 028f54b

Update app.py

Browse files
Files changed (1) hide show
  1. app.py +4 -2
app.py CHANGED
@@ -3968,11 +3968,13 @@ def _sys_card(sid) -> str:
3968
  f"<td style='color:{col};font-size:0.62em'>{sv}/{r}</td>"
3969
  f"<td style='color:#555;font-size:0.62em'>{pct}</td></tr>")
3970
  sys_=SYSTEMS[sid]; st_=sys_.stats()
 
3971
  # Special notes per system
 
3972
  notes={
3973
  "AE": f"<div style='color:#26C6DA;font-size:0.56em'>v31路interval路HC4</div>",
3974
  "AE2":f"<div style='color:#4CAF50;font-size:0.56em'>v32路gradient路G1-G5</div>",
3975
- "RFM":f"<div style='color:#FFD600;font-size:0.56em'>{MEMORY.stats()[\"n_entries\"]}pat</div>",
3976
  "QS": f"<div style='color:#FF6D00;font-size:0.56em'>quantum sym</div>",
3977
  }
3978
  note=notes.get(sid,"")
@@ -4763,4 +4765,4 @@ if __name__ == "__main__":
4763
  proc_c=sum(1 for p in PROBLEMS if p.is_procedural)
4764
  uc_c=sum(1 for p in PROBLEMS if p.has_underconstrained_scope)
4765
  print(f" Procedural problems: {proc_c} ({uc_c} with DOF>=1 scope)")
4766
- uvicorn.run(app, host="0.0.0.0", port=7860, log_level="warning")
 
3968
  f"<td style='color:{col};font-size:0.62em'>{sv}/{r}</td>"
3969
  f"<td style='color:#555;font-size:0.62em'>{pct}</td></tr>")
3970
  sys_=SYSTEMS[sid]; st_=sys_.stats()
3971
+
3972
  # Special notes per system
3973
+ mem_entries = MEMORY.stats()["n_entries"]
3974
  notes={
3975
  "AE": f"<div style='color:#26C6DA;font-size:0.56em'>v31路interval路HC4</div>",
3976
  "AE2":f"<div style='color:#4CAF50;font-size:0.56em'>v32路gradient路G1-G5</div>",
3977
+ "RFM":f"<div style='color:#FFD600;font-size:0.56em'>{mem_entries}pat</div>",
3978
  "QS": f"<div style='color:#FF6D00;font-size:0.56em'>quantum sym</div>",
3979
  }
3980
  note=notes.get(sid,"")
 
4765
  proc_c=sum(1 for p in PROBLEMS if p.is_procedural)
4766
  uc_c=sum(1 for p in PROBLEMS if p.has_underconstrained_scope)
4767
  print(f" Procedural problems: {proc_c} ({uc_c} with DOF>=1 scope)")
4768
+ uvicorn.run(app, host="0.0.0.0", port=7860, log_level="warning")