v0.1.0-candidate: four-element rowmotion obstruction

Release notes: v0.1.0-candidate

Version DOI: https://doi.org/10.5281/zenodo.22178666

This first public candidate release contains:

• a complete written proof that standard doubly boundary-normalized
  birational rowmotion has infinite order on a four-element d-complete poset;
• a separate strict-cell Jordan-block proof for order-polytope
  piecewise-linear rowmotion;
• exhaustive exact verification that no poset on at most three elements is a
  counterexample to either form;
• exact producer replay in Python, language-separated JavaScript
  corroboration, and five semantic mutation controls;
• the supplied full review, response matrix, source/novelty audits, and
  complete SHA-256 manifest.

The Hasse shape was already known, up to duality, and is also an asymmetric
two-segment fence. This release makes no historical-priority claim. It is an
anonymous, AI-assisted, unrefereed theorem candidate, not formal verification,
independent reconstruction, journal peer review, or journal acceptance.