4 Commits

Author SHA1 Message Date
master
4789027317 docs consolidation and others 2026-01-06 19:07:48 +02:00
master
d7bdca6d97 docs consolidation, big sln build fixes, new advisories and sprints/tasks 2026-01-05 18:37:08 +02:00
StellaOps Bot
9a08d10b89 docs consolidation 2025-12-24 12:38:14 +02:00
StellaOps Bot
7503c19b8f Add determinism tests for verdict artifact generation and update SHA256 sums script
- Implemented comprehensive tests for verdict artifact generation to ensure deterministic outputs across various scenarios, including identical inputs, parallel execution, and change ordering.
- Created helper methods for generating sample verdict inputs and computing canonical hashes.
- Added tests to validate the stability of canonical hashes, proof spine ordering, and summary statistics.
- Introduced a new PowerShell script to update SHA256 sums for files, ensuring accurate hash generation and file integrity checks.
2025-12-24 02:17:34 +02:00