From 6d0a0eef7eb7c8996a3e750226187e1bf6917f92 Mon Sep 17 00:00:00 2001
From: David Ozog <david.m.ozog@intel.com>
Date: Fri, 1 Nov 2024 13:03:34 -0400
Subject: [PATCH] backmatter: add team wraparound to undefined list

---
 content/backmatter.tex | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/content/backmatter.tex b/content/backmatter.tex
index 8ce3956b..d64b1b91 100644
--- a/content/backmatter.tex
+++ b/content/backmatter.tex
@@ -190,6 +190,20 @@ \chapter{Undefined Behavior in OpenSHMEM}\label{sec:undefined}
 with the \LibConstRef{SHMEM\_CTX\_PRIVATE} option enabled; otherwise, the
 behavior is undefined.\tabularnewline
 \hline
+Creating a team that implies a wrap-around sequence &
+If the triplet provided to \FUNC{shmem\_team\_split\_strided} implies a
+wrap-around sequence, the input is considered invalid and the behavior is
+undefined.
+In other words, when $stride$ is nonzero, a newly created team must only
+include \acp{PE} whose subsequent parent \ac{PE} values are either all
+increasing (for positive $stride$) or all decreasing (for negative
+$stride$).
+That is, \textit{wrap-around} with respect to the parent team's \ac{PE} values
+is not permitted.
+For example, the list of \acp{PE} in the parent team should not start at a high
+number and then continue to include \acp{PE} in the lower end of the parent
+team's \ac{PE} range. \tabularnewline
+\hline
 \end{longtable}