Hash 比特币交易中块散列生成和块链添加的动力学

我的问题类似于下面的链接问题

我不熟悉区块链和加密货币。我的问题是针对比特币交易中使用的工作证明共识方法。我的理解是，矿工在区块中包含一组交易。然后开始寻找适当的NONCE值，该值将使块的哈希值满足设置的难度标准。达到正确的nonce值需要与块散列值的难度级别对应的计算能力（256位散列的初始位中应存在给定数量的零）。目前，平均需要10分钟才能达到正确的时间。根据节点数量或事务速率，难度可能会增加。在最短时间内达到正确当前值的矿工将向链中添加块

现在，我的疑问是，如果矿工不能添加区块，那么他在区块中包含的交易会发生什么？他如何知道他的区块中的一些交易是否包含在刚刚添加到链中的另一个矿商区块中？他将如何为下一个区块选择下一组事务

下面的问题总结了我所有的疑问

所有这些活动是如何协作的，这样就不会留下任何交易