Hi found out the issue I had in the end.
Needed to put require_once( get_stylesheet_directory() . '/library/structure/header-extensions.php' );
into the child’s function.php file to activate the child theme’s header-extensions.php
Now the header widget is operational. Thanks for your support!