{"evidence_level":"功能执行","algorithm":"sum(values[i] * scale + i), values={2,-1,4,0,3}, scale=3","source_sha256":"e23d1699851b1751e72ce796e895fa97179b3993e226cdf9cfbd772575bc545b","historical_native_arm64":"sum=34","historical_source":"writing-plans/computer-architecture/cross-isa-formal.md","current_host":"x86_64","x86_64":{"compile_exit":0,"object_sha256":"d2901ff44c46a33770e0f2f1ba4e98e4ff52bf2e0ee56bcd8b606f5cfab3a851","objdump_sha256":"4d2b109c9e425712fd18958f4dc270c33d71ccec83babdf673b9c0f84e9f5f5b","execution":"NOT_RUN"},"riscv64":{"compile_exit":127,"stderr":"NOT_RUN: clang unavailable on current host","backend_available":false},"pmu":false}