chore(main): release jacobian 0.13.0

Author: github-actions[bot]

.release-please-manifest.json

@@ -1,3 +1,3 @@
 {
-  ".": "0.12.0"
+  ".": "0.13.0"
 }

CHANGELOG.md

@@ -1,5 +1,90 @@
 # Changelog
 
+## [0.13.0](https://github.com/morluto/jacobian/compare/jacobian-v0.12.0...jacobian-v0.13.0) (2026-08-18)
+
+
+### Features
+
+* **math:** extract 8 closed math PRs with review-thread root-cause fixes ([#1959](https://github.com/morluto/jacobian/issues/1959)) ([7bbb302](https://github.com/morluto/jacobian/commit/7bbb3027d5783dc213fe8f32e6457a7a73435b47))
+* **mcp:** add paginated operation browse ([0bb7bfc](https://github.com/morluto/jacobian/commit/0bb7bfc96a8d4fccb1e70701e1981d0b646943eb))
+* **mcp:** expose canonical polynomial input guidance ([#1662](https://github.com/morluto/jacobian/issues/1662)) ([95b283c](https://github.com/morluto/jacobian/commit/95b283c54b7ec503e75bc339a241adb45f4329a2))
+* **mcp:** publish valid examples for every operation ([#1690](https://github.com/morluto/jacobian/issues/1690)) ([ae9f4e1](https://github.com/morluto/jacobian/commit/ae9f4e15937a9015d688e20c739f3e2a019654e7))
+
+
+### Bug Fixes
+
+* **benchmark:** add frozen input binding to 6 verifiers that lack it ([#1606](https://github.com/morluto/jacobian/issues/1606)) ([#1648](https://github.com/morluto/jacobian/issues/1648)) ([74e944b](https://github.com/morluto/jacobian/commit/74e944b7f3232f0b276c0ae7d7cac29218ebe83e))
+* **benchmark:** bind gold witness descriptors to hidden solution artifacts ([#1625](https://github.com/morluto/jacobian/issues/1625)) ([#1645](https://github.com/morluto/jacobian/issues/1645)) ([fe31c6f](https://github.com/morluto/jacobian/commit/fe31c6fa9c727baa3bd714d0c004e418e1f214a5))
+* **benchmark:** enforce public-contract drift and fixture_digest for all datasets ([#1592](https://github.com/morluto/jacobian/issues/1592), [#1593](https://github.com/morluto/jacobian/issues/1593)) ([#1644](https://github.com/morluto/jacobian/issues/1644)) ([be78a4d](https://github.com/morluto/jacobian/commit/be78a4d471ec1152670669daf87ea23126674c30))
+* **benchmark:** make task declarations the source of truth ([#1621](https://github.com/morluto/jacobian/issues/1621), [#1594](https://github.com/morluto/jacobian/issues/1594)) ([#1649](https://github.com/morluto/jacobian/issues/1649)) ([ce15c04](https://github.com/morluto/jacobian/commit/ce15c04e6aab22fce267ff6b6097ef7e751a2362))
+* **benchmark:** model proof modes as closed result variants ([#1618](https://github.com/morluto/jacobian/issues/1618)) ([#1635](https://github.com/morluto/jacobian/issues/1635)) ([444d599](https://github.com/morluto/jacobian/commit/444d599757fb72ec3b521357bcd3d3874fb8d076))
+* **benchmark:** model SAT and UNSAT as distinct result variants ([#1622](https://github.com/morluto/jacobian/issues/1622)) ([#1634](https://github.com/morluto/jacobian/issues/1634)) ([7f901d1](https://github.com/morluto/jacobian/commit/7f901d14e1375e36466cca3b9faeeb4cc89f4ec8))
+* **benchmark:** remove dead verification records, stale witness_validity, and assurance language ([#1642](https://github.com/morluto/jacobian/issues/1642)) ([fa3bbbc](https://github.com/morluto/jacobian/commit/fa3bbbcc18ba82b24812fed15376c47b127a3989))
+* **benchmark:** remove deterministic duplicate projections from results ([#1630](https://github.com/morluto/jacobian/issues/1630)) ([#1639](https://github.com/morluto/jacobian/issues/1639)) ([fe43092](https://github.com/morluto/jacobian/commit/fe430928e4fb4b7487ae8ea25eaebe55e1a68e33))
+* **benchmark:** remove leaked answer constants from submission schemas ([#1615](https://github.com/morluto/jacobian/issues/1615)) ([#1637](https://github.com/morluto/jacobian/issues/1637)) ([b3c7ec8](https://github.com/morluto/jacobian/commit/b3c7ec8cae66e78c196bab23c33d7349aaf904e6))
+* **benchmark:** remove redundant truth-value from calendar-good-days-audit ([#1612](https://github.com/morluto/jacobian/issues/1612)) ([#1631](https://github.com/morluto/jacobian/issues/1631)) ([e9d0d77](https://github.com/morluto/jacobian/commit/e9d0d77c43cc9eb51c400dfb24fbea9608399a26))
+* **benchmark:** remove stale limitations/evidence references from instructions ([#1602](https://github.com/morluto/jacobian/issues/1602)) ([#1638](https://github.com/morluto/jacobian/issues/1638)) ([d3c78eb](https://github.com/morluto/jacobian/commit/d3c78ebdf087545c345bf279bbc0526be66d06d8))
+* **benchmark:** remove witness_validity from result-only tasks and add bool guards ([#1605](https://github.com/morluto/jacobian/issues/1605), [#1620](https://github.com/morluto/jacobian/issues/1620)) ([#1647](https://github.com/morluto/jacobian/issues/1647)) ([82eb2bf](https://github.com/morluto/jacobian/commit/82eb2bfcf6a1cea0e9ae30120bc637dc15274f58))
+* **benchmarks:** bind sharp Cauchy evidence strictly ([#1507](https://github.com/morluto/jacobian/issues/1507)) ([cd2544b](https://github.com/morluto/jacobian/commit/cd2544ba9cb7ef8f66fd6cb2e3ad70b67b47f719))
+* **benchmarks:** decouple local MCP from egress proxy ([309792d](https://github.com/morluto/jacobian/commit/309792da6586659000b9c39180317b3b16950b96))
+* **benchmark:** separate assurance policy from mathematical answer ([#1613](https://github.com/morluto/jacobian/issues/1613)) ([#1636](https://github.com/morluto/jacobian/issues/1636)) ([aa0ec27](https://github.com/morluto/jacobian/commit/aa0ec27e93f371db835d942bd218bb9a6323f417))
+* **benchmarks:** mount the complete Codex runtime ([3a2c2b9](https://github.com/morluto/jacobian/commit/3a2c2b9bb77f653ce79bc764fd3764070d74e67e))
+* **benchmarks:** mount the complete Codex runtime ([5f450dd](https://github.com/morluto/jacobian/commit/5f450dd926894b3434adb1294a82d7a39a479feb))
+* **benchmark:** specify triangular-tent function for continuous-spike-integral-separation ([#1596](https://github.com/morluto/jacobian/issues/1596)) ([#1643](https://github.com/morluto/jacobian/issues/1643)) ([b291939](https://github.com/morluto/jacobian/commit/b29193970a53785863f3e3edf1c777e208b75827))
+* **benchmarks:** resolve evaluation image automatically ([ef298fc](https://github.com/morluto/jacobian/commit/ef298fc245c9d0a0a8156a2b64d048f8a90aaa87))
+* **benchmarks:** run selected host tests as modules ([40f3586](https://github.com/morluto/jacobian/commit/40f3586cbfe0cb4022aa22c6b9c41a53662416ac))
+* **benchmark:** submit collision witness in jacobian-negative-control ([#1577](https://github.com/morluto/jacobian/issues/1577)) ([#1633](https://github.com/morluto/jacobian/issues/1633)) ([928b25a](https://github.com/morluto/jacobian/commit/928b25a7ad964025c5a792dcb190d828fdba04ef))
+* **ci:** route Harbor job tests through bounded runner ([9f2a0c0](https://github.com/morluto/jacobian/commit/9f2a0c0bc55d5c1092bda635ab3b47b2404dec25))
+* **eval:** add opt-in proxy builder ([e800572](https://github.com/morluto/jacobian/commit/e80057258dc8df57122467ca0b3a64a206c41175))
+* **eval:** mount Codex Code Mode host beside npm launcher ([420572a](https://github.com/morluto/jacobian/commit/420572a420eb5aafd365bfd4eb5eee940e58d6db))
+* **eval:** support both Codex Code Mode host layouts ([006f1ad](https://github.com/morluto/jacobian/commit/006f1addb858df6778cf3ad6ab2cf7d273819f66))
+* **eval:** use Harbor Codex runtime with proxy egress ([f5ef685](https://github.com/morluto/jacobian/commit/f5ef68527acfa0fcc3471568b7a988afa6485d37))
+* **eval:** warn when direct runs ignore a proxy ([7716424](https://github.com/morluto/jacobian/commit/77164242696c7974e9983a9fb24ac11b263d71e6))
+* follow moved agent evaluation guide ([#2029](https://github.com/morluto/jacobian/issues/2029)) ([2e54684](https://github.com/morluto/jacobian/commit/2e54684a6a0af5241fed4fd42f211a49cc024bdb))
+* **math:** bind distance-matrix rows to labelled vertices ([#930](https://github.com/morluto/jacobian/issues/930)) ([#2008](https://github.com/morluto/jacobian/issues/2008)) ([c254f00](https://github.com/morluto/jacobian/commit/c254f00af0a093f212a6036ac5217a15bafa36fe))
+* **mcp:** advertise math.run as read-only ([225ae41](https://github.com/morluto/jacobian/commit/225ae41062e1f0dcfabce2dcadf5ee413ae57f43))
+* **probability:** bound graph reliability state mass ([#1508](https://github.com/morluto/jacobian/issues/1508)) ([f22a4f9](https://github.com/morluto/jacobian/commit/f22a4f927ac275cbcc66588965b7cc1c77122839))
+* **smt:** preserve fail-closed guards under optimization ([#1506](https://github.com/morluto/jacobian/issues/1506)) ([35a42ef](https://github.com/morluto/jacobian/commit/35a42ef11ea3de952fcaecd41226ea3af80423ab))
+
+
+### Performance Improvements
+
+* accelerate development validation ([#1509](https://github.com/morluto/jacobian/issues/1509)) ([af10bf5](https://github.com/morluto/jacobian/commit/af10bf596976b52472103aa41899f10afbc8b7d2))
+
+
+### Dependencies
+
+* **deps-dev:** bump hypothesis from 6.165.2 to 6.165.7 ([#1945](https://github.com/morluto/jacobian/issues/1945)) ([adfbb2c](https://github.com/morluto/jacobian/commit/adfbb2c003e2f18e85ca722eae160c570deca1a0))
+* **deps-dev:** bump pre-commit from 4.6.1 to 4.6.2 ([#1943](https://github.com/morluto/jacobian/issues/1943)) ([7a7068d](https://github.com/morluto/jacobian/commit/7a7068de58c3c5bbfb3a57b9d340cdf293e3f528))
+* **deps-dev:** bump ruff from 0.16.1 to 0.16.3 ([#1946](https://github.com/morluto/jacobian/issues/1946)) ([27fccd5](https://github.com/morluto/jacobian/commit/27fccd56f1ac15947fa60cb6ffd368003b5e84a6))
+* **deps:** bump aws-actions/configure-aws-credentials ([#1944](https://github.com/morluto/jacobian/issues/1944)) ([7d38fc6](https://github.com/morluto/jacobian/commit/7d38fc676d7b8bba252e0614ca428f164c6f503e))
+* **deps:** bump https://github.com/astral-sh/ruff-pre-commit ([#1942](https://github.com/morluto/jacobian/issues/1942)) ([775a038](https://github.com/morluto/jacobian/commit/775a0387178b1d441e6f2e6921f1a8b8eda1b72a))
+
+
+### Documentation
+
+* add public operation preflight ([#1694](https://github.com/morluto/jacobian/issues/1694)) ([e96fbf8](https://github.com/morluto/jacobian/commit/e96fbf808c14fad282f3ff36c47b2145d5429af3))
+* align state migration references ([a06671f](https://github.com/morluto/jacobian/commit/a06671f3c703588f4246367352abec4ce179fe31))
+* **benchmarks:** define semantic result contracts ([5c5e4f7](https://github.com/morluto/jacobian/commit/5c5e4f7f2ca94806ecbb66302721665807970aed))
+* clarify public operation adapter semantics ([2645e7e](https://github.com/morluto/jacobian/commit/2645e7eb7d55e44bb52e118299da7324fc4fbb5c))
+* define the durable operation criterion ([1c9095a](https://github.com/morluto/jacobian/commit/1c9095a3a860812d9ddcb4d02ee89191ca9c28a8))
+* describe current architecture instead of deleted systems ([#2016](https://github.com/morluto/jacobian/issues/2016)) ([140c607](https://github.com/morluto/jacobian/commit/140c607ffb0f0c91f2a3b858b44d0ae9e3a2488c))
+* describe the stateless mathematical kernel ([#1511](https://github.com/morluto/jacobian/issues/1511)) ([ca9e499](https://github.com/morluto/jacobian/commit/ca9e499991d18fc99968c12626c90220fd5f129b))
+* distinguish operations from backend routines ([#1702](https://github.com/morluto/jacobian/issues/1702)) ([f50dbf6](https://github.com/morluto/jacobian/commit/f50dbf6277341f8837ce006d8b10eda8edb6a4b6))
+* document MCP argument validation boundary ([1a912de](https://github.com/morluto/jacobian/commit/1a912de28b252343ee7173047f1fc97e0898000c))
+* document operation admission ledger ([7513f68](https://github.com/morluto/jacobian/commit/7513f689c47e4456ae3c8382025a73e004cb841e))
+* explain Jacobian's executable math vocabulary hypothesis ([#2012](https://github.com/morluto/jacobian/issues/2012)) ([efce533](https://github.com/morluto/jacobian/commit/efce533714a7745c195e655fbb815359f9720304))
+* **mcp:** clarify proactive math tool guidance ([71f17e6](https://github.com/morluto/jacobian/commit/71f17e63f84637ee9574d16dc99b45c1d78e9586))
+* **mcp:** recommend local math operations ([6b6b234](https://github.com/morluto/jacobian/commit/6b6b234c02172dfbce9358d54e7a0d6bce1e1502))
+* **readme:** add Chinese README ([0ed7a8c](https://github.com/morluto/jacobian/commit/0ed7a8c99bc299d7f05313a42d6f8854dcf41fa4))
+* **readme:** add Chinese translation link ([80d1031](https://github.com/morluto/jacobian/commit/80d1031a75d78a4e56bfde7e3823a5d71c495eeb))
+* **readme:** refresh product description and version ([3a5acc7](https://github.com/morluto/jacobian/commit/3a5acc75a62cc20209ed1bae667f852fab62ad19))
+* record Harbor protocol cutover rules in skills and authoring docs ([#1650](https://github.com/morluto/jacobian/issues/1650)) ([04d17ec](https://github.com/morluto/jacobian/commit/04d17eccf7a9d60ddda87277e8bff1d6fed0119b))
+* separate benchmark material from product docs ([#2019](https://github.com/morluto/jacobian/issues/2019)) ([7ab1d47](https://github.com/morluto/jacobian/commit/7ab1d4746a94e233c97b1fcc175564c871dcc850))
+* **skills:** add Jacobian math workflow ([134d98b](https://github.com/morluto/jacobian/commit/134d98b4fe5ac4cba5994816232f4713d2eac607))
+* **skills:** add MCP tool-adoption evaluation guide ([3916ec7](https://github.com/morluto/jacobian/commit/3916ec7fecfe51271c20fc4730d62791cf8509de))
+* **skills:** clarify operation discovery modes ([cffda53](https://github.com/morluto/jacobian/commit/cffda53b6dfe03365451c055c56797859a468bab))
+
 ## [0.12.0](https://github.com/morluto/jacobian/compare/jacobian-v0.11.0...jacobian-v0.12.0) (2026-08-13)
 
 

npm/package.json

@@ -1,6 +1,6 @@
 {
   "name": "jacobian",
-  "version": "0.12.0",
+  "version": "0.13.0",
   "mcpName": "io.github.morluto/jacobian",
   "description": "Composable mathematical operations for AI agents, exposed through MCP and a CLI",
   "license": "MIT",

pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "hatchling.build"
 
 [project]
 name = "jacobian"
-version = "0.12.0"
+version = "0.13.0"
 description = "Atomic mathematical tools for agents over MCP and Python"
 readme = "README.md"
 requires-python = ">=3.12,<3.14"

server.json

@@ -7,13 +7,13 @@
     "url": "https://github.com/morluto/jacobian",
     "source": "github"
   },
-  "version": "0.12.0",
+  "version": "0.13.0",
   "packages": [
     {
       "registryType": "npm",
       "registryBaseUrl": "https://registry.npmjs.org",
       "identifier": "jacobian",
-      "version": "0.12.0",
+      "version": "0.13.0",
       "runtimeHint": "npx",
       "transport": {
         "type": "stdio"