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)
• skills: add Jacobian Harbor benchmark workflow (d0c9b93)