@misc{indiciae6cc4ed98528f,
  title = {DEKL 2.0: Trace-Indexed Knowledge Evolution in Dependent Type Theory},
  author = {Chen Peng},
  year = {2026},
  url = {https://arxiv.org/abs/2604.22530},
  note = {Source identifier: 2604.22530}
}