Add optimality note: exhaustive enumeration confirms magnitude 1 is minimum

README.md

@@ -43,6 +43,10 @@ The negative weight flips the relationship between input magnitude and firing.
 | Bias | 0 |
 | Total | 2 parameters |
 
+## Optimality
+
+Exhaustive enumeration of all 5 weight configurations at magnitudes 0-1 confirms this circuit is **already at minimum magnitude (1)**. There is exactly one valid configuration at magnitude 1, and no valid configurations exist below it.
+
 ## Properties
 
 - Involutive: NOT(NOT(x)) = x