Publications

Research packages built for inspection

Three public preprint releases pair theorem statements with scope files, exact checks, reproduction guides, and explicit nonclaims. External specialist review is still pending. Their dedicated repositories contain curated first-party replay files; mixed-rights private archives remain excluded.

Canonical packages

Manuscript, evidence, and boundary in one place

All files below are audited public-release assets. External specialist review remains pending. The dedicated repositories and versioned GitHub Releases are live. No reuse license is granted where the accompanying license-status file says so, and mixed-rights private archives are excluded.

Finite groups · Graffiti3

Explicit Counterexample Families to Five Finite-Group Inequalities from Graffiti3

PUBLIC GITHUB PREPRINT RELEASE — EXTERNAL SPECIALIST REVIEW PENDING; NOT JOURNAL/ARXIV SUBMITTED

Contribution

Constructs exact infinite counterexample families for conjectures C20, C21, and C22 using unitriangular groups, and for C27 and C28 using dihedral groups. The package records explicit finite witnesses including U7(2), D64, and D50.

Scope boundary

The SmallGrp audit through order 256 is database- and version-scoped corroboration, not a proof or global classification. The package does not claim absolute novelty, historical priority, or external review.

The live dedicated repository contains the curated first-party replay files. Mixed-rights private archives are excluded, and no reuse license is granted.

Graffiti3 repository Graffiti3 preprint release Graffiti3 manuscript PDF Graffiti3 supplement PDF Graffiti3 reproduction guide Graffiti3 claim and scope Graffiti3 verification summary Graffiti3 AI-use disclosure Graffiti3 citation metadata Graffiti3 license status

Semiorders · planar zonotopes

Largest-Index Zonotope Bounds for Planar Projections of Semiorder Ideals

PUBLIC GITHUB PREPRINT RELEASE — EXTERNAL SPECIALIST REVIEW PENDING; NOT JOURNAL/ARXIV SUBMITTED

Contribution

For represented semiorders, partitions nonempty ideals by their largest selected index and embeds each fiber in a translated planar zonotope, deriving bounds for planar projections of their ideal hulls. Exact finite corroboration covers 318,667 cases, 3,978,057 ideals, and 2,311,018 projected points.

Scope boundary

The unrestricted parametric-closure question remains open. Finite computation corroborates but does not prove the theorem, no RR-ETI theorem bridge is claimed, bounded prior-art search does not establish novelty, and external review remains pending.

The live dedicated repository contains the curated first-party replay files. Mixed-rights private archives are excluded, and no reuse license is granted.

Semiorder repository Semiorder preprint release Semiorder manuscript PDF Semiorder supplement PDF Semiorder reproduction guide Semiorder claim and scope Semiorder verification summary Semiorder AI-use disclosure Semiorder citation metadata Semiorder license status

Graph theory · Erdős Problem #64

Excess-Degree Bounds for Minimal Counterexamples to the Erdős–Gyárfás Conjecture

PUBLIC GITHUB PREPRINT RELEASE — EXTERNAL SPECIALIST REVIEW PENDING; NOT JOURNAL/ARXIV SUBMITTED

Contribution

For a hypothetical lexicographically minimal counterexample, proves the lower bound |A| ≥ 2b + s + 4 and derives associated density and edge bounds. The proof is structural and theorem-only.

Scope boundary

The Erdős–Gyárfás conjecture remains open. The work does not prove existence or nonexistence of a counterexample, cubicity, or 3-connectivity. Two-port, multipole, and finite-SAT routes are excluded from the claim; finite computation is not the proof.

The live dedicated repository contains the curated first-party replay files. The mixed-rights private archive is excluded, and no reuse license is granted.

Erdős #64 paper repository Erdős #64 preprint release Erdős #64 manuscript PDF Erdős #64 supplement PDF Erdős #64 reproduction guide Erdős #64 claim and scope Erdős #64 verification summary Erdős #64 AI-use disclosure Erdős #64 citation metadata Erdős #64 license status

Release status

A GitHub preprint release is not peer review or submission

Each versioned package is publicly released on GitHub with a manuscript, appendix, scoped verification evidence, and public repository. None has been externally specialist reviewed, peer reviewed, accepted, journal published, or submitted to a journal or arXiv.