style(benchmarks): align shared static baseline

Author: Grace Lee Rui Yue

benchmarks/datasets/public-reproductions-v1/reliability-series-path/tests/verifier.py

@@ -27,9 +27,10 @@ def _math(s, x, e):
     states = r.get("states")
     if type(states) is not int:
         return False
-    return _frac(r.get("probability")) == _frac(
-        e["expected_probability"]
-    ) and states == e["expected_states"]
+    return (
+        _frac(r.get("probability")) == _frac(e["expected_probability"])
+        and states == e["expected_states"]
+    )
 
 
 def main():

benchmarks/datasets/public-reproductions-v1/reliability-single-edge/tests/verifier.py

@@ -27,9 +27,10 @@ def _math(s, x, e):
     states = r.get("states")
     if type(states) is not int:
         return False
-    return _frac(r.get("probability")) == _frac(
-        e["expected_probability"]
-    ) and states == e["expected_states"]
+    return (
+        _frac(r.get("probability")) == _frac(e["expected_probability"])
+        and states == e["expected_states"]
+    )
 
 
 def main():

benchmarks/datasets/symbolic-coordination-v1/symbolic-coordination-collision-found-01/tests/verifier_support.py

@@ -428,6 +428,7 @@ def aggregate_reward(
         raise ValueError("soft assurance weights must not exceed 1.0 in total")
     return soft_assurance_base + soft_assurance_weight * assurance_score
 
+
 __all__ = [
     "ASSURANCE_LEVELS",
     "MAX_INPUT_BYTES",

benchmarks/datasets/symbolic-coordination-v1/symbolic-coordination-collision-found-02/tests/verifier_support.py

@@ -428,6 +428,7 @@ def aggregate_reward(
         raise ValueError("soft assurance weights must not exceed 1.0 in total")
     return soft_assurance_base + soft_assurance_weight * assurance_score
 
+
 __all__ = [
     "ASSURANCE_LEVELS",
     "MAX_INPUT_BYTES",

benchmarks/datasets/symbolic-coordination-v1/symbolic-coordination-grid-exhausted-01/tests/verifier_support.py

@@ -428,6 +428,7 @@ def aggregate_reward(
         raise ValueError("soft assurance weights must not exceed 1.0 in total")
     return soft_assurance_base + soft_assurance_weight * assurance_score
 
+
 __all__ = [
     "ASSURANCE_LEVELS",
     "MAX_INPUT_BYTES",

benchmarks/datasets/symbolic-coordination-v1/symbolic-coordination-grid-exhausted-02/tests/verifier_support.py

@@ -428,6 +428,7 @@ def aggregate_reward(
         raise ValueError("soft assurance weights must not exceed 1.0 in total")
     return soft_assurance_base + soft_assurance_weight * assurance_score
 
+
 __all__ = [
     "ASSURANCE_LEVELS",
     "MAX_INPUT_BYTES",

benchmarks/datasets/symbolic-coordination-v1/symbolic-coordination-keller-only-01/tests/verifier_support.py

@@ -428,6 +428,7 @@ def aggregate_reward(
         raise ValueError("soft assurance weights must not exceed 1.0 in total")
     return soft_assurance_base + soft_assurance_weight * assurance_score
 
+
 __all__ = [
     "ASSURANCE_LEVELS",
     "MAX_INPUT_BYTES",

benchmarks/datasets/symbolic-coordination-v1/symbolic-coordination-keller-only-02/tests/verifier_support.py

@@ -428,6 +428,7 @@ def aggregate_reward(
         raise ValueError("soft assurance weights must not exceed 1.0 in total")
     return soft_assurance_base + soft_assurance_weight * assurance_score
 
+
 __all__ = [
     "ASSURANCE_LEVELS",
     "MAX_INPUT_BYTES",

benchmarks/datasets/symbolic-coordination-v1/symbolic-coordination-keller-only-03/tests/verifier_support.py

@@ -428,6 +428,7 @@ def aggregate_reward(
         raise ValueError("soft assurance weights must not exceed 1.0 in total")
     return soft_assurance_base + soft_assurance_weight * assurance_score
 
+
 __all__ = [
     "ASSURANCE_LEVELS",
     "MAX_INPUT_BYTES",

benchmarks/datasets/symbolic-coordination-v1/symbolic-coordination-keller-only-04/tests/verifier_support.py

@@ -428,6 +428,7 @@ def aggregate_reward(
         raise ValueError("soft assurance weights must not exceed 1.0 in total")
     return soft_assurance_base + soft_assurance_weight * assurance_score
 
+
 __all__ = [
     "ASSURANCE_LEVELS",
     "MAX_INPUT_BYTES",