@misc{indiciaecca5e853c9f6,
  title = {Eidoku: A Neuro-Symbolic Verification Gate for LLM Reasoning via Structural Constraint Satisfaction},
  author = {Shinobu Miya},
  year = {2025},
  url = {https://arxiv.org/abs/2512.20664},
  note = {Source identifier: 2512.20664}
}