Skip to content

jacobian: v0.12.0

Latest
Latest

Choose a tag to compare

View all tags
@github-actions github-actions released this 13 Aug 21:23
jacobian-v0.12.0
6364b16
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

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) (da49edc)
  • make Lean deployments portable and service-readable (a1f7373)
  • match the pinned REPL pickle response (58c5deb)
  • matrix: publish the certified Smith input bound (#1271) (236df59)
  • mcp: consolidate local routing and status-first guidance (#1269) (9fb1412)
  • polynomials: preserve discriminant domains (ea5d8f7)
  • polynomials: preserve monic factor content (9618959)
  • polynomials: reject non-rational Groebner inputs (82ac501)
  • preserve named Lean checker diagnostics (28bccf0)
  • preserve portable Lean runtime paths (2f39844)
  • probe Lean before Mathlib compilation (ae27ef1)
  • providers: validate the complete backend stack (ece7469)
  • reclaim bounded value references by recency (551899c)
  • release: synchronize npm lockfile to 0.11.0 (bd272f9)
  • reuse the pinned Lean toolchain on redeploy (d67597c)
  • run Lean frontends from immutable releases (d5a0a26)
  • separate Lean setup diagnostics (f4866a9)
  • skills: align math.run payload envelope (#1206) (5265758)
  • tests: add init.py to directories with duplicate test basenames (0ecd977)
  • update operational clients for simplified discovery (84f51a6)
  • validate root-owned Lean package checkouts (7c02433)
  • validation: bound public rejected-input diagnostics (#1242) (9482a9d)
  • verification: bind inline records to exact values (3f282e9)

Performance Improvements

Dependencies

Documentation

  • add architecture budgets to pull requests (5a62920)
  • clarify mathematical validation diagnostics (5e45a93)
  • clarify mathematical value layering (f491a3f)
  • define request-local reference lifetime (14f49da)
  • define the atomic mathematics product (272744d)
  • describe verification by record identity (c114896)
  • document the finite-field native API (5f340b8)
  • freeze the minimal composition port contract (9a7bd57)
  • math: clarify semantic backend boundaries (9e93c8a)
  • narrow discovery to implemented applicability (53d5007)
  • providers: define mandatory but lazy backends (e571737)
  • topology: add runnable invocation examples (#1251) (2b1c961)
Assets 2
Loading