chore

denisecase · denisecase · commit 96bdb0ba83b1 · 2025-12-31T16:31:08.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: Identity Regimes"
+title: "Structural Explainability: Identity Regimes Formalization"
 version: "0.1.0"
 date-released: "2025-12-25"
 
@@ -17,8 +17,9 @@ keywords:
   - structural-explainability
   - accountability
   - identity-regimes
-  - formal-ontology
+  - formal-specification
   - formal-verification
+  - proof-carrying
   - theorem-proving
   - lean4
 
diff --git a/lakefile.toml b/lakefile.toml
@@ -27,8 +27,9 @@ keywords = [
   "structural-explainability",
   "accountability",
   "identity-regimes",
-  "formal-ontology",
+  "formal-specification",
   "formal-verification",
+  "proof-carrying",
   "theorem-proving",
   "lean4",
 ]
