core Design

The current codebase keeps variables, constraints, objective functions, and polynomial helpers in a single source boundary. The docs should treat that as one public subsystem until the package split becomes explicit in code.

Responsibilities

• Keep the code and docs aligned around src.
• Preserve the real execution model instead of smoothing over important internal differences.
• Note extension points, invariants, and limitations that maintainers must keep stable.

Maintenance Notes

• Update this page whenever the module boundary, core algorithm, or observable semantics change.
• If the module is intentionally incomplete, say so here instead of documenting speculative APIs.