fix(policy): use = instead of ≥ for thresh Display

thresh requires exactly k satisfactions to be valid, not k or more.
Providing too many satisfactions makes the witness invalid.

Author: febyeji

src/policy/mod.rs

@@ -289,7 +289,7 @@ mod tests {
         assert_eq!(pol.normalized().to_string(), "(pk(A) ∨ pk(B))");
 
         let pol = SemanticPol::from_str("thresh(2,pk(A),pk(B),pk(C))").unwrap();
-        assert_eq!(pol.normalized().to_string(), "#{pk(A), pk(B), pk(C)} ≥ 2");
+        assert_eq!(pol.normalized().to_string(), "#{pk(A), pk(B), pk(C)} = 2");
     }
 
     #[test]

src/policy/semantic.rs

@@ -248,6 +248,13 @@ impl<Pk: MiniscriptKey> fmt::Debug for Policy<Pk> {
     }
 }
 
+/// Displays the policy using mathematical notation for readability.
+///
+/// - `and(a, b)` is displayed as `(a ∧ b)`
+/// - `or(a, b)` is displayed as `(a ∨ b)`
+/// - `thresh(k, a, b, c)` is displayed as `#{a, b, c} = k`
+///
+/// Note: this format is not parseable.
 impl<Pk: MiniscriptKey> fmt::Display for Policy<Pk> {
     fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
         match *self {
@@ -280,7 +287,7 @@ impl<Pk: MiniscriptKey> fmt::Display for Policy<Pk> {
                     for sub in iter {
                         write!(f, ", {}", sub)?;
                     }
-                    write!(f, "}} ≥ {}", thresh.k())
+                    write!(f, "}} = {}", thresh.k())
                 }
             }
         }