Skip to content

Exclude built-ins from rule safety grounding - #25

Closed
TheKnarf wants to merge 3 commits into
mainfrom
codex/update-safety.rs-for-built-in-atom-detection
Closed

TheKnarf wants to merge 3 commits into
mainfrom
codex/update-safety.rs-for-built-in-atom-detection

Conversation

@TheKnarf

Copy link
Copy Markdown
Contributor

Summary

  • avoid treating built-in atoms as positive grounding sources when checking rule safety
  • add safety tests for built-in comparisons

Testing

  • cargo test -p proclog

https://chatgpt.com/codex/tasks/task_e_6905412b43188331b98bb9e51c497964

@TheKnarf TheKnarf closed this Jan 3, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant