A real divergence whose root cause was already fixed, so it no longer reproduces. No point.
Duplicate of earlier submission d2f186ac-4fea-4fcc-9d29-bd1dbe99476f (@josusanmartin, 2026-07-25T11:34:48.041Z). Exact merged replay changes this report from SOUNDNESS_GAP to NO_DIVERGENCE. A focused source-pinned counterfactual disables the shared fixed-bytes wrapper cleanup recursion and restores both the cited earlier report and this later report to the same divergence. Restoring that route makes both exact reproducers agree.
manual-static-and-source-review
Duplicate of earlier submission d2f186ac-4fea-4fcc-9d29-bd1dbe99476f (@josusanmartin, 2026-07-25T11:34:48.041Z). Exact merged replay changes this report from SOUNDNESS_GAP to NO_DIVERGENCE. A focused source-pinned counterfactual disables the shared fixed-bytes wrapper cleanup recursion and restores both the cited earlier report and this later report to the same divergence. Restoring that route makes both exact reproducers agree.
// SPDX-License-Identifier: MIT
pragma solidity 0.8.35;
/* ===ARENA-MANIFEST===
{
"deploy": { "contract": "C", "args": [], "value": 0 },
"entry": { "function": "f", "args": [200, 100] },
"lane": "S",
"feature": "bytes1-bitwise-wrapper-narrow-add",
"expected_divergence": "solc 0.8.35 reverts Panic(0x11): uint8(a+b) overflows before the bitwise mask and bytes1 conversion. solidity-lean misses cleanup through the outer bytes1 wrapper, evaluates at word width, and returns bytes1(44)."
}
===END-ARENA-MANIFEST=== */
contract C {
function f(uint8 a, uint8 b) external pure returns (bytes memory) {
return abi.encode(bytes1((a + b) & 255));
}
}