Axiom Arithmetic Constraints not working

[jp4g]

I tried randomly assigning the witnesses for arithmetic constraints in Axiom and the proof verifies always.

but PSE seems to constrain correctly (incorrectly setting a/b/c will cause verification to fail)

This already needs to be refactored slightly to use Axiom's contexts in order to support QuantumCells across all witnesses which is needed for equality constraints, will update with more diagnostics/ solution

[jp4g]

For deeper context, I ported over the PSE MockProver tests to axiom.

Here is the correct assignment for a, b, and c:

Which MockProver successfully runs for:

However if a, b, and c are set incorrectly:

MockProver similarly succeeds:

When attempting to make the same change to the PSE constraint synthesizer, an error is expectedly produced: