Repository navigation

Integrate #2014 #2004 - #2021

Merged

trissim merged 14 commits into

mainfrom

integrate/batch-16

Oct 19, 2026

Merged

Integrate #2014 #2004 #2021
trissim merged 14 commits into
mainfrom
integrate/batch-16

Commits on Oct 19, 2026
- P689 let failed phases release the existing turn lease
  trissim
  committed
  246f9cf
- P689 type phase completion and diagnostic transitions
  trissim
  committed
  40db287
- P689 keep phase publication with its owner and remove forwarding
  trissim
  committed
  2b1592f
- Merge remote-tracking branch 'origin/main' into fix/p689-error-ends-turn
  trissim
  committed
  b936e1f
- P689 publish phase activity through the public owner method
  trissim
  committed
  c4d5c77
- Merge branch 'main' into fix/p689-error-ends-turn
  trissim
  authored
  186cd4e
- Close orders from merges contained in the installed checkout
  trissim
  committed
  dfbc382
- Derive the short merge label from its retained full SHA
  trissim
  committed
  4c97aaa
- Keep the merge reconciliation declarations lint-clean
  trissim
  committed
  9dcd1f3
- Observe installed merges on board and overdue reads, not on order writes
  trissim
  committed
  3d52404
- P266: close only checked orders and reuse their stored terminal merge
  trissim
  committed
  0adf40e
- Merge #2014
  trissim
  committed
  c686519
- Merge #2004
  trissim
  committed
  1b2edbe
- Budget the batch growth read in review
  trissim
  committed
  6011bed