Propagate Cyclone certificate, replace axioms, add CI verification

Author: inaciovasquez2020

.github/workflows/verify.yml

@@ -0,0 +1,9 @@
+name: verify
+on: [push]
+jobs:
+  check:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - name: Run certificate check
+        run: python3 infra/ci/verify_certificate.py

infra/ci/verify_certificate.py

@@ -0,0 +1,14 @@
+import json
+import math
+
+def verify(cert):
+    n = cert["n"]
+    assert n > 0
+    assert cert["c0"] > 0
+    assert cert["constants"]["kappa_ref"] > 0
+    return True
+
+if __name__ == "__main__":
+    with open("infra/certificates/example_certificate.json") as f:
+        cert = json.load(f)
+    print({"valid": verify(cert)})

infra/schema/admissible_certificate.json

@@ -0,0 +1,27 @@
+{
+  "type": "object",
+  "required": ["n","c0","Ccap","k","Cloc","c1","c2","Vmax","constants"],
+  "properties": {
+    "n": {"type": "number"},
+    "c0": {"type": "number"},
+    "Ccap": {"type": "number"},
+    "k": {"type": "number"},
+    "Cloc": {"type": "number"},
+    "c1": {"type": "number"},
+    "c2": {"type": "number"},
+    "Vmax": {"type": "number"},
+    "constants": {
+      "type": "object",
+      "required": ["kappa_cap","kappa_loc","kappa_ref","kappa_bg","kappa_bdry","kappa_var","kappa_err"],
+      "properties": {
+        "kappa_cap": {"type": "number"},
+        "kappa_loc": {"type": "number"},
+        "kappa_ref": {"type": "number"},
+        "kappa_bg": {"type": "number"},
+        "kappa_bdry": {"type": "number"},
+        "kappa_var": {"type": "number"},
+        "kappa_err": {"type": "number"}
+      }
+    }
+  }
+}