chore

denisecase · denisecase · commit 72f7e066290d · 2025-12-31T16:33:21.000-06:00
diff --git a/CITATION.cff b/CITATION.cff
@@ -1,7 +1,7 @@
 cff-version: "1.2.0"
 type: software
 
-title: "Structural Explainability: Evolution Protocol"
+title: "Structural Explainability: Evolution Protocol Formalization"
 version: "0.1.0"
 date-released: "2025-12-26"
 
@@ -20,9 +20,9 @@ keywords:
   - evolution-protocol
   - provenance
   - dependency-graphs
-  - identity-regimes
-  - formal-ontology
+  - formal-specification
   - formal-verification
+  - proof-carrying
   - theorem-proving
   - lean4
 
diff --git a/lakefile.toml b/lakefile.toml
@@ -30,9 +30,9 @@ keywords = [
   "evolution-protocol",
   "provenance",
   "dependency-graphs",
-  "identity-regimes",
-  "formal-ontology",
+  "formal-specification",
   "formal-verification",
+  "proof-carrying",
   "theorem-proving",
   "lean4"
 ]
