fix some inconsistencies highlighted via CodeRabbit#40
Merged
aspiers merged 4 commits intohypercerts-org:mainfrom Dec 15, 2025
Merged
fix some inconsistencies highlighted via CodeRabbit#40aspiers merged 4 commits intohypercerts-org:mainfrom
aspiers merged 4 commits intohypercerts-org:mainfrom