Fix: Resolve macOS filename collision between Clause.rkt and clause.rkt

[1234-ad]

Problem

This PR fixes issue #663 - Case-Insensitive Filesystem Collision on macOS: Clause.rkt vs clause.rkt in satore/

On case-insensitive filesystems (macOS and Windows), having both Clause.rkt and clause.rkt in the same directory causes file collisions, making it impossible to clone or work with the repository on these systems.

Solution

Renamed Clause.rkt to clause-struct.rkt to:

1. Eliminate the filename collision
2. Better reflect the file's purpose (defining the Clause struct with additional properties)
3. Maintain clear distinction from clause.rkt (which contains basic clause operations)

Changes Made

• ✅ Created satore/clause-struct.rkt with the content from Clause.rkt
• ✅ Deleted satore/Clause.rkt
• ✅ Updated import statements in all affected files:
  • satore/saturation.rkt (line 22): Changed satore/Clause → satore/clause-struct
  • satore/rewrite-tree.rkt (line 15): Changed satore/Clause → satore/clause-struct
  • satore/unification-tree.rkt (line 21): Changed satore/Clause → satore/clause-struct

Testing

The code should work identically to before, as only the filename and import paths have changed, not the functionality. All imports have been updated to reference the new filename.

Impact

• Compatibility: Enables macOS and Windows users to clone and work with the repository
• Breaking Change: None for end users, but developers will need to update any local imports if they have custom code that imports this module
• File Purpose: The new name clause-struct.rkt better describes the file's contents (Clause struct definition with additional properties)

Fixes #663

[google-cla]

Thanks for your pull request! It looks like this may be your first contribution to a Google open source project. Before we can look at your pull request, you'll need to sign a Contributor License Agreement (CLA).

View this failed invocation of the CLA check for more information.

For the most up to date status, view the checks section at the bottom of the pull request.

[polarbe]

Dooray! Failure Notice Failure Notice Your message sent to ***@***.***) has failed to be delivered. Please refer to the below for details. * Recipient :  ***@***.***) * Sent time :  2026-01-08T02:03:38 * Subject :  [google-deepmind/deepmind-research] Fix: Resolve macOS filename collision between Clause.rkt and clause.rkt (PR #666) * Remote host said :  Your mail was denied from the receiver. This message was sent from a notification-only address that cannot accept incoming email. For more information, please contact ***@***.*** © Dooray!.

[polarbe]

Dooray! Failure Notice Failure Notice Your message sent to ***@***.***) has failed to be delivered. Please refer to the below for details. * Recipient :  ***@***.***) * Sent time :  2026-01-08T02:03:43 * Subject :  Re: [google-deepmind/deepmind-research] Fix: Resolve macOS filename collision between Clause.rkt and clause.rkt (PR #666) * Remote host said :  Your mail was denied from the receiver. This message was sent from a notification-only address that cannot accept incoming email. For more information, please contact ***@***.*** © Dooray!.