v0.3.0-candidate — deletion interlacing through five

Anonymous, AI-assisted, unrefereed computer-assisted finite theorem candidate for strictly positive alphabets of size at most five. The all-degree Fisk conjecture and zero-boundary cases remain open. Public replay passed in GitHub Actions run 33522388763. Candidate archive SHA-256: 477118af1798d25dc0c8d0be264c5a8f8703852ccc1ed117a2e4d5a2a3e4e078. Archival DOI: https://doi.org/10.5281/zenodo.22233444. The DOI record and this release distribute identical archive, PDF and SHA256SUMS bytes. See final-confirmation.md and PUBLICATION_PREFLIGHT.md in the tagged source.