HF RL Explorer

Proofs are currently stored under the configuration directory (for example, ~/.config/crev/proofs ). This is…

Proofs are currently stored under the configuration directory (for example, ~/.config/crev/proofs ). This is…: a task in LegoFlow-SWE (Harbor dataset). Update the application so that all logic that reads, writes, lists, or otherwise manages proofs uses the appropriate data directory rather than…

The task

Update the application so that all logic that reads, writes, lists, or otherwise manages proofs uses the appropriate data directory rather than the configuration directory. The change must apply consistently across commands that implicitly create an ID and its associated files.

Part of Lego-X/LegoFlow-SWE.