Skip to content

chore(main): release jacobian 0.12.0 - #1186

Merged
morluto merged 6 commits into
mainfrom
release-please--branches--main--components--jacobian
Aug 13, 2026
Merged

chore(main): release jacobian 0.12.0#1186
morluto merged 6 commits into
mainfrom
release-please--branches--main--components--jacobian

Conversation

@github-actions

@github-actions github-actions Bot commented Aug 11, 2026

Copy link
Copy Markdown
Contributor

🤖 I have created a release beep boop

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)

This PR was generated with Release Please. See documentation.

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: f62f200f5b

ℹ️ About Codex in GitHub

Codex has been enabled to automatically review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

When you sign up for Codex through ChatGPT, Codex can also answer questions or update the PR, like "@codex address that feedback".

Comment thread npm/package.json Outdated
@github-actions
github-actions Bot force-pushed the release-please--branches--main--components--jacobian branch from 2bc3dac to 3e1f1db Compare August 11, 2026 14:00

@morluto morluto left a comment

Copy link
Copy Markdown
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Post-cutover architecture audit

Disposition: close and regenerate; do not rebase this generated release PR.

This release candidate describes the pre-cutover 0.11.1 tree, including a managed-Skill fix for a surface deleted by #1252. #1252 and #1256 are breaking, net-deleting architecture changes and require a fresh version/changelog/lockfile snapshot from current main.

Because this is Release Please output, manual conflict resolution would also leave generated state with the wrong historical boundary. Close it and let the release workflow create a new post-cutover candidate after the retained PRs are settled.

@github-actions github-actions Bot changed the title chore(main): release jacobian 0.11.1 chore(main): release jacobian 0.12.0 Aug 12, 2026
@github-actions
github-actions Bot force-pushed the release-please--branches--main--components--jacobian branch from 0fac2b4 to 6cd9bff Compare August 12, 2026 12:42

morluto commented Aug 12, 2026

Copy link
Copy Markdown
Owner

Post-#1265 review: update/regenerate; do not treat this generated release PR as architecturally current yet.

The release state was assembled before the latest tool/runtime simplifications completed. In particular, #1265 split local jacobian-mcp from remote jacobian-remote-mcp, changed operation/checker ownership, and removed additional stale product concepts after this release branch was cut.

Recommendation: let release-please regenerate/rebase this PR from the final intended mainline rather than manually resolving generated changelog/lockfile conflicts. Then rerun the packaging/wheel/install/deployment checks, with special attention to both MCP entry points and the updated base Python backend set.

Merge this last in the sequence, after the product PRs you actually want in the release are settled.

@github-actions
github-actions Bot force-pushed the release-please--branches--main--components--jacobian branch 2 times, most recently from 2228ced to 8943e5e Compare August 12, 2026 14:15

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 201398f590

ℹ️ About Codex in GitHub

Codex has been enabled to automatically review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

When you sign up for Codex through ChatGPT, Codex can also answer questions or update the PR, like "@codex address that feedback".

Comment thread pyproject.toml

morluto commented Aug 12, 2026

Copy link
Copy Markdown
Owner

Release PR is current; workflow approval is the only blocker

Release Please has refreshed this branch through the latest merged fixes, including #934, #1244, #1247, #1203, and #1198. The PR is mergeable and remains the authoritative synchronized version/changelog update.

Its associated CI, Benchmarks, and Container workflows report action_required, not test failures. That is a GitHub workflow-approval gate for the bot-authored release branch. Do not manually rebase or edit the generated release surfaces; approve/run the workflows and let Release Please continue owning the branch.

Disposition: retain; operational approval required before release landing.

@github-actions
github-actions Bot force-pushed the release-please--branches--main--components--jacobian branch from 201398f to 90866c4 Compare August 12, 2026 16:36

morluto commented Aug 12, 2026

Copy link
Copy Markdown
Owner

Release hold

Keep this release PR open but do not merge it yet. Release Please has correctly regenerated it through current main (including #1272/#1251), and it should continue updating after the pending product ports and #1268 land. Merge this PR only after the product queue is green so the changelog, package versions, and lockfiles describe one authoritative final tree.

@github-actions
github-actions Bot force-pushed the release-please--branches--main--components--jacobian branch 4 times, most recently from 784cb82 to 47c500a Compare August 13, 2026 18:05
@github-actions
github-actions Bot force-pushed the release-please--branches--main--components--jacobian branch from 3b61210 to 023585b Compare August 13, 2026 19:56

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 1fcf9a52a8

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread CHANGELOG.md

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 4c0123d703

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread CHANGELOG.md
* tighten domain diagnostics and Gaussian inputs ([6c269fe](https://github.com/morluto/jacobian/commit/6c269fee7c2550d07ac5ae7bab5122dac55e58d9))


### Bug Fixes

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P2 Badge Add the bundled runtime fix to the release notes

Fresh evidence beyond the earlier omitted-feature report is that this target now also adds _validate_strict_json_model and routes both request and result validation through it in capability_adapters.py and capability_dispatch.py, but the 0.12.0 Bug Fixes section has no corresponding entry. Tagging this tree will therefore publish the tuple-shaped JSON validation change without documenting it; regenerate the notes after including that fix.

Useful? React with 👍 / 👎.

@morluto
morluto merged commit 6364b16 into main Aug 13, 2026
29 checks passed
@morluto
morluto deleted the release-please--branches--main--components--jacobian branch August 13, 2026 20:48
@github-actions

Copy link
Copy Markdown
Contributor Author

🤖 Created releases:

🌻

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant