chore

denisecase · denisecase · commit 2c23d59b5ec6 · 2025-12-31T16:27: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: Accountable Entities"
+title: "Structural Explainability: Accountable Entities Formalization"
 version: "0.1.0"
 date-released: "2025-12-25"
 
@@ -19,8 +19,9 @@ keywords:
   - semantic-interoperability
   - structural-constraints
   - identity-regimes
-  - formal-ontology
+  - formal-specification
   - formal-verification
+  - proof-carrying
   - theorem-proving
   - lean4
 
diff --git a/lakefile.toml b/lakefile.toml
@@ -29,8 +29,9 @@ keywords = [
   "semantic-interoperability",
   "structural-constraints",
   "identity-regimes",
-  "formal-ontology",
+  "formal-specification",
   "formal-verification",
+  "proof-carrying",
   "theorem-proving",
   "lean4"
 ]
