[CSS21] Nested floats and zero-height margin box

Hello,

I am working on the following tests:

http://www.gtalbot.org/BrowserBugsSection/css21testsuite/float-non-replaced-width-013.html

http://www.gtalbot.org/BrowserBugsSection/css21testsuite/float-non-replaced-width-014.html

http://www.gtalbot.org/BrowserBugsSection/css21testsuite/float-non-replaced-width-015.html

http://www.gtalbot.org/BrowserBugsSection/css21testsuite/float-non-replaced-width-016.html

1- Are those tests correct? If no, please explain a bit, preferably by
quoting the relevant chunks of the spec.

2- I have been trying to find the relevant excerpts of the spec to inspire
an meta assert text and could not. I think this kind of nested floats code
situation/scenario has never been anticipated by the spec writers.


Credits note:
The original test which lead me to write these 4 tests is
http://jhop.me/tests/bugs/ie8/emptyfloatcomputedheight.html
http://jhop.me/ie8-bugs#emptyfloatcomputedheight
which originates from
http://css.tests.free.fr/en/exemple27.php

regards, Gérard
-- 
CSS 2.1 Test suite RC6, March 23rd 2011
http://test.csswg.org/suites/css2.1/20110323/html4/toc.html

Contributions to CSS 2.1 test suite
http://www.gtalbot.org/BrowserBugsSection/css21testsuite/

Web authors' contributions to CSS 2.1 test suite
http://www.gtalbot.org/BrowserBugsSection/css21testsuite/web-authors-contributions-css21-testsuite.html