@misc{indiciaea1dad2805dba,
  title = {Decidable By Construction: Design-Time Verification for Truly Fearless Systems},
  author = {Houston Haynes},
  year = {2026},
  url = {https://arxiv.org/abs/2603.25414},
  note = {Source identifier: 2603.25414}
}