feat(pumpkin-core): Introduce runtime consistency verification of propagators - #374

Closed

maartenflippo wants to merge 32 commits into

mainfrom

feat/propagation-checkers

Commits on Feb 27, 2026

Initial implementation of consistency checkers
maartenflippo
committed
2e9cba5
Run the consistency checkers when enabled
maartenflippo
committed
aacd712
Implement bound consistency checker
maartenflippo
committed
ece98c7
Give access to domains in witness generator
maartenflippo
committed
5013527
Implement checker for absolute value
maartenflippo
committed
c7a3b9c
Remove redundant min
maartenflippo
committed
5fbad25
Include the value to support in linear witness generator
maartenflippo
committed
fd04f2e
Don't add to supported values of the domain being witnessed
maartenflippo
committed
0e7329e
Proper mechanism to add to the scope
maartenflippo
committed
5c7a9d1
Update todo notes
maartenflippo
committed
8b143be

Commits on Mar 2, 2026

Implement Witness generator for multiplication
maartenflippo
committed
4c5eda3

Commits on Mar 3, 2026

Commits on Mar 4, 2026

Add documentation to strong consistency checker
maartenflippo
committed
7b4bab9
Proper witness generator for multiplication bound consistency
maartenflippo
committed
6998a47
Remove unused import
maartenflippo
committed
7ec48e0

Commits on Mar 5, 2026

Commits on Mar 6, 2026

Separate flags for consistency and inference checking
maartenflippo
committed
b4eeb11

Commits on Mar 9, 2026

Implement consistency checking for reified
maartenflippo
committed
91ef2ea

Commits on Mar 10, 2026

Filter checkers and fix reified checker
maartenflippo
committed
1615dee
Fix propagator checker filter cli
maartenflippo
committed
96c6ae5
Enable filtering of checker types
maartenflippo
committed
09eec3d

Commits on Mar 12, 2026

Add circuit propagator
maartenflippo
committed
d5ac88c
Get the final propagators in
maartenflippo
committed
c47ab88

Commits on Mar 13, 2026

More bug fixes
maartenflippo
committed
dca7515