39217295139
0%
main: 0%

Ran 19 Oct 2026 07:41AM UTC

Jobs 1

Files 0

Run time 1min

Badge

Embed ▾

Committed 19 Oct 2026 07:37AM UTC coverage: 0.0%. Remained the same

Build # 39217295139

Build Type

push

github

Committed by

juliaklaue

Commit Message

feat(evm): Lean proof that Roles decodes canonical calldata per the ABI spec

Adds a Lean 4 model of the Roles v3 decoder (AbiLocation, Topology,
pack/unpack metadata, __input, evaluate navigation incl. Slice), an
independent model of the ABI spec encoder, and proofs that on correctly
encoded calldata every visited condition reads exactly the spec bytes of
its parameter. Includes differential tests of the Lean model against
MockLocator and an end-to-end Slice test via a new MockEvaluator.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01DvEkN8jKo5TwdxzerGzeoG

Coverage Stats

0 of 0 relevant lines covered (NaN%)

0.0 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	39217295139.1	19 Oct 2026 07:41AM UTC	0	0.0	GitHub Action Run

Source Files on build 39217295139

Detailed source file information is not available for this build.

gnosis / zodiac-modifier-roles / 39217295139
0%
main: 0%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 39217295139

gnosis / zodiac-modifier-roles / 39217295139 0% main: 0%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 39217295139

gnosis / zodiac-modifier-roles / 39217295139
0%
main: 0%

README BADGES
x