<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Aug 18, 2015 at 1:36 PM, Guido van Rossum <span dir="ltr"><<a href="mailto:guido@python.org" target="_blank">guido@python.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>How about this diagram?<br><br><span><div style="color:rgb(80,0,80);font-size:12.8000001907349px"><font face="monospace, monospace">    fold=True |</font><span><font face="monospace, monospace"> </font><span><span style="font-family:monospace,monospace">fold=False</span></span></span></div><div style="color:rgb(80,0,80);font-size:12.8000001907349px"><font face="monospace, monospace">          +---+</font><span><font face="monospace, monospace">-----------></font></span></div><div style="color:rgb(80,0,80);font-size:12.8000001907349px"><font face="monospace, monospace">           \  .</font><span><span style="font-family:monospace,monospace"></span></span></div><div style="color:rgb(80,0,80);font-size:12.8000001907349px"><font face="monospace, monospace">            \ .<br></font></div><div style="color:rgb(80,0,80);font-size:12.8000001907349px"><span style="font-family:monospace,monospace">fold=False   \. <br></span></div><div style="color:rgb(80,0,80);font-size:12.8000001907349px"><font face="monospace, monospace">------------->+</font></div><div style="color:rgb(80,0,80);font-size:12.8000001907349px"><font face="monospace, monospace"><br></font></div></span></div>That's how I think of what happens when you set the clock an hour back.</blockquote></div><br>This is a traditional way to visualize the end of DST (with the summer time at the bottom and the winter time at the top), but in the context of PEP 495, a slightly different picture is more appropriate.  After addition of the disambiguation flag, the set of local times doubles, so instead of one time line, you have two:</div><div class="gmail_extra"><br></div><div class="gmail_extra"><font face="monospace, monospace">fold=True  o o o o +---+ o o o o o ... o o o o o o o o o o o</font></div><div class="gmail_extra"><font face="monospace, monospace">                    .  .                       "Gap"</font></div><div class="gmail_extra"><font face="monospace, monospace">                     . . <- "Fold"               |</font></div><div class="gmail_extra"><font face="monospace, monospace">                      ..                         V</font></div><div class="gmail_extra"><span style="font-family:monospace,monospace">fold=False ----------->+---------- ... ------> o o o +------</span><br></div><div class="gmail_extra"><span style="font-family:monospace,monospace"><br></span></div><div class="gmail_extra">Valid times are represented as dashes ("-") on the diagram above and invalid as circles ("o").  Note that in this picture, the current "fold-unaware" timeline is just the bottom line (fold=False), while your picture suggests that fold=False set is somehow discontinuous at the fall-back point, but it is not in the fold-unaware world, and preserving this was one of my design goals for PEP 495.  <span style="font-family:monospace,monospace"><br></span></div></div>