I'm not sure what these yellow-tipped pipes are called but I know they are deep down into the ground and what they are doing is I think is called "pinning" the foundation. There are many around the house. The blue tape on the wall is also some kind of marker. The ground company with the grout will come tomorrow and use these in some way to get grout deep under the house. I will try to get by there tomorrow and watch the process.
The last picture is the new little sinkhole that has formed next to the large hole. They say don't worry about this one - just throw some dirt in there. Whatever. I will have the ground company do that this week.