Repository navigation

feat(pointer): make a final state final, so ownership can be handed over - #40

Merged

jacderida merged 5 commits into

mainfrom

feat/pointer-ownership-transfer

Oct 15, 2026

Merged

feat(pointer): make a final state final, so ownership can be handed over#40
jacderida merged 5 commits into
mainfrom
feat/pointer-ownership-transfer

Commits on Oct 13, 2026
- feat(pointer): make a final state final, so ownership can be handed over
  
  grumbach
  authored and
  jacderida
  committed
  d8b931c
- docs(pointer): say what final redirection does not stop
  
  grumbach
  authored and
  jacderida
  committed
  90af30f
- docs(pointer): say a final state is permanent where it is held, not everywhere
  
  grumbach
  authored and
  jacderida
  committed
  7a44325
- docs(pointer): a transfer redirects readers where it is held, and forks for good only at the end
  
  grumbach
  authored and
  jacderida
  committed
  7563b34
- docs(pointer): name the published rule a final state replaces
  
  grumbach
  authored and
  jacderida
  committed
  718f606