{
  "title": "From a Failed Corner Slide to a Verified Tableau Injection",
  "author": "Christopher Yamba",
  "publicationDate": "2026-10-23",
  "status": "Author-published technical article; not externally peer reviewed",
  "scope": "Lean formalization of the established Cho–Huh height-two theorem; no claim to a new solution of an unsolved problem",
  "pages": 11,
  "file": "height-two-positivity.pdf",
  "bytes": 440686,
  "sha256": "5667d989303df2d82dd524b58f166bfd51cf799ab0a45f68366da6789c9cf546",
  "source": "https://github.com/cyamba/yamba-ai-math/blob/main/research/partitions/paper/main.tex",
  "leanTheorem": "https://github.com/cyamba/yamba-ai-math/blob/main/research/partitions/mathlib/PartitionH3/H3.lean"
}