jacobian: v0.6.0

0.6.0 (2026-07-31)

Features

• benchmarks: add autoformalization semantic audit (6666594)
• benchmarks: add curated resource-derived Harbor tasks (4dee6b6)
• benchmarks: add divisibility construction witness (be22f2c)
• benchmarks: add Euler-line symbolic certificate task (fa035ab)
• benchmarks: add grounded premise proof (748699e)
• benchmarks: add layered meta-verification audit (5234cb1)
• benchmarks: add modular obstruction certificate (f3494fb)
• benchmarks: add proof-audit Harbor tasks (88e4c91)
• benchmarks: convert cases to Harbor-native datasets (c6a7c01)
• benchmarks: convert cases to Harbor-native datasets (8ddabcc)
• graph: add exact weighted MST (#284) (5d4c596)
• graph: record complete local minimality evidence (71f14f5)
• math: add typed native Python API (552b909)
• math: add typed native Python API (745afa1)
• matrix: add exact multiplication (#283) (ac4bd66)
• matrix: expose exact rational relations (#255) (b7ace44)
• mcp: align adapter with released SDK (66f83bc)
• modular: compute bounded polynomial residue images (#249) (378c882)
• modular: independently verify residue images (#251) (62bdb55)
• plugins: enforce typed request contracts (eeae9ac)
• process: enforce canonical worker protocols (df7d8e6)
• provider: separate identity and readiness checks (fda833d)
• storage: centralize persisted model decoding (1bf1c3d)
• verification: bound proof artifacts and LRAT authority (cfd564f)

Bug Fixes

• benchmarks: accept bounded semantic witnesses (fec7d89)
• benchmarks: bind Euler certificate evidence (c006ed7)
• benchmarks: bind Euler certificate evidence (36ea800)
• benchmarks: bind modular obstruction evidence (c9f7c3b)
• benchmarks: bind modular obstruction evidence (bdd8070)
• benchmarks: bind pairing evidence (f26ad0b)
• benchmarks: bind semantic audit evidence (422eeac)
• benchmarks: bind semantic audit evidence (fcf9904)
• benchmarks: enforce two-dimensional audit witnesses (e322d12)
• benchmarks: harden resource-derived verifiers (7129419)
• benchmarks: harden resource-derived verifiers (02e7a71)
• benchmarks: harden resource-derived verifiers (919362d)
• benchmarks: harden verifier evidence and fixture binding (2a8be13)
• benchmarks: harden verifier evidence and fixtures (1c4da95)
• benchmarks: honor rendered provider and fixture contracts (df0d124)
• benchmarks: keep Harbor validation offline (06904ef)
• benchmarks: keep Harbor validation offline (afb9e18)
• benchmarks: keep scoring tests unique (771b473)
• benchmarks: refresh TSP evidence digest (1c2dace)
• benchmarks: refresh TSP evidence digest (08507a8)
• benchmarks: validate divisibility evidence (c0ae540)
• benchmarks: validate divisibility evidence (b5ceedf)
• benchmarks: validate TSP repair evidence (da26375)
• benchmarks: validate TSP repair evidence (d1dbce1)
• checkers: omit exact replay when its provider is unavailable (1002833)
• checkers: omit exact replay when its provider is unavailable (955b6d8)
• checkers: preserve required replay failures (e4da91e)
• math: reject nested SymPy floats (fc92842)
• release: publish stable npm channel (fa39e3f)

Documentation

• benchmarks: state natural proof scope (e80a1c8)
• math: define native API boundaries (34bab03)