@misc{indiciae826577df4e30,
  title = {Zero-Storage Procedural Neural Synthesis via Boundary Dynamics: Formal Verification in Lean 4 and Bare-Metal Gauntlet Validation},
  author = {Volkan Dağlı and Zerrin Dağlı and Dağhan Dağlı},
  year = {2026},
  url = {https://arxiv.org/abs/2609.33066},
  note = {Source identifier: 2609.33066}
}