jacobian: v0.12.0

0.12.0 (2026-08-13)

Features

• add actionable checker diagnostics (84d2f86)
• add exact finite polynomial map values (f3d7a7f)
• add exact finite-field semantic values (df8ad85)
• arithmetic: add verified real-quadratic order (#1287) (6ad9f41)
• bind complete projective lines as values (b6e69d2)
• bind finite-field operations with provisional ports (a980d11)
• checkers: independently replay bounded LCM (#1280) (bbd8467)
• checkers: verify rational LP optimum certificates (#1279) (2aca3aa)
• combinatorics: verify submitted P-recursive tables (#1285) (edd886e)
• compose finite polynomial map operations (7b27725)
• compose the complete finite-field rank ledger (403cf4a)
• compose the finite-field direction-rank slice (a573cfc)
• compose typed values by opaque reference (f1fb03a)
• composition: pass typed results to exact checkers (#1298) (abcd9a8)
• geometry: expose bounded projective flat previews (#1294) (7182818)
• graphs: add canonical graph6 decoding and verification (#1284) (d178bd4)
• graphs: extend bounded independence number to order 128 (#1297) (cf146a0)
• independently replay finite polynomial maps (2afc7d7)
• independently verify finite-field map rank (8197270)
• independently verify finite-field restriction (4aac03a)
• matrix: extend exact determinant to order 64 (#1302) (83ef960)
• number-theory: add modular polynomial identity verification (#1286) (ac740ca)
• tighten domain diagnostics and Gaussian inputs (6c269fe)

Bug Fixes

• align operation effects and bounded timeout results (3982826)
• authorize immutable Mathlib package checkouts (85352b3)
• benchmarks: accept reordered cubic residue coverage (#1422) (4bf70a3)
• benchmarks: accept reordered zero residual indices (#1425) (4872ed7)
• benchmarks: publish Farkas scalar replay contract (#1309) (bfacfb5)
• bind diagnostic evidence conditions (fd337e2)
• bind Lean recovery claims (309885d)
• bind rank results to the direction field (2b62f9d)
• bind verification records to projected identities (ea054ed)
• bound finite-field validation before computation (3eb1164)
• build the complete Lean release runtime (909d341)
• ci: preserve required PR evidence (#1426) (364b075)
• ci: sync packaged backends in container (5d73334)
• classify verification from record identity (07164ef)
• confine benchmark process metadata (b68dbd0)
• correct inline verifier lineage guidance (#1234) (16a2da6)
• discovery: expose P-recursive sequence aliases (#934) (3ff985b)
• discovery: expose polynomial expansion normalization (#1273) (8e585f0)
• discovery: surface finite expectations (#1247) (2b13f16)
• discovery: surface polynomial bound checks (#1250) (2e579f0)
• discovery: surface rational polynomial resultants (#1244) (6e87091)
• distinguish invalid operation results (d8237b7)
• eval: preserve incomplete observation evidence (#1312) (84f95c2)
• evals: read top-level verification records (a7a272e)
• examples: align cold-worker budgets and Arb discovery (#1283) (50c3fce)
• finite-fields: bound producer work before execution (8f9132f)
• finite-fields: reject cross-field rank requests (a6f1630)
• finite-fields: replay ledgers before orbit aggregation (5950271)
• finite-fields: validate polynomial map tables (99c2921)
• graph: raise distance matrix order bound (#1369) (bf8b380)
• handle one-row lattice reduction (#1203) (b5826b6)
• harbor: launch the remote MCP observation host (#1296) (5ac9a8c)
• hide internal Lean scaffold warnings (d9c43bf)
• keep Lean recovery evidence retryable (a89c296)
• lean: remove unchanged corrupt declaration caches ([#1295...

jacobian: v0.11.0

0.11.0 (2026-08-10)

Features

• verify polynomial-coefficient recurrences (#902) (b9b01b3)

Bug Fixes

• benchmarks: harden Jacobian evaluation evidence (#946) (0052a5b)
• ci: validate release branch updates (1a5048c)
• cli: repair onboarding setup flow (11b4b28)
• honor selected npm gates and core setup profile (ee8ef12)
• mcp: publish object-rooted math.find schema (#898) (332a5e4)

Dependencies

• deps-dev: bump hypothesis from 6.164.0 to 6.165.2 (#1005) (8818f9e)
• deps: bump actions/cache/restore from 4.3.0 to 6.1.0 (#1004) (50d663f)
• deps: bump pypa/gh-action-pypi-publish from 1.14.1 to 1.14.2 (#1006) (d3ed473)

Documentation

• lead quickstart with one-time npx setup (344b7b6)
• reframe product as search/execute math toolbox (#1147) (e443138)
• reserve VERIFIED assurance in control evaluations (#906) (d600db0)
• skill: tighten Harbor evaluation boundaries (3b37422)

jacobian: v0.10.0

0.10.0 (2026-08-08)

Features

• benchmarks: add fail-closed aggregate reward policy and ratchets (70963ed)
• benchmarks: add selected-task workflow (#572) (9d94310)
• benchmarks: move verifier exceptions into task-local contracts (ccf4b7c)

Bug Fixes

• address post-merge MCP and observation review findings (7f5a035)
• address post-merge review findings (9913af4)
• benchmarks: accept compact network_mode TOML assignments (#668) (5957cd2)
• benchmarks: address reconstruction deck certificate review comments (#657) (7154612)
• benchmarks: bind cddlib/regina and tighten provider Oracle evidence (#709) (bf44e7a)
• benchmarks: discard consumed streaming whitespace prefix in reconstruction deck verifier (#682) (256ff13)
• benchmarks: discover conjecture host validations (#829) (08f7d95)
• benchmarks: fail-closed reward, support, and provider evidence (f03baaf)
• benchmarks: identify provider feasibility tasks accurately (#771) (4de8452)
• benchmarks: install jsonschema in upgraded verifier images (64132a9)
• benchmarks: land Hadwiger verifier review follow-ups (evidence schema, JSON type fidelity, assurance guard, non-finite JSON) (#675) (c174872)
• benchmarks: make mathematical rewards fail closed (b3dbc1c)
• benchmarks: migrate legacy verifier diagnostics (ee14bf7)
• benchmarks: pin deterministic pytest-randomly seed for host shards (#625) (6c893d3)
• benchmarks: preserve decoupled input diagnostics (9b05caf)
• benchmarks: preserve fail-closed diagnostics and validation gates (e2c264b)
• benchmarks: publish bound input for provider Oracle verifiers (#683) (41504be)
• benchmarks: repair shared CI root causes for oracle and contracts (#640) (95b2024)
• benchmarks: require authoritative completion counts (556dfae)
• benchmarks: skip vanished Oracle evidence candidates (#743) (a3b35ac)
• benchmarks: sort functools import for schema validator cache CI (#621) (db4cc38)
• capabilities: return typed failures for invalid adapter output (#739) (166a380)
• checkers: bind the Lake launcher digest to the authorized Lean runtime (b84a9ca)
• ci: account for shared Lean process memory (6114242)
• ci: avoid repeated trajectory cluster validation (a7c312b)
• ci: format eval telemetry test signature (#777) (bad5a78)
• ci: restore lint-full and test-architecture on main (0891065)
• ci: restore lint-full and test-architecture on main (f39f3eb)
• ci: restore static gates after benchmark additions (#723) (b5fc67a)
• ci: tolerate duplicate timing entries across benchmark shards (#624) (6b3b58a)
• cli: preserve command failures during cleanup (#713) (fb118bb)
• eval: guard resource-read tool field against non-hashable values (2e08f67)
• eval: ignore malformed telemetry status and tool fields (#708) (f64d891)
• experiments: use first-page parent capacity (#716) (10421cb)
• fail closed on malformed JSON and purge stale plugin imports (4cdb2b4)
• fail closed on malformed observation/control JSON and purge stale plugin imports (3bfaf5f)
• fail-closed evaluation integrity across verifiers and kernel (#585) (5aec651)
• lean: resolve toolchain lean instead of elan proxy (#627) (c91140e)
• matrix: reject invalid flint worker protocols (#725) (f2d3525)
• MCP concurrency, fail-closed benchmark, and resource safety fixes (ed07ff7)
• MCP concurrency, fail-closed benchmark, and resource safety fixes (6dab752)
• mcp: bound cancellation drain with monotonic deadline (fec2f27)
• mcp: clarify validation and assurance diagnostics (#602) (0733334)
• mcp: distinguish unknown discovery domains (#604) (fcfe72f)
• mcp: quarantine failed tenant runtimes and serialize shutdown (#745) (ce452d9)
• mcp: report nested required constraints, keep capability selection agent-owned (#678) (25141d0)
• npm: resolve latest bootstrap for upgrades (fb884b3)
• polynomials: bound inverse solver termination (#744) (024d9c7)
• pre-commit: remove stale verifier-support hook ([#730](ht...

jacobian: v0.9.0

0.9.0 (2026-08-06)

Features

• benchmarks: normalize reasoning protocol evidence (4e0abb2)
• combinatorics: add verified difference-set decisions (#436) (757667d)
• evaluations: publish digest-bound Jacobian images (b8424f8)
• mcp: add experimental math tool surface (1e2a82f)
• mcp: make math tool names canonical (98a3213)
• mcp: require bounded reasoning logs (8f04639)

Bug Fixes

• align generated contracts and evaluation evidence (15b4746)
• align symbolic coordination evidence diagnostics (baba112)
• benchmark: close bounded-variation verifier review gaps (1508b06)
• benchmarks: accept EOF-terminated Steiner certificates (d8cf7cf)
• benchmarks: accept rational finite-support evidence (1d19b05)
• benchmarks: accept unordered finite-support witnesses (a37010e)
• benchmarks: align sine malformed diagnostics (922b524)
• benchmarks: align Steiner malformed diagnostics (fa15d53)
• benchmarks: audit vocabulary, probe minimum, evidence descriptor protocol (5f4b9d0)
• benchmarks: auto-sync verifier checksums and formatting in harbor-check-task (54bfc6a)
• benchmarks: bind evidence limitations to submitted limitations (901475a)
• benchmarks: bind Lean traces to spike contract (a5739f2)
• benchmarks: bound exponential integer parsing (#501) (94df513)
• benchmarks: bound Steiner evidence parsing (da5243e)
• benchmarks: close integer audit contract gaps (cc89e33)
• benchmarks: close integer audit contract gaps (6972b3d)
• benchmarks: close remaining verifier coercion gaps (3ddae6a)
• benchmarks: close review contract gaps (9707cc5)
• benchmarks: decouple scope from contract, report limitation failures (444cffe)
• benchmarks: format before syncing verifier checksums in harbor-sync (a7d43ed)
• benchmarks: gate scope accuracy on submission contract (7d1f761)
• benchmarks: gate scope accuracy on submission contract (253fe9f)
• benchmarks: guard None submission and validate evidence types (0b5bf52)
• benchmarks: harden edge-pair ordering verifier (af2238f)
• benchmarks: harden extremal-subset-sum verifier (b1e9730)
• benchmarks: harden grid transfer verifier against OOM and assurance coupling (b43fe8e)
• benchmarks: harden Harbor verifiers (f5ad747)
• benchmarks: harden Harbor verifiers (6fb7bf2)
• benchmarks: harden image complement verifier against OOM and assurance coupling (06f5590)
• benchmarks: harden image complement verifier against OOM and assurance coupling (4d718a7)
• benchmarks: harden integer perturbation domain verifier (c73b5f5)
• benchmarks: harden inversion aggregate verifier (d904e14)
• benchmarks: harden lp-integrability verifier diagnostics and evidence bound (dd5a82f)
• benchmarks: harden Metamath verifier contract (5f1e55a)
• benchmarks: harden necklace-burnside verifier diagnostics (bc10026)
• benchmarks: harden permutation-inversion-involution verifier (591ecff)
• benchmarks: harden pythagorean verifier diagnostics and evidence bound (08ea8bc)
• benchmarks: harden radical-distance-triangle-certificate verifier (da99b8b)
• benchmarks: harden sine integral audit (47f279c)
• benchmarks: harden sine protocol diagnostics (c6839df)
• benchmarks: harden Steiner design verification (6031296)
• benchmarks: make Metamath oracle self-contained (5dda293)
• benchmarks: make verifier support task-owned (5af350e)
• benchmarks: normalize nested collections before comparison (43060a8)
• benchmarks: preserve observation trial statuses (eed6a40)
• benchmarks: preserve observation trial statuses (978602f)
• benchmarks: preserve scope assurance exceptions (11d1c1d)
• benchmarks: publish auxiliary congruence identities (cfa1950)
• benchmarks: reject non-integer trace values, decouple scope from assurance (e2ddbf3)
• benchmarks: remove forbidden 'jacobian' word from instruction (5d1b6c6)
• benchmarks: remove nonexistent evidence_schema.json from environment Dockerfile (f0f1fa0)
• benchmarks: remove Steiner evidence byte cap (8b908c0)
• benchmarks: restore integer audit Harbor contract (397c757)
• benchmarks: semantic validation, exact evidence types, COMPLETE-only (41bf5b9)
• benchmarks: separate sine audit diagnostics (22fe785)
• benchmarks: separate Steiner assurance diagnostics (1328468)
• **benchmark...

jacobian: v0.8.0

0.8.0 (2026-08-03)

Features

• benchmarks: add task-scoped Harbor gates (a68b43e)
• storage: remove retired workspace schema (8f6dc25)

Bug Fixes

• address lifecycle, Lean, and Harbor review findings (e254903)
• benchmark: accept positive denominator factors and bound evidence (11c7ac0)
• benchmark: accept semantic frozen API scope wording (981b4a4)
• benchmark: align continuant schema and refresh verifier checksum (ae58f2e)
• benchmark: allow independently checkable irreducibility certificates (c550df1)
• benchmark: bind convergence scope to Lebesgue semantics (84aab8a)
• benchmark: bind indexed evidence and bound duplicate inputs (3c5ad74)
• benchmark: bind infinite-spectrum evidence to all basis actions (70fe213)
• benchmark: build research-status evidence semantics from prose only (949bee5)
• benchmark: disclose result marker and catch nested JSON (13c1201)
• benchmark: fail closed on malformed symmetric submissions (cb637e2)
• benchmark: gate research-status-evidence-audit base reward on evidence, scope, and assurance (ed44019)
• benchmark: harden convergence scope and parsing (b5bf476)
• benchmark: harden projection scope and tail parsing (008a356)
• benchmark: harden research-status-evidence-audit verifier (b9937df)
• benchmark: make trigonometric derivation strategy agent-owned (6c6b87c)
• benchmark: refresh research-status verifier checksum (8127e61)
• benchmark: regenerate Harbor verifier checksum and dataset manifest for research-status-evidence-audit (71072a5)
• benchmark: reject boolean continuant proof lengths (7a6e21b)
• benchmark: reject negated symmetric scope claims (dc06808)
• benchmarks: align Harbor job schema and digest (104d94b)
• benchmarks: allow bounded agent networking without web search (b7108ef)
• benchmarks: bind adapter evidence to checked results (5afdb15)
• benchmarks: bind and bound research evidence (79d0e95)
• benchmarks: bind snapshot provenance and retire stale research names (e3ef4e9)
• benchmarks: complete research-status verifier review fixes (035cb21)
• benchmarks: fail closed on malformed assurance claims (faeacb3)
• benchmarks: fix import sorting in merged leaf tests and update complexity baseline (b62d286)
• benchmarks: fix import sorting in test_exact_farkas_ldl_slice leaf file (13a1c38)
• benchmarks: harden convergence evidence claims (b0c9c27)
• benchmarks: keep Jacobian observations offline (45c4ff9)
• benchmarks: match lowercased evidence term in inseparable-polynomial verifier (9c0e83c)
• benchmarks: refresh Harbor adapter digest (fe22e54)
• benchmarks: refresh stale symmetric divisibility verifier checksum (84710ff)
• benchmarks: require integral divisibility multipliers (fca3890)
• benchmarks: ruff format fixup (5b9fec2)
• benchmarks: sync vendored verifier support to canonical source (00044b2)
• benchmarks: update Farkas verifier checksum after ruff format (9151005)
• benchmarks: update gap count, fix lint, update complexity baseline (fd0dd0e)
• ci: accept valid irreducibility strategy (091631d)
• ci: close planner review gaps (ea187ab)
• ci: keep timing artifact failures out of test gates (5205fd9)
• ci: pass PATHS through temporary files (35dee17)
• ci: route test-changed through PATHS file (c935497)
• ci: sync symmetric verifier support (ac4d66d)
• ci: sync vendored Harbor verifier support (058ff8b)
• ci: sync vendored Harbor verifier support (357b90c)
• fail-closed JSON type checks for indexed pairwise vacuity verifier (29d96c4)
• harbor: make Codex evaluations proxy-aware (f8bd184)
• release: sync MCP package metadata versions (9b9d9d5)
• security: update cryptography lock entry (e0b9b75)
• storage: handle foreign keys during workspace removal (6d0cd7a)

Dependencies

• deps-dev: bump ruff from 0.16.0 to 0.16.1 (#379) (30e59f9)
• deps-dev: bump types-networkx (#381) (e5e31c5)
• deps: bump astral-sh/setup-uv from 8.3.2 to 9.0.0 (#383) (c61c7f2)
• deps: bump https://github.com/astral-sh/ruff-pre-commit (#378) (213b00b)

Documentation

• add Simplified Chinese README (#400) (94d02bc)
• benchmarks: publish research-status scope (203302e)
• simplify capability result guidance ([7b6e7cb](7b6e7cb...

jacobian: v0.7.0

0.7.0 (2026-08-01)

Features

• benchmarks: expand agent workflow suite to 26 tasks (#298) (3dc38cf)
• bootstrap agents from source checkouts (62e0837)
• bootstrap agents from source checkouts (4b4331d)
• evals: add Jacobian control treatment toggle (f0dd82b)
• lean: add axiom closure inspection (446a5d2)
• mcp: evaluate ResourceLink handoffs (2a3f6f7)
• npm: add explicit Python package upgrade command (2dabcc4)
• storage: add explicit state revision upgrade (f851035)

Bug Fixes

• benchmarks: accept equivalent Lefschetz witnesses (11aba34)
• benchmarks: align degree-sequence audit contracts (78a10cc)
• benchmarks: bind sharp-bound evidence to result (faca89e)
• benchmarks: clarify LCM evidence scope (f590f70)
• benchmarks: distinguish valuation lower bounds (ff44346)
• benchmarks: enforce generated-lemma witness bounds (2472849)
• benchmarks: enforce symbolic basis ordering (da60dd7)
• benchmarks: exercise transitive Lean closure (268bcd4)
• benchmarks: harden fourth-power scope audit (eb19ba9)
• benchmarks: harden Harbor planning and verification (949540d)
• benchmarks: harden local-density evidence contract (893aa87)
• benchmarks: publish asymptotic frame normalization (b48a649)
• benchmarks: reduce sharp-bound verifier complexity (98a5aab)
• benchmarks: reduce symbolic verifier complexity (bb407f4)
• benchmarks: remove prescribed elimination strategy (196316c)
• bind bootstrap environment identity (9af999b)
• bind bootstrap state and image identity (20330df)
• build: use available uv trixie image (3057357)
• ci: close benchmark validation gaps (6e4f31f)
• ci: handle Oracle and npm runtime environments (92a93c5)
• ci: run checks after pull request base edits (b1b501a)
• ci: run checks after pull request base edits (2e9577f)
• ci: separate Lean ownership from PR scheduling (b686c25)
• close bootstrap transaction edge cases (dd34daa)
• close source launcher identity gaps (b661065)
• evals: make Docker proxy configuration optional (afe691d)
• evals: make Docker proxy configuration optional (b65e1cb)
• harbor: allow model phase network dependencies (21fdade)
• harbor: allow single-task observation runs (fc66115)
• harbor: constrain observation to prepared tasks (4420d97)
• harbor: normalize result paths before evidence capture (81f0a94)
• harbor: preinstall codex in graph task image (1faa22a)
• harden source bootstrap preflight (2821e71)
• honor directory-only state ignores (21dce13)
• npm: launch npx wrapper without exec (0751650)
• observation: allow local auth proxy image override (dc9dd0b)
• observation: use localhost for egress sidecars (cae82bf)
• reject dirty source before Python discovery (1b73493)
• review: close trust-boundary findings (d1fbde8)
• runtime: preserve trust and persistence invariants (42cb53e)
• tests: follow canonical Harbor task paths (0b75057)
• version MCP registry metadata with releases (11e3c4c)

Documentation

• align 0.6 support status (7564200)
• align benchmark skills with canonical layout (5138006)
• evals: split reference and run guide (38c5db5)
• lrat: record Lean-only authority gate (b1f5bc3)
• skills: tighten benchmark evaluation gates (ba3dc7f)
• skills: update Harbor dataset workflow (cfb15f0)

jacobian: v0.6.0-alpha.0

0.6.0-alpha.0 (2026-07-30)

Features

• add license-aware conjecture ingestion (1858b49)
• benchmarks: add versioned math source catalog (5f80489)
• benchmarks: compile deterministic Harbor math tasks (732c926)
• benchmarks: replace legacy harness with Harbor regression dataset (e4e9b67)
• harbor: centralize verifier protocol support (57dedf2)
• materialize formal dataset rows (cd7f7e8)
• polynomial: add Keller and inverse obstruction verification (fdc331c)

Bug Fixes

• address Lean frontend review findings (19d5b95)
• benchmarks: accept bound verification records (5913175)
• benchmarks: accept verification metadata in math_contract (1176c4d)
• benchmarks: add unique LABELs to prevent BuildKit cross-task cache contamination (ca55f94)
• benchmarks: address review comments on assurance, scoring, and guidance (6cf26b6)
• benchmarks: bind generation to source provenance (dd5a183)
• benchmarks: bind remaining evaluation contracts (a33e353)
• benchmarks: close Harbor observation integrity gaps (9e419f5)
• benchmarks: close provenance and verifier gaps (361305a)
• benchmarks: close regression verifier gaps (437bac6)
• benchmarks: close remaining Harbor review gaps (9c84306)
• benchmarks: complete Harbor verification contracts (#226) (74173f9)
• benchmarks: fix Docker ENTRYPOINT conflict and job-level env resolution (3650f23)
• benchmarks: harden Harbor verifier records (9b1bff4)
• benchmarks: harden regression-v1 verification (5dd350a)
• benchmarks: harden review edge cases (4b12ea8)
• benchmarks: harden verifier and snapshot provenance (f7b8c2d)
• benchmarks: keep regression tasks tool-agnostic (b9ad03d)
• benchmarks: preserve correctness under false certification (3514b9c)
• benchmarks: preserve provider spike evidence (a1e7236)
• benchmarks: separate mathematical correctness from verification binding (7aa29c5)
• benchmarks: set maximum_assurance to VERIFIED where authorized checkers exist (56b023e)
• bind formal dataset derived provenance (c89ade3)
• capabilities: bound exact result materialization (30438fb)
• enforce conjecture ingestion policy invariants (bdba1a6)
• harden formal dataset materialization (2354077)
• harden Lean executable replay (b6da5fa)
• ingestion: canonicalize source provenance and text (33feba7)
• lean: align moved frontend assets and test seams (b02fdbb)
• mcp: add type: ignore for untyped MCP decorators (386ddf3)
• mcp: add type: ignore for untyped MCP decorators (ef1727d)
• mcp: measure discovery responses as rendered (2dd2f6c)
• mcp: validate raw workspace writes (3980f8d)
• mcp: validate the public invocation boundary (4c11df8)
• npm: refresh stale Python package before MCP startup (86dd077)
• polynomial: align inverse witness with negative claim (9b4289a)
• portfolio: skip bundles with unavailable dependencies (5629b10)
• preserve fail-closed runtime boundaries (68a3d20)
• preserve formal source semantics (3351dfb)
• protect policy-owned conjecture artifacts (d505c4f)
• record redacted conjecture episodes (ca2751f)
• revalidate Lean frontend identity (8d3e123)
• ruff fixes and type annotations for recovery helpers (8cfce62)
• ruff format and update C901 baseline after refactor (d3c6a5c)
• sat: advertise assignment artifact verification (805bb39)
• search: serialize starts against shutdown (1af5565)
• tests: repair stale _launch monkeypatch and sorted-parents assertions (1c19f1c)
• tooling: allow pinned Harbor CLI import (4044a30)
• tooling: pack npm package from its directory (a507871)
• update C901 complexity baseline after server.py refactor (2247aaf)

Documentation

• benchmarks: clarify math eval provenance and status (9aaac8d)
• benchmarks: explain math evaluation workflow (879101f)
• benchmarks: use guarded Jacobian runner (a65879b)
• define Harbor workflow observation boundary (6897390)
• explain domain-owned installation boundaries (da218fb)
• mcp: document artifact:// resource envelope format in operating guide (508aa0f)
• polynomial: document why spawn is required for inverse solver (2ebc5e1)
• remove shared capability registries ([8a383e4](https://github.com/morlut...

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)

jacobian: v0.5.0-alpha.0

0.5.0-alpha.0 (2026-07-29)

Features

• add one-command MCP deployment installer (c6121c7)
• add one-command MCP deployment installer (f960bcd)
• eval: harden Frontier evaluation transport (83006d0)
• eval: harden Frontier evaluation transport (c7b9efe)
• graph: independently verify diameter and radius (2826ea2)
• graph: verify diameter and radius independently (46a4bd0)
• graph: verify exact distance matrices (cbdee9b)
• integer: independently verify prime factorizations (4b02dc2)
• integer: verify prime factorizations independently (4d90c25)
• number-theory: decide powerful numbers (2fb1c0f)
• number-theory: decide powerful numbers (9881133)
• number-theory: verify powerful decisions (508dbd3)
• number-theory: verify powerful decisions (ee946ad)
• skills: orchestrate capability development (adb3a1b)
• skills: orchestrate capability development (7fb67c9)

Bug Fixes

• align CI callers with runtime ownership (d143d69)
• align MCP deployment and agent handoff (2213172)
• align MCP deployment and agent handoff (0fa8798)
• ci: close semantic lane review gaps (7007ece)
• ci: enforce semantic validation boundaries (585fc6e)
• ci: restore historical integration timing downloads (fc6f7f5)
• cli: make init output readable by default (3c3f788)
• combinatorics: bound large recurrence and series results (e167792)
• deploy: build release runtime at final path (#193) (d63c4ff)
• devex: align CLI onboarding and validation workflows (95f2141)
• dev: preserve transaction and platform safety (199ab26)
• encode the idempotence example (36e0fd6)
• migrate merged benchmark runtime callers (70d42ab)
• nauty: harden optional provider boundary (92e44d4)
• posets: validate ranks and bound recurrence artifacts (144d100)
• probability: bound convolution and decouple verification (85bee90)
• release: keep npm trusted publishing OIDC-only (c763724)
• release: make npm retries idempotent (43b6a56)
• release: remove disabled immutable release gate (723077d)
• release: run publishers from main workflow (04d11a5)
• release: tag prerelease npm publications (2bdaf5a)
• testing: resolve package initializer imports (377cc63)
• type matrix invocation examples (a1ab021)
• use a unit segment invocation example (3ffe406)

Performance Improvements

• ci: avoid unnecessary Lean validation work (d9cd246)
• cli: initialize the kernel only when commands need it (73b4c5d)
• kernel: reduce repeated schema registration work (c220830)
• runtime: make populated portfolio attachment write-free (faa0ceb)
• store: batch durable blob publication syncs (44aac8c)
• tests: group reference fixtures in the core lane (95e138b)
• topology: maintain homology bases incrementally (a28609f)

Documentation

• audit: refresh developer experience findings (124238a)
• capabilities: correct discovery handoff evidence (486d663)
• capabilities: freeze four-domain discovery gates (#198) (d2080f2)
• dev: clarify the local validation workflow (4144720)
• devex: align onboarding with validation lanes (6d4e12f)
• replace legacy kernel architecture references (3a185c4)
• update probability reproduction paths (b4bcb1d)

jacobian: v0.4.1-alpha.0

0.4.1-alpha.0 (2026-07-28)

Bug Fixes

• ci: stabilize release and integration shard gates (6893e3b)
• ci: stabilize release and integration shard gates (9bfe43a)