Final Internal Certificate Proof Packet for a Singmaster-Type Binomial Equation
This document presents an internal certificate-ledger proof packet for the Singmaster-type binomial equation (A4)=(C6). The packet records a structured certificate chain for the claimed solution set (A,C)=(4,6) and (10,10), including a pinned native branch closure, a global reduction certificate, dependency checks, certificate hashes, and an explicit boundary section. The document states that the result is an internal certificate-ledger conclusion and does not replace peer review, independent replication, or proof-assistant formalization. The packet includes the pinned branch form C=191a197bS, with S∈{1,2,5,6,10,15}, and records the final internal theorem status as “QED internal certificate ledger.”
Authors
- Matthew Hall (ORCID: https://orcid.org/0009-0001-7066-2558)
Publication Details
- Journal
- Zenodo (CERN European Organization for Nuclear Research)
- Published
- 2026-06-30
- DOI
- https://doi.org/10.5281/zenodo.21057360
- Primary Topic
- Polynomial and algebraic computation
- Type
- preprint