Repository navigation
Sibling resource-algebra at HEAD breaks the K-CUT correspondence names #55
Description
Weekly check (https://github.com/hyperpolymath/marches/actions/runs/41406053103): docs/kcut-correspondence.adoc (and, for tropical-types, lake build) against hyperpolymath/resource-algebra HEAD ea6e13566bef4a35232642f489418ed464778b27 (pinned: e9482657aa791678e1d99996a18fb3e126e0d3c2). The pin stays put.
choreographic-types at f5a4177
resource-algebra at ea6e135
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. resource-algebra 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 resource-algebra HEADe25d35dprintsPASS: 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