allaun/Research-Stack
1
0
Fork 0
mirror of https://github.com/allaunthefox/Research-Stack.git synced 2026-07-31 03:05:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
Research-Stack/shared-data/artifacts
History
Brandon Schneider 302f48d416 chore: QC report — 14 structural/efficiency issues found 
HIGH (4): absDiff 4x duplicated, scale 6x duplicated,
         duplicate theorems, dead q16_div
MEDIUM (5): dead DESIParam, q16Abs=Int.abs, dead structures,
           25 theorems unconsolidated, q16_div duplicated
LOW (5): Hermite helper, Q16.16 consistency, SCALE casing,
         rD field naming, rd precision
2026-05-13 22:11:16 -05:00
..
deepseek_review Correct DeepSeek review receipt attribution 2026-05-11 23:06:57 -05:00
lean_expert_agent chore: QC report — 14 structural/efficiency issues found 2026-05-13 22:11:16 -05:00