Adding Verity's formal verification (#701)

Author: brickpop

README.md

@@ -29,31 +29,37 @@ OSx smart contracts undergo regular audits.
 
 ### v1.4.0
 
+**Verity Labs**: [formal verification of dao.execute](https://veritylabs.dev/research/aragon-osx-execute-authorization)
+
+- Commit ID: [4100bcf0bc0cefecdedac2ca292f6b32b4796c49](https://github.com/aragon/osx/tree/4100bcf0bc0cefecdedac2ca292f6b32b4796c49)
+- Started: 2026-07-28
+- Finished: 2026-07-31
+
 **Halborn**: [audit report](./audits/Halborn_AragonOSx_v1_4_Smart_Contract_Security_Assessment_Report_2025_01_03.pdf)
 
-- Commit ID: [e0ba7b60b08fa1665ecac92dc12ea89e4245e7dc](https://github.com/aragon/osx/commit/e0ba7b60b08fa1665ecac92dc12ea89e4245e7dc)
+- Commit ID: [e0ba7b60b08fa1665ecac92dc12ea89e4245e7dc](https://github.com/aragon/osx/tree/e0ba7b60b08fa1665ecac92dc12ea89e4245e7dc)
 - Started: 2024-11-18
 - Finished: 2025-02-13
 
 ### v1.3.0
 
 **Code4rena**: [link 1](./audits/Code4rena_AragonOSx_2023-12-12.pdf), [link 2](https://code4rena.com/reports/2023-03-aragon)
 
-- Commit ID: [a2461ae61a8c4cc833a117120b76e306936f5e1c](https://github.com/aragon/osx/commit/a2461ae61a8c4cc833a117120b76e306936f5e1c)
+- Commit ID: [a2461ae61a8c4cc833a117120b76e306936f5e1c](https://github.com/aragon/osx/tree/a2461ae61a8c4cc833a117120b76e306936f5e1c)
 - Started: 2023-03-03
 - Finished: 2023-03-10
 
 **Halborn**: [link 1](./audits/Halborn_AragonOSx_2023-06-13.pdf), [link 2](https://github.com/HalbornSecurity/PublicReports/blob/b3fe424535dce7ce345f74dc7e6c25e9200e7860/Solidity%20Smart%20Contract%20Audits/Aragon_aragonOS_v1_3_0_Smart_Contract_Security_Assessment_Report_Halborn_Final.pdf)
 
-- Commit ID: [0ad8cad2bb661fbd53086d097d11228304d9b73e](https://github.com/aragon/osx/commit/0ad8cad2bb661fbd53086d097d11228304d9b73e)
+- Commit ID: [0ad8cad2bb661fbd53086d097d11228304d9b73e](https://github.com/aragon/osx/tree/0ad8cad2bb661fbd53086d097d11228304d9b73e)
 - Started: 2023-05-29
 - Finished: 2023-06-13
 
 ### v1.0.0
 
 **Halborn**: [link 1](./audits/Halborn_AragonOSx_2023-02-24.pdf), [link 2](https://github.com/HalbornSecurity/PublicReports/blob/b3fe424535dce7ce345f74dc7e6c25e9200e7860/Solidity%20Smart%20Contract%20Audits/Aragon_aragonOS_Smart_Contract_Security_Audit_Report_Halborn_Final.pdf)
 
-- Commit ID: [cb0621dc5185a73240a6ca33fccc7698f059fdf5](https://github.com/aragon/osx/commit/cb0621dc5185a73240a6ca33fccc7698f059fdf5)
+- Commit ID: [cb0621dc5185a73240a6ca33fccc7698f059fdf5](https://github.com/aragon/osx/tree/cb0621dc5185a73240a6ca33fccc7698f059fdf5)
 - Started: 2023-02-07
 - Finished: 2023-02-24