From 1a7a9daa7f18d11f4ebcca490a1430c558554910 Mon Sep 17 00:00:00 2001 From: Mizev Andrew <150728785+carpalsgrabby@users.noreply.github.com> Date: Tue, 25 Nov 2025 09:59:49 +0100 Subject: [PATCH] Add a short explanation comment above METRICS Documents what these keys correspond to. --- choose_best_layout.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/choose_best_layout.py b/choose_best_layout.py index 8ac4dc2..070570c 100644 --- a/choose_best_layout.py +++ b/choose_best_layout.py @@ -16,7 +16,7 @@ class LayoutResult: fanout: int data: Dict[str, Any] - +# Metrics are keys expected in app.py's JSON output. METRICS = [ "treeHeight", "totalNodes",