diff --git a/CITATION.cff b/CITATION.cff
index fdf354d..ee2398a 100644
--- a/CITATION.cff
+++ b/CITATION.cff
@@ -6,7 +6,7 @@ authors:
   - given-names: Ambar
     affiliation: "National University of Singapore"
     orcid: ""
-version: "0.4.0"
+version: "0.4.1"
 date-released: "2026-02-27"
 license: MIT
 url: "https://github.com/Ambar-13/ConstrAI"
diff --git a/README.md b/README.md
index f9a6d62..2805a2e 100644
--- a/README.md
+++ b/README.md
@@ -703,7 +703,7 @@ Every claim in ConstrAI carries one of four epistemic labels:
 | `EMPIRICAL` | Measured on test suites; confidence intervals available |
 | `HEURISTIC` | Best-effort; no formal guarantee (gradient tracker, HJB barrier) |
 
-T1, T3, T4, T5, T6, T7 are `PROVEN`. T2 and T8 are `CONDITIONAL`. See [MATHEMATICAL_COMPLIANCE.md](MATHEMATICAL_COMPLIANCE.md) for the full proofs.
+T1, T3, T4, T5, T6, T7 are `PROVEN`. T2 and T8 are `CONDITIONAL`. See [MATHEMATICAL_COMPLIANCE.md](https://github.com/Ambar-13/ConstrAI/blob/main/MATHEMATICAL_COMPLIANCE.md) for the full proofs.
 
 ### What is and is not guaranteed for real-world actions
 
@@ -824,13 +824,13 @@ restored = kernel.rollback(state, new_state, reversible_action)
 | Deep Python memory manipulation (`ctypes`, `gc`, `sys`) | Partially mitigated. Not memory-safe against intentional bypasses. |
 | 4 adversarial evasion vectors (base64 payloads, `getattr` dynamic dispatch) | These bypass the classification layer before an `ActionSpec` is constructed. The kernel itself has no known bypass. |
 
-See [docs/VULNERABILITIES.md](docs/VULNERABILITIES.md) for the full breakdown.
+See [docs/VULNERABILITIES.md](https://github.com/Ambar-13/ConstrAI/blob/main/docs/VULNERABILITIES.md) for the full breakdown.
 
 ---
 
 ## Performance
 
-Measured on 10,000 sequential safety checks in a single process (see [BENCHMARKS.md](BENCHMARKS.md) for methodology):
+Measured on 10,000 sequential safety checks in a single process (see [BENCHMARKS.md](https://github.com/Ambar-13/ConstrAI/blob/main/BENCHMARKS.md) for methodology):
 
 | Metric | Value |
 |--------|-------|
diff --git a/pyproject.toml b/pyproject.toml
index d17e3e7..4f5b9f1 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "constrai"
-version = "0.4.0"
+version = "0.4.1"
 description = "Formal safety framework for AI agents with provable guarantees"
 readme = "README.md"
 license = "MIT"