Problem
The current QUBO exchange format is deterministic and credential-free, but v0.2 needs a stronger parity harness proving that canonicalized Noetheris QUBO terms preserve energy across exported representations.
Acceptance Criteria
- Add a focused parity test matrix covering linear terms, reversed quadratic terms, duplicate pairs, self-quadratic folding, constants, comma-containing variable names, and larger export-only models.
- Verify
QuboModel.evaluate, qubo_exchange_payload, and optional Ocean BQM energy agree on every enumerated assignment for small models.
- Keep exact solving bounded while allowing export validation for larger models.
- Document the exchange invariants in
docs/dwave_mapping.md.
bash scripts/run_audit.sh passes.
Boundary
No D-Wave credentials, sampler calls, embedding search, or hardware-performance claims belong in this issue.
Problem
The current QUBO exchange format is deterministic and credential-free, but v0.2 needs a stronger parity harness proving that canonicalized Noetheris QUBO terms preserve energy across exported representations.
Acceptance Criteria
QuboModel.evaluate,qubo_exchange_payload, and optional Ocean BQM energy agree on every enumerated assignment for small models.docs/dwave_mapping.md.bash scripts/run_audit.shpasses.Boundary
No D-Wave credentials, sampler calls, embedding search, or hardware-performance claims belong in this issue.