Repository navigation

FreeSemigroup: migrate plain nonempty pair carriers - #10916

Merged

briansrls merged 7 commits into

mainfrom

session/bold-lynx-189-freesemigroup

Sep 10, 2026

Merged

FreeSemigroup: migrate plain nonempty pair carriers#10916
briansrls merged 7 commits into
mainfrom
session/bold-lynx-189-freesemigroup

Commits on Sep 10, 2026
- Migrate plain nonempty {head,tail}/{first,rest} carriers onto FreeSemigroup.
  
  Brian Searls
  and
  cursoragent
  committed
  af43bcc
- Retract census comments this FreeSemigroup cutover made false.
  Brian Searls
  committed
  8fddc2e
- Install the stage0 source_annotation mirror onto FreeSemigroup.
  Brian Searls
  committed
  434337e
- Name a dissolve trigger for NonEmptyDiagnostics instead of reclassifying it.
  Brian Searls
  committed
  e008201
- Delete the dual FreeSemigroup leave-behind censuses.
  Brian Searls
  committed
  6d3aafc
- Retarget assemble-chain dissolve triggers onto the unbuilt cutover.
  Brian Searls
  committed
  0332dcc
- Name the omitted assemble-detail mint and drop the deleted type from the plan.
  Brian Searls
  committed
  c8505be