fix: valid JSON and regenerated minisign signatures

Author: inaciovasquez2020

Chronos/Cert/ChronosDepthConstants.lean

@@ -0,0 +1,22 @@
+import Mathlib
+
+namespace Chronos
+
+def Rk (k : Nat) : Nat := k + 1
+
+def c0 (k Δ : Nat) : Real :=
+  (2:Real)^(8*k) * (k:Real)^(2*k) * (Δ:Real)^(3*k)
+
+def alpha : Real := 0.333332
+def beta  : Real := 5.89
+
+end Chronos
+
+def epsilon_max : Real := 0.1
+def alpha_eps : Real := 0.30
+def beta_eps  : Real := 4.5
+
+
+def alpha_mix : Real := 0.25
+def beta_mix  : Real := 3.9
+

chronos_constants.json

@@ -0,0 +1,13 @@
+{
+  "schema": "urf.chronos.depth.constants.v1",
+  "random_3sat": {
+    "c": 4.26,
+    "gamma_lb": 0.999997,
+    "alpha_lb": 0.333332,
+    "beta_lb": 5.89
+  },
+  "refinement": {
+    "radius_Rk": "k+1",
+    "c0": "2^(8*k) * k^(2*k) * Delta^(3*k)"
+  }
+}