EFCH P2 artifacts — Verified Binary Decoding with EFCH Lang (EXP-004 to EXP-015)

Research artifacts for the draft manuscript Verified Binary Decoding with a Domain-Specific Language: An Empirical Study of EFCH Lang against C, Rust–Kani, and Dafny (not peer reviewed).

Contents: preregistered protocols and results of EXP-004, EXP-005, EXP-007–EXP-010 and EXP-015 (negative results included), archived evidence with adversarial reviews (data/efch-lang-resultados.tar.gz), a re-execution of EXP-004 and EXP-015 with the packaged code (data/reejecucion-2026-11-02.tar.gz), code, corpus with C/Rust/Go/Dafny comparators, scripts, tests and the manuscript. The packaged code is the 1 November 2026 snapshot, not the exact code each experiment ran with (see README). Verify with sha256sum -c SHA256SUMS.

Code: Apache-2.0. Data and documents: CC-BY-4.0. Author: Erik Fisher Cueva Huari (ORCID 0000-0001-7268-5510).