Fix: field reload for sparse sign compressor

[Tuna2222]

Description

Reload the property when the user changes the properties after building the SparseSign struct.

Motivation and Context

To ensure robust usage, we have added validation and error signaling when users attempt to modify SparseSign compressor properties after initialization. This addresses the previous issue where error detection was deferred until the solver construction phase, leading to delayed and unclear feedback about invalid configurations.

How has this been tested

Try the following codes:

using RLinearAlgebra
compressor = SparseSign(compression_dim = 5, nnz = 3);
compressor.nnz = -2
compressor.nnz = 6
compressor.compression_dim = -2
compressor.compression_dim = 2

Types of changes

• CI
• Docs
• Feature
• Fix
• Performance
• Refactor
• Style
• Test
• Other (use sparingly):

Checklists:

Code and Comments
If this PR includes modification to the code base, please select all that apply.

• My code follows the code style of this project.
• I have updated all package dependencies (if any).
• I have included all relevant files to realize the functionality of the PR.
• I have exported relevant functionality (if any).

API Documentation

• For every exported function (if any), I have included a detailed docstring.
• I have checked the spelling and grammar of all docstring updates through an external tool.
• I have checked that the docstring's function signature is correctly formatted and has all arguments.
• I have checked that the docstring's list of arguments, fields, or return values match the function.
• I have compiled the docs locally and read through all docstring updates to check for errors.

Manual Documentation

• I have checked the spelling and grammar of all manual updates through an external tool.
• Any code included in the docstring is tested using doc tests to ensure consistency.
• I have compiled the docs locally and read through all manual updates to check for errors.

Testing

• I have added unit tests to cover my changes. (For Macros, be sure to check
  @code_lowered and
  @code_typed)
• All new and existing tests passed.
• I have achieved sufficient code coverage.

[Copilot]

Pull Request Overview

This PR adds validation and error handling for field modifications on the SparseSign compressor after initialization. The implementation uses a custom setproperty! method to enforce constraints when users modify the compression_dim or nnz fields.

• Added custom setproperty! method to validate field changes on SparseSign instances
• Imported setproperty! from Base in the main module
• Added comprehensive test coverage for field modification scenarios

Reviewed Changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated 3 comments.

File	Description
src/RLinearAlgebra.jl	Imported setproperty! from Base to support custom property setter
src/Compressors/sparse_sign.jl	Added custom setproperty! method to validate compression_dim and nnz field modifications
test/Compressors/sparse_sign.jl	Added test cases for valid and invalid field modifications including edge cases

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!