Repository navigation
Sibling choreographic-types at HEAD breaks the K-CUT correspondence names #54
Description
Weekly check (https://github.com/hyperpolymath/marches/actions/runs/41406053103): docs/kcut-correspondence.adoc (and, for tropical-types, lake build) against hyperpolymath/choreographic-types HEAD 8751c7d192d52e79dd285be3fdd095f96bdc5fe4 (pinned: f5a41772c2ca2345bd53579b73f064f4a3ab7ed7). The pin stays put.
choreographic-types at 8751c7d
resource-algebra at e948265
fatal: unable to read tree (226c9e191e0ab966f094a6394f0958cdc28254e0)
Activity
chore(siblings): re-pin tropical-types to the #65 merge commit; close…
hyperpolymath commentedon Nov 9, 2026
False alarm, now fixed. choreographic-types never broke a name. The 2026-11-02 check died fetching tropical-types: marches was pinned to
226c9e1, the head of a since-deleted PR branch, which a fresh clone cannot fetch (fatal: unable to read tree (226c9e1…), as shown in this issue's own log).#57 re-pinned tropical-types to
168f09d, the merge commit of hyperpolymath/tropical-types#65. With that pin,scripts/check-correspondence.shrun against choreographic-types HEAD8751c7dprintsPASS: 28 Lean names and 22 sibling names exist at the pins; both negative controls refused. The weekly sibling bot will re-pin it on its next run that can open a PR.Closing as not planned.
Generated by Claude Code