Skip to content

Releases: ipitchford/bordered-jacobian-foundations

Release list

v0.3-candidate — bordered Jacobian foundations

v0.3-candidate — bordered Jacobian foundations Pre-release
Pre-release

Choose a tag to compare

View all tags
@ipitchford ipitchford released this 08 Aug 22:04
v0.3-candidate
217f17d

Unrefereed candidate release

This release presents a candidate proof of the integral bordered-Jacobian
identity for binary-form multiplication, with exact sign conventions and
consequences for the degree-difference identity, characteristic-p etaleness,
pullback obstructions and the equal-degree case.

Evidence supplied:

  • a 12-page TeX/PDF manuscript;
  • exact SymPy and FLINT checks, including 93 deep-tier checks;
  • five deliberate negative controls;
  • producer-side replay receipts and a pinned Python environment;
  • claim, provenance, citation, novelty and assurance records;
  • machine-readable CLAIMS.json and AI_INDEX.md.

Status: unrefereed candidate. Producer-side replay has passed. The all-degree
statement rests on the manuscript proof. Independent reproduction, complete
formal verification, editorial peer review and an absolute novelty or priority
determination have not occurred.

Original non-code content is dedicated under CC0 1.0; original code is MIT.

Loading