Julia parity test gaps: missing models and reductions

[GiggleLiu]

Context

PR #65 added systematic parity tests against Julia ProblemReductions.jl. This issue tracks the remaining gaps identified in the coverage comparison.

Missing Model Evaluation Tests

Problem	Reason
BicliqueCover	No Julia doc example to extract
BMF	No Julia doc example to extract

These 2 problems exist in both Rust and Julia but have no parity test fixtures.

Missing Reduction Tests

Reduction	Status
SAT → CircuitSAT	Fixture generated (rule_sat*_to_circuitsat.json), test is #[ignore] — reduction not implemented in Rust

Current Coverage

• Models: 16/18 problems tested (89%)
• Reductions: 13/14 Julia reductions tested (93%), plus 22 individual rule test instances
• Tests: 39 passing, 1 ignored

Suggested Next Steps

1. Add BicliqueCover and BMF instances to generate_testdata.jl and corresponding Rust tests
2. Implement SAT → CircuitSAT reduction in Rust, then activate the #[ignore] test