jacobian: v0.20.0

0.20.0 (2026-09-08)

Features

• approximation: compute exact Lebesgue interval profiles (#3541) (b52596c)
• combinatorics: accept hypergraphs in containment profiles (#3549) (db4239c)
• discrepancy: decide per-set coloring bounds (#3534) (74564be)
• geometry: construct exact distance edge colorings (#3530) (33e1d31)
• geometry: extend distance profiles to real quadratic coordinates (#3543) (2ff62c2)
• geometry: partition finite subsets by subspace cosets (#3529) (d819058)
• graph: add fixed-side Dulmage-Mendelsohn decomposition (#3524) (3c6bab4)
• graphs: add exact bipartite degree factors (#3485) (0c89999)
• graphs: add precoloring edge repair (#3486) (a7dd05e)
• graphs: draft chromatic bipartition feasibility (#3551) (279b89d)
• graphs: find edge-color-preserving subgraph embeddings (#3550) (d348e6c)
• hypergraphs: construct monochromatic uniform-subhypergraph profiles (#3542) (fa789e3)
• math: construct deletion partition compatibility closures (#3528) (137c7aa)
• math: extend subset-sum profiles to finite abelian groups (#3546) (1a9d6f3)
• math: widen exact computation envelopes and repair operation contracts (#3520) (921baba)
• matrices: compute Smith decomposition over QQ[t] (#3526) (f1d49d8)
• matrices: decompose chordal PSD matrices into exact clique terms (#3522) (01e6e7e)
• matrices: reduce rational semidefinite exposed faces (#3521) (4863bf9)
• matrix: complete rational PSD matrices on chordal patterns (#3523) (1b9a58c)
• polynomials: compute exact rational function gradients (#3535) (13a23f8)
• polynomials: count exact roots relative to the unit disk (#3531) (c088aaf)
• probability: exact hypergraph edge-count moments (#3545) (d8fa24f)
• tooling: expose validation reproduction and phase timings (fd8966b)

Bug Fixes

• ci: sync developer command contract to landed Makefile (1d03cd7)
• graphs: bind repair witness to proven bound; canonical result order (38ef521)
• hypergraph: namespace incidence graph vertices (#3547) (7f14f25)
• logic: check deadline before SAT invalid-model fallback (c1aa8da)
• math: preserve canonical values and admit mathematical claims once (#3525) (53d0ca0)
• math: preserve native contracts and admit tractable exact workloads (#3533) (e1b2115)
• npm: make setup refresh existing registrations (847f02b)
• polynomials: skip zero partial workers and checkpoint DAG decode (#3557) (d32675f)
• preserve MCP contracts and exact-value composition (#3517) (ed190f4)
• probability: keep edge-count moment request off the public math surface (#3552) (50c96c2)
• semidefinite: bound scalar lists and inactive off-diagonals (#3556) (f794c41)

Performance Improvements

• math: admit structured exact workloads before expansion (#3538) (f61ac69)
• math: reduce test feedback cost and isolate worker imports (#3474) (d8b557c)
• streamline local validation and default math to two workers (016e014)

Dependencies

• deps-dev: bump types-networkx (#3480) (06293f3)
• deps: bump @inquirer/prompts from 8.6.0 to 8.7.1 in /npm (#3477) (291a2fb)
• deps: bump aws-actions/configure-aws-credentials (#3478) (a993783)
• deps: bump click from 8.4.2 to 8.5.0 (#3481) (3999185)
• deps: bump cryptography from 50.0.0 to 50.0.1 (#3482) (3f16dda)
• deps: bump msgpack from 1.2.1 to 1.2.2 (#3483) (2fd5c55)

Documentation

• clarify focused validation command roles (810a4ea)
• clarify operation scale and contract validation workflow (aac5c36)