@misc{indiciae3797315348d2,
  title = {Bistationary Traces, Wide Levels, and Branch-Cover Rigidity for an Unrestricted Typed Variant of the Hayut-Magidor Forcing},
  author = {Xing-Yu Hu},
  year = {2026},
  url = {https://arxiv.org/abs/2609.25033},
  note = {Source identifier: 2609.25033}
}