[Cs5500] [Cs4800] New Valid Function - Re: Playgrounds HSR and MMG under attack

[Dennis Zografos]

Hi,

Some questions/concerns about this:

The original valid() was both too restrictive and too permissive.

Yours is too permissive, in a new way.

hsr(0,*) is not a valid instance.  Its solution is not h0 as your 
tests claim.  Its solution does not exist.  A safest rung can not 
be determined when there are no rungs.  Quality is also 
definitionally undefined for n=0; it looks like you've hacked the 
quality function to define it.