@techreport{agentrust2026challengeboundmemorysweep,
  title = {A Challenge-Bound Memory-Consistency Predicate for Model-Key Release},
  author = {Imran Siddique},
  institution = {AgenTrust},
  year = {2026},
  type = {Technical report},
  note = {Version 1; not peer reviewed},
  doi = {10.5281/zenodo.23091290},
  url = {https://agentrust-io.com/research/challenge-bound-memory-sweep/v1/}
}