Test BASIC01 fail since v2023.1 for subzones

[andreasschulze]

The test https://zonemaster.net/en/result/524c509a179dc63d showes unexpected failures

I setup a zone zm1.andreasschulze.de

in andreasschulze.dethere are 2 delegations:

zm1.andreasschulze.de.  3600    IN      NS      dahlem.somaf.de.
zm1.andreasschulze.de.  3600    IN      NS      dallas.signing-milter.org.

also there is a separate zone zm1.andreasschulze.de. with this content:

zm1.andreasschulze.de.  3600    IN      SOA     dahlem.somaf.de. hostmaster-soa.somaf.de. 2307011639 43200 7200 2419200 3600
zm1.andreasschulze.de.  3600    IN      NS      dahlem.somaf.de.
zm1.andreasschulze.de.  3600    IN      NS      dallas.signing-milter.org.
zm1.andreasschulze.de.  3600    IN      TXT     "zm1.andreasschulze.de."

This work fine: https://zonemaster.net/en/result/875902c973b1f4a2

Now I added a subzone zm2.zm1.andreasschulze.de.

I added the delegation in zm1.andreasschulze.de.

zm2.zm1.andreasschulze.de.      3600    IN      NS      dahlem.somaf.de.
zm2.zm1.andreasschulze.de.      3600    IN      NS      dallas.signing-milter.org.

And created the subzone with this content:

zm2.zm1.andreasschulze.de.      3600    IN      SOA     dahlem.somaf.de. hostmaster-soa.somaf.de. 2307011640 43200 7200 2419200 3600
zm2.zm1.andreasschulze.de.      3600    IN      NS      dahlem.somaf.de.
zm2.zm1.andreasschulze.de.      3600    IN      NS      dallas.signing-milter.org.
zm2.zm1.andreasschulze.de.      3600    IN      TXT     "zm2.zm1.andreasschulze.de."

so far, I don't see something wrong...
but zonemaster.net show errors: https://zonemaster.net/en/result/524c509a179dc63d

That happen also for zones I created months ago and that where tested well at that time. Now, these zones are also shown as broken since the new release.

[matsduf]

@andreasschulze, thank you for reporting this.

I have confirmed that there is a bug in the implementation of BASIC01. The BASIC01 specification is quite complex, and what triggers the bug is the fact that all name servers of zm2.zm1.andreasschulze.de are also name servers of its parent zone, zm1.andreasschulze.de. That means that Zonemaster will never see the delegation in the parent zone. It should however not output B01_NO_CHILD, because it can see that the child exists. In this case I do not think that B01_PARENT_UNDETERMINED should be outputted.

As I can see it, it is only a problem in the implementation, so I will move this issue to repository of the implementation.

[matsduf]

Resolved by #1249