jacobian-conjecture

Sovereign Quantum Computer — QATAAUM compiler (OpenQASM 2/3, 9-level IR, SABRE) + execution kernel (Fortran 2018, MLIR, ARM64 SVE2, AVX-512, PTX). Jordan Spectral Transformer. Lean 4 formally verified. Blake3+Ed25519 WORM. FSL-1.1.

Frozen verification package for the Alpöge–Fable counterexample to the Jacobian Conjecture in dimension 3 — six independent exact SymPy checks

Formal Resolution of the Two-Dimensional Jacobian Conjecture in Lean 4 via Graded Differential Operators.

A fork of the Lean 4 mathematics library

Certified companion to the Dixmier counterexample in A3 + explicit Poisson-conjecture witness (runnable exact-arithmetic certificate)

Research scaffold: Jacobian Conjecture counterexamples, Weyl-algebra endomorphisms, and phase-space / reversible quantum symmetry criteria (Quantyra).

Reproducible audit and structural study of the announced 3D Keller counterexample: collision geometry, inverse flows, escape laws, and maximal monodromy

AI agent (Fable 5) exploration of the Alpöge Jacobian Conjecture counterexample — 23 lab notes, ~130 scripts, complete seed-family atlas. Independent verification of core claims. No novelty claims — feedback and prior work references welcome.

Lean-certified audit of the 3D Jacobian counterexample and research toward JC(2)

An independent structural proof excluding the (72,108) case of the plane Jacobian Conjecture (GGHV, arXiv:2204.14178) — conditionally raising the counterexample degree bound from 108 to 125. Priority for the exclusion is B. Helali's (doi:10.5281/zenodo.21479814). Exact sympy checkers, spec-only auditors, Lean-certified core identity.

CC0 candidate manuscript on degree-difference identities and affine slices, with exact symbolic verification

SnapKitty Research Labs — Sovereign Quantum Computing · Formal Verification · AI Architecture · A division of The Shared Primordial Foundation · EIN 42-697643

An explicit C^4 counterexample to the Jacobian Conjecture via a normalized linear-times-cubic quartic factorization.

Reproducible research audit of the announced 3D Keller counterexample: exact verification, collision geometry, inverse flows, escape laws, and monodromy

Lean 4 Gate-0 certificates for the EXOTIC-CCR Jacobian counterexample anchor (Quantyra).

An evidence-labeled guide to the 2026 Jacobian-conjecture counterexample and the surviving plane problem

Polynomial Keller maps and certified transformations of them, including the Bass–Connell–Wright degree reduction.

CC0 unrefereed candidate sequel on exotic affine three-spheres and the quadratic-cubic obstruction, with exact symbolic and finite-field checks

Small, explicit, machine-checkable research results in exact arithmetic — SAE interpretability metrics and optimizer theory. Every claim ships a standalone verifier.