Add modular polynomial identity verification - #915

Closed

yuelgrace1810-ops wants to merge 15 commits into

mainfrom

agent/modular-polynomial-identity

Commits on Aug 9, 2026

add modular polynomial identity verification
yuelgrace1810-ops
committed
08b40b8
Harden modular identity replay bounds
Grace Lee Rui Yue
committed
fc06831
Keep modular residual replay in FLINT
Grace Lee Rui Yue
committed
0a572c5
Reject noncanonical modular zero coefficients
Grace Lee Rui Yue
committed
1e07d8d
Bound normalized modular exponents
Grace Lee Rui Yue
committed
4a06c23
Require unique modular result variables
Grace Lee Rui Yue
committed
d16217b

Commits on Aug 11, 2026

Harden modular identity verification coverage
Grace Lee Rui Yue
committed
e349a4c
Merge remote-tracking branch 'origin/main' into pr-915
Grace Lee Rui Yue
committed
0bae5ba
Fix current CI test conventions and release lock
Grace Lee Rui Yue
committed
aa0fab1
Merge remote-tracking branch 'origin/main' into pr-915
Grace Lee Rui Yue
committed
b259589
Fix test import ordering after package markers
Grace Lee Rui Yue
committed
2a9591a
Format modular polynomial regression tests
Grace Lee Rui Yue
committed
35d94b6
Bind modular identity residual to normalized operands
Grace Lee Rui Yue
committed
60814e9
Keep checker forgery regression contract-valid
Grace Lee Rui Yue
committed
1c1420b
Merge remote-tracking branch 'origin/main' into HEAD
Grace Lee Rui Yue
committed
b8aebed