# Source metadata

## Manuscript

Jens Lehmann, *An Explicit Surjectivity Threshold for Digit Sums of
Primes*, arXiv:2606.04677v1, submitted 2026-06-03.

```text
source/lehmann-2606.04677v1-source.tar
  ec4ef162ab852eb77fdeb42188a916c46f4e663f9b78362668783bebbe27b3b6
source/lehmann-2606.04677v1.pdf
  2a0d5b3f886658a66f004049b65e55fa6fa5e17ede3ef6156d8bef3908e2e2ae
source/lehmann-2606.04677v1/main.tex
  00d29add9944bf97233f1b160c1a2a33091ece08fbca92472eefc50c1fe783ae
```

The arXiv HTML names release tag `v1.0-mcom-submission` and commit
`9f9903a862b83ad3b1c2fbb961af1ecf7857d214`.

## Accompanying code

Repository:

```text
https://github.com/JensLehmann/Prime-Digit-Sums.git
```

Pinned state:

```text
tag:
  v1.0-mcom-submission
commit:
  9f9903a862b83ad3b1c2fbb961af1ecf7857d214
commit date:
  2026-06-02T11:23:01+02:00
subject:
  Add theorem certificate reproducibility guide
```

The deterministic archive made with `git archive` is:

```text
source/Prime-Digit-Sums-v1.0-mcom-submission.tar
  fffbe0218b0eaed7c0d8e92f78f71609178c22b474dbcf6a3d24a039c57cb5d1
```

Load-bearing extracted files are:

```text
source/Prime-Digit-Sums/prime_digit_sums_constraint_checker_with_search.py
  b4b5f6285efe47d2260736082a8c232fb31c96e3b5c4e9b0b4a85b110be94559
source/Prime-Digit-Sums/certify_theorem.py
  661c39aaadfd1a4c6e83adc108141972eb6ef43c01e35e284d02b109bed78d72
source/Prime-Digit-Sums/m_value.py
  1fd32ff92bf7281343eec2c1d5d77c3b221c001c185f0f66767836cbd932bbe5
source/Prime-Digit-Sums/certificates/theorem_certificate.json
  0503baf27cbfac51b823178183b5700aac10c7af8ef85082e4ba34f9712ebe09
```

The primary verifier checks these hashes and semantic anchors before
evaluating any inequality.
