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)
• skills: add verifier evaluation guidance (7508f5a)
• skills: clarify agent-facing eval contracts (be9c9cc)
• streamline focused validation guidance (afff87b)
• workflow: remove mandatory capability development path (3aea2dc)