Skip to content

jacobian: v0.9.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 06 Aug 13:05
jacobian-v0.9.0
36e2909
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

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)
  • benchmarks: separate Steiner diagnostics (d8b29d4)
  • benchmarks: stream monotone audit evidence safely (#502) (9aa7822)
  • benchmarks: validate construction formulas and bound recursion (68c03b3)
  • benchmarks: validate held-out evidence run entries (d428f26)
  • benchmarks: validate held-out evidence runs (823e13c)
  • benchmarks: validate Lean trace completion evidence (9a4b79f)
  • benchmarks: validate result shape and preserve diagnostics on input tamper (3b1fffe)
  • benchmarks: validate result shape and preserve diagnostics on input tamper (068a563)
  • ci: focus benchmark host validation (a9a0562)
  • ci: forward pytest arguments through topology runner (e286366)
  • ci: let explicit xdist args suppress lane worker pool (70ce3e4)
  • ci: remove redundant local validation work (#512) (3939c0f)
  • close execution and benchmark review gaps (318d302)
  • close review and CI boundary gaps (8e3bf70)
  • devex: diagnose incompatible Jacobian state in doctor (937df38)
  • harbor: bound sine evidence digest (7a2c744)
  • harbor: bound Steiner evidence digest (a0dd2bb)
  • harbor: harden sine audit protocol validation (93def71)
  • harbor: separate Steiner protocol diagnostics (2a0b7ee)
  • harbor: stream Steiner evidence without hidden cap (13ec89c)
  • keep bounded-variation diagnostics independent (43f859a)
  • keep README-only task edits out of Oracle selection (d4f653f)
  • mcp: address post-merge reasoning-log review threads (fb4f9a6)
  • mcp: address post-merge reasoning-log review threads (acf0bd1)
  • mcp: address reasoning-log review threads (5a91310)
  • mcp: harden required reasoning logs (888f455)
  • oracle: align evidence explanation with verifier keyword check (4fc0be3)
  • process: avoid checkpoint lock join deadlock (3f54f09)
  • process: close pipes on post-start failure, fix stderr overflow detection (#562) (9cc7e9a)
  • process: detect prlimit portably (bd17aff)
  • process: preserve stderr overflow detection (7fd976e)
  • verifier: accept schema-allowed completeness in structural diagnostics (8be1b05)
  • verifier: address image complement review threads (14ba1bf)
  • verifier: address necklace Burnside certificate review threads (302587c)
  • verifier: address pythagorean generator recurrence review threads (aac064c)
  • verifier: bind image complement evidence (4db87e7)
  • verifier: bound workspace input, enforce 16 MiB evidence, decouple scope (f49a926)
  • verifier: classify nested schema violations as protocol, emit input_binding (4711b9d)
  • verifier: decouple diagnostics from assurance and reject typed evidence (ca54359)
  • verifier: decouple evidence and scope diagnostics from assurance (31ba11c)
  • verifier: document digest rule, separate abstentions, remove task_id from instruction (07a7ff7)
  • verifier: emit protocol_compliance, decouple evidence from correctness (5c8469a)
  • verifier: gate fallback reward on protocol, bound evidence files (3d3d417)
  • verifier: preserve bounded variation syntax (e7b60ce)
  • verifiers: reject malformed evidence and claims (2148c7b)
  • verifiers: reject malformed evidence and claims (bae0cc1)
  • verifiers: reject malformed evidence and claims (8d56124)
  • verifiers: reject malformed evidence and claims (56c5683)
  • verifiers: reject malformed evidence and claims (9592626)
  • verifiers: reject malformed evidence and claims (85ff351)
  • verifiers: reject malformed evidence and claims (51df9fd)
  • verifier: type-sensitive evidence comparison and independent scope diagnostic (8cb9bd2)
  • verifier: validate replay evidence semantics (12be8ac)
  • verifier: validate representative types, enforce result constraints, refresh checksum (f0f7ddf)
  • verifier: validate row types and refresh checksum (aa72e04)

Dependencies

  • deps-dev: bump hypothesis from 6.161.6 to 6.164.0 (#382) (b84a135)

Documentation

  • benchmarks: correct migration references (e3a7e9c)
  • clarify agent-owned mathematical research (ef00a30)
  • clarify execution and evaluation boundaries (450e313)
  • harbor: document task-local verifier support (c3e5d2c)
  • restructure documentation by Diátaxis with domain-owned subdirs (3ae8651)
  • skill: name input_binding as a diagnostic dimension, make checksum refresh mandatory (ae64aae)
  • skill: refresh benchmark dataset guidance (455a51b)
  • skills: capture verifier evaluation lessons (245920d)
  • verifiers: codify adversarial contract lessons (a65bb4a)
Assets 2
Loading