@misc{indiciae355bff6ecffb,
  title = {Recursive Completion in Higher K-Models: Front-Seed Semantics, Proof-Relevant Witnesses, and the K-Infinity Model},
  author = {Daniel O. Martinez-Rivillas and Arthur F. Ramos and Ruy J. G. B. de Queiroz},
  year = {2026},
  url = {https://arxiv.org/abs/2604.12981},
  note = {Source identifier: 2604.12981}
}