chore: reduce slither code scanning noise

- Exclude lib/, test/, and script/ from slither-clean SARIF uploads

- Document change in PROGRESS.md

Made-with: Cursor

Author: KaelSensei

.github/workflows/slither.yml

@@ -40,7 +40,7 @@ jobs:
         id: slither-clean
         continue-on-error: true  # informational — teaching repo uses intentional patterns
         with:
-          slither-args: --filter-paths "src/hacks"
+          slither-args: --filter-paths "src/hacks,lib,test,script"
           sarif: slither-clean.sarif
           fail-on: none
 

PROGRESS.md

@@ -47,6 +47,7 @@ A hands-on Solidity training ground based on solidity-by-example.org.
 - [x] All contracts have NatSpec documentation
 - [x] Slither findings: enforce ERC20 `transfer` / `transferFrom` return checks in AMM examples
 - [x] Slither findings: enforce ERC20 `transfer` / `transferFrom` return checks in DeFi examples (vault, lockers, staking, crowdfunding, swaps)
+- [x] Slither Code Scanning: exclude `lib/`, `test/`, and `script/` to avoid dependency noise
 
 ### ✅ Phase 5: Remaining Basic Topics (29/29 COMPLETE)
 - [x] DataLocations - storage, memory, calldata