archetech / archon / 35529987456

95%

push

github

test(protocol): connect interleaved migration replay (#1229)

* test(protocol): connect interleaved migration replay

* docs(proofs): narrow migration bridge claims

Co-authored-by: macterra <434644+macterra@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: macterra <434644+macterra@users.noreply.github.com>

4625 of 5286 branches covered (87.5%)

Branch coverage included in aggregate %.

9232 of 9681 relevant lines covered (95.36%)

21359.7 hits per line