diff --git a/.gitignore b/.gitignore
index a568457..bbc9ec7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -21,3 +21,4 @@ bench/*.txt
 
 # Added by git-smart-commit
 *.swp
+proptest-regressions/
diff --git a/CLAUDE.md b/CLAUDE.md
index aab78f2..4971d67 100644
--- a/CLAUDE.md
+++ b/CLAUDE.md
@@ -4,8 +4,8 @@
 - Option<...> or Result<...> are fine but should not be present in the majority of the code.
 - Similarly, code managing  Box<...> or RC<...>, etc. for containers pointing to heap data should be split
   from logic
-- context/repo-map.md is your "road map" for the repository. use it to reduce exploration and keep it updated.
-- context/design-principles.md is also important for keeping the repository consistent.
+- @context/repo-map.md is your "road map" for the repository. use it to reduce exploration and keep it updated.
+- @context/design-principles.md is also important for keeping the repository consistent.
 - prefer merges to rebasing.
 
 <!-- BEGIN BEADS INTEGRATION v:1 profile:minimal hash:ca08a54f -->