chore

denisecase · denisecase · commit bb39949d5f66 · 2025-12-31T16:23:39.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"
+title: "Structural Explainability: Structural Explainability Formalization"
 version: "0.1.0"
 date-released: "2025-12-26"
 
@@ -16,13 +16,11 @@ license: MIT
 keywords:
   - structural-explainability
   - accountability
-  - semantic-interoperability
-  - contextual-evidence
-  - provenance
-  - dependency-graphs
+  - neutrality
   - identity-regimes
-  - formal-ontology
+  - formal-specification
   - formal-verification
+  - proof-carrying
   - theorem-proving
   - lean4
 
diff --git a/lakefile.toml b/lakefile.toml
@@ -26,13 +26,11 @@ license = "MIT"
 keywords = [
   "structural-explainability",
   "accountability",
-  "semantic-interoperability",
+  "neutrality",
   "exchange-protocol",
-  "provenance",
-  "dependency-graphs",
-  "identity-regimes",
-  "formal-ontology",
+  "formal-specification",
   "formal-verification",
+  "proof-carrying",
   "theorem-proving",
   "lean4"
 ]
