Skip to content

docs: 26 DEEPEST problems are published -- author and source added, 16 unpublished siblings - #31

Merged
osick merged 1 commit into
mainfrom
docs/deepest-published
Sep 13, 2026
Merged

osick merged 1 commit into
mainfrom
docs/deepest-published

Conversation

@osick

@osick osick commented Sep 13, 2026

Copy link
Copy Markdown
Owner

Summary

The published-helpmates database now holds 23,807 problems (h#2 to h#13). Cross-checked with tools/published_problems.py:

  • 26 of the 234 showcase positions are published (under mirroring): Sheglow ×11, Elkies, Bán, Maslar, Kotesovec, Paliulionis, Abdurahmanović/Becker, Szentai, Locker, Salazar López, Bebesi, Császár, Niemann. Each now carries author, source, the database's stipulation and id in DEEPEST.json, DEEPEST.md (a Published line on the card), DEEPEST.tex and the committed PDF.
  • 16 unpublished siblings. For 16 of those entries the tablebase supplied another position of the same material and depth with a unique solution that is not in the database under any mirroring, rendered as card No. N b with its own diagram, solution and themes. For the other 10, every unique position at that depth is itself published (or the entry).
  • Parser: the file is Latin-1 with TeX umlaut shorthands (Jen"o, Teht"av"aniekat), now decoded.

Test plan

  • tests/repo: published_problems (7) and deepest_render (86) pass; document-level counts include the siblings; the real-database test asserts the JSON annotation agrees with the file
  • make docs-deepest && make booklet: regenerated, PDF page with No. 32 / No. 32b checked visually
  • make lint clean

🤖 Generated with Claude Code

https://claude.ai/code/session_01DFQB6YogM3gaauunTfMuxW

…6 unpublished siblings

Against the full database (23,807 published helpmates, h#2..h#13, Latin-1
with TeX umlaut shorthands, now decoded), tools/published_problems.py finds
26 of the 234 showcase positions under mirroring: Sheglow (11), Elkies,
Ban, Maslar, Kotesovec, Paliulionis, Abdurahmanovic/Becker, Szentai, Locker,
Salazar Lopez, Bebesi, Csaszar, Niemann. Each carries its publication in
DEEPEST.json/.md/.tex/.pdf; for 16 of them the tablebase supplied an
unpublished position of the same material and depth with a unique solution,
rendered as card "No. N b" with its own diagram, solution and themes. For
the other 10 every unique position at that depth is itself published.

Tests: umlaut decoding; the document-level counts now include siblings; the
no-op test starts from an unannotated showcase; the real-database test
checks that the JSON annotation agrees with the file.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01DFQB6YogM3gaauunTfMuxW
@osick
osick merged commit 3bd0692 into main Sep 13, 2026
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant