lfglabs-dev / lfglabs-dev/verity
EVMYulLean fork conformance probe failed
Nobody has claimed this yet.
- Dominant language
- Lean
- Stars
- 148
- Forks
- 20
- Avg merge
- 1d 14h
- Merged PRs (30d)
- 29
Description
The EVMYulLean fork conformance probe failed.
Run: https://github.com/lfglabs-dev/verity/actions/runs/32006783282
Workflow: EVMYulLean fork conformance
Ref: refs/heads/main
SHA: e57fcffa8223e797fa1e740421e8e90266d7b1a1
Local triage:
make test-evmyullean-fork
This guard checks the pinned EVMYulLean fork audit, checks the native lowering report, rebuilds the native transition harness, and the public EndToEnd target, and runs the concrete bridge-equivalence tests.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start with the linked EVMYulLean fork conformance workflow run and reproduce it locally with make test-evmyullean-fork. Identify which audit, native lowering report, transition harness, EndToEnd target, or bridge-equivalence check fails; done means the full conformance command passes.
Written by the indexing model from the issue text.
Assessment
- Domain
- blockchain, compilers
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Quiet
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100