sim-lib-music-counterpoint

Exact counterpoint rule reports, graph-backed stretto analysis, and bounded constraint generation.

The crate inspects existing counterpoint without rewriting it. Species and open rule sets are data, every violation carries voices, notes, an exact span, a rule, and metric evidence, and stretto candidates remain explicitly separate from generation. The generator compiles the same rules to finite pitch variables and domains for sim-lib-discrete-search, retains its work/frontier/result, cancellation, seed, and partial-result receipt, and returns only analyzer-legal alternatives. Generated voices are existing content-bound ConsonancePatch additions whose inverse restores the fixed cantus exactly.