| bare_literal_in_compound_bitwise_assign | @forwardsecrecy | Pending | — | Jul 24, 2026 |
| bytesn_compound_shift_assign_skips_mask | @forwardsecrecy | Pending | — | Jul 24, 2026 |
| bytesn_width_expanding_op_in_tuple_rhs | @forwardsecrecy | Pending | — | Jul 24, 2026 |
| solidity-lean divergence: grid-addor-in-encodeWithSignature | @danrobinson | Duplicate | NO_DIVERGENCE | Jul 24, 2026 |
| solidity-lean divergence: grid-addor-in-encodeWithSelector | @danrobinson | Duplicate | NO_DIVERGENCE | Jul 24, 2026 |
| solidity-lean divergence: grid-addor-in-abiencodepacked | @danrobinson | Duplicate | NO_DIVERGENCE | Jul 24, 2026 |
| solidity-lean divergence: grid-addor-in-abiencode | @danrobinson | Duplicate | NO_DIVERGENCE | Jul 24, 2026 |
| solidity-lean divergence: grid-addlognot-in-sha256 | @danrobinson | Duplicate | NO_DIVERGENCE | Jul 24, 2026 |
| solidity-lean divergence: grid-addlognot-in-keccak | @danrobinson | Duplicate | NO_DIVERGENCE | Jul 24, 2026 |
| bytesn_left_shift_in_encoder_arg | @forwardsecrecy | Pending | — | Jul 24, 2026 |
| solidity-lean divergence: grid-addlognot-in-encodeWithSignature | @danrobinson | Duplicate | NO_DIVERGENCE | Jul 24, 2026 |
| solidity-lean divergence: grid-addlognot-in-encodeWithSelector | @danrobinson | Duplicate | NO_DIVERGENCE | Jul 24, 2026 |
| immediate_call_of_returned_fnptr | @forwardsecrecy | Pending | — | Jul 24, 2026 |
| solidity-lean divergence: grid-addlognot-in-abiencodepacked | @danrobinson | Duplicate | NO_DIVERGENCE | Jul 24, 2026 |
| solidity-lean divergence: grid-addlognot-in-abiencode | @danrobinson | Duplicate | NO_DIVERGENCE | Jul 24, 2026 |
| negate_narrow_type_min_cast | @forwardsecrecy | Pending | — | Jul 24, 2026 |
| solidity-lean divergence: grid-addcmp-in-sha256 | @danrobinson | Duplicate | NO_DIVERGENCE | Jul 24, 2026 |
| solidity-lean divergence: grid-addcmp-in-keccak | @danrobinson | Duplicate | NO_DIVERGENCE | Jul 24, 2026 |
| address_from_bytes20_in_encoder_arg | @forwardsecrecy | Pending | — | Jul 24, 2026 |
| solidity-lean divergence: grid-addcmp-in-encodeWithSignature | @danrobinson | Duplicate | NO_DIVERGENCE | Jul 24, 2026 |
| solidity-lean divergence: grid-addcmp-in-encodeWithSelector | @danrobinson | Duplicate | NO_DIVERGENCE | Jul 24, 2026 |
| solidity-lean divergence: grid-addcmp-in-abiencodepacked | @danrobinson | Duplicate | NO_DIVERGENCE | Jul 24, 2026 |
| bytesn_length_member | @forwardsecrecy | Pending | — | Jul 24, 2026 |
| solidity-lean divergence: grid-addcmp-in-abiencode | @danrobinson | Duplicate | NO_DIVERGENCE | Jul 24, 2026 |
| bytesn_index_after_container_load | @forwardsecrecy | Pending | — | Jul 24, 2026 |
| array_literal_trailing_negative_element | @forwardsecrecy | Pending | — | Jul 24, 2026 |
| negative_fractional_literal_constant | @forwardsecrecy | Pending | — | Jul 24, 2026 |
| mixed_sign_constant_comparison | @forwardsecrecy | Pending | — | Jul 24, 2026 |
| A bare hex/string literal as a tuple-declaration component panics instead of taking the component's bytesN type | @zhygis | Pending | — | Jul 24, 2026 |
| solidity-lean divergence: narrow-bitnot-mask-widening-cast-in-custom-error-arg | @danrobinson | Duplicate | NO_DIVERGENCE | Jul 24, 2026 |
| solidity-lean divergence: narrow-shl-mask-in-abiencode-tuple-elem | @danrobinson | Duplicate | NO_DIVERGENCE | Jul 24, 2026 |
| solidity-lean divergence: narrow-bitnot-mask-in-encodeWithSelector-arg | @danrobinson | Duplicate | NO_DIVERGENCE | Jul 24, 2026 |
| negative_constant_in_abiencode_arg | @forwardsecrecy | Pending | — | Jul 24, 2026 |
| Submission e6bd6ef9 | @0xalpharush | Pending | — | Jul 24, 2026 |
| solidity-lean divergence: narrow-bitnot-mask-in-keccak-abiencode-arg | @danrobinson | Duplicate | NO_DIVERGENCE | Jul 24, 2026 |
| solidity-lean divergence: narrow-add-comparison-in-bytesconcat-arg | @danrobinson | Duplicate | NO_DIVERGENCE | Jul 24, 2026 |
| signed_const_shift_in_abiencode_arg | @forwardsecrecy | Pending | — | Jul 24, 2026 |
| A negative int8 written to a mapping value slot is sign-extended over the whole slot (0xff..ff vs 0xff) | @zhygis | Pending | — | Jul 24, 2026 |
| int8(-1) != int8(0) in any boolean condition is over-rejected (expectedType int8 vs int8) | @zhygis | Pending | — | Jul 24, 2026 |
| named_arg_call_order | @forwardsecrecy | Pending | — | Jul 24, 2026 |
| Submission bac6e321 | @0xalpharush | Pending | — | Jul 24, 2026 |
| Submission a41c127e | @0xalpharush | Pending | — | Jul 24, 2026 |
| solidity-lean divergence: packed-storage-widening-cast-in-abiencode | @danrobinson | Duplicate | NO_DIVERGENCE | Jul 24, 2026 |
| solidity-lean divergence: narrow-add-widening-cast-in-private-helper | @danrobinson | Duplicate | NO_DIVERGENCE | Jul 24, 2026 |
| solidity-lean divergence: narrow-add-comparison-in-abiencode-in-inherited-fn | @danrobinson | Duplicate | NO_DIVERGENCE | Jul 24, 2026 |
| Narrow addmod overflow passed through an internal function-pointer call misses Panic(0x11) | @zhygis | Pending | — | Jul 24, 2026 |
| Narrow uint128 multiplication overflow in a custom-error revert argument misses Panic(0x11) | @zhygis | Pending | — | Jul 24, 2026 |
| Narrow uint multiplication overflow in a short-circuit (&&/||) operand misses Panic(0x11) | @zhygis | Pending | — | Jul 24, 2026 |
| bytes(<storage string>)[i] as a custom-error revert argument gives Panic(0) | @zhygis | Pending | — | Jul 24, 2026 |
| solidity-lean divergence: narrow-add-comparison-in-abiencode-in-library-fn | @danrobinson | Duplicate | NO_DIVERGENCE | Jul 24, 2026 |