@misc{manuscript2026goalshapetacticretrievalforexactwebassemblyartifactproofs,
  title={Goal-Shape Tactic Retrieval for Exact WebAssembly Artifact Proofs},
  author={Anonymous manuscript},
  year={2026},
  eprint={2608.00036},
  archivePrefix={marXiv},
  primaryClass={cs.LO}
}