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)