# AI provenance - Residual-dimension obstructions for null-projected supersymmetric Yang-Mills theories

Human authors: Deep Bhattacharjee.
Submitting contributor: Deep Bhattacharjee, ORCID 0000-0003-0466-750X.

Text classification: A mix of human-written and AI-generated.
Human-understanding declaration: All parts of this contribution have been checked and understood by a human.
Basis: Explicit declaration by the user in this conversation on 25 October 2026. This is the submitting user's
declaration, not a claim that the assistant independently verified human understanding.

Claude Code assisted the original preparation. OpenAI Codex assisted proof auditing, the explicit helicity-span argument, the null-current lemma, scope corrections and editing. Explicit gamma-matrix programs supply supplementary numerical checks.

Documented tools: Anthropic Claude / Claude Code; OpenAI Codex; Python; LaTeX / pdfLaTeX / TikZ. Exact historical model versions
are not inferred from tool names. The preprint's provenance and manuscript
disclosure remain the primary account of those historical contributions.

Verification scope: No general Lean formalisation is claimed. The proof is written in the manuscript; the gamma-matrix calculations are supplementary finite numerical checks.

The author retains responsibility for the final mathematics, citations and
approval of the manuscript. AI systems are not added as human contributors.
The package creation step prepared source archives, submission metadata,
unsent cover letters and author-prepared AI declarations; it did not submit
the manuscript to a journal or Hexagon. Source files and figures retain their
attribution. No private prompts, unpublished chat history or hidden reasoning
traces are included or represented as an exported transcript.

Earlier preprint: https://hexagonmath.org/2610.00471v1
Research manuscript/source DOI: https://doi.org/10.5281/zenodo.23611588
Repository: https://github.com/creelie/Paper_4