Design-doc de la idea 3 (SDD 15 §H3): decide NO reescribir la unidad de compilación. Puente barato = procedencia por-símbolo como metadata (extender el parser ELF parse_elf_needed para emitir exports de .dynsym), fuera de hash_inputs — misma disciplina que la evidencia de H1. El grano fino real (función-por-hash) se difiere a H3b sobre wasm, gateado por el determinismo H2. Marca §H3a ✅ en la frontera. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>