More fixes.

app.py

@@ -491,13 +491,10 @@ for pred_obj, df in results.items():
 minimal_results = named_results.get("MINIMAL", pd.DataFrame())
 # Make Minimal table tidy: columns [C, VALUE]
 if not minimal_results.empty:
-    # In pslpython dfs: last column is value; arg columns are 0..k-1
-    # Rename them for display if they are ints
     cols = list(minimal_results.columns)
-    if isinstance(cols[0], int) or cols[-1] != "VALUE":
-        # assume unary: [0, 1] where 1 is value
-        minimal_results = minimal_results.rename(columns={0: "C", 1: "VALUE"})
-    minimal_results_display = minimal_results[["C", "VALUE"]].sort_values("C").reset_index(drop=True)
+    minimal_results_display = minimal_results[[0, "truth"]].sort_values(0).reset_index(drop=True)
+
+    minimal_results_display = minimal_results_display.rename(columns={"truth": "VALUE", "O": "Circuit_ID"})
 else:
     minimal_results_display = pd.DataFrame(columns=["C", "VALUE"])