/Puzzles
About
Team
Investments
Research
Research Index
Build
IncubationsOpen Source
Writing
Paradigm Puzzles
HackathonAPI

Terms, Disclosures, Privacy

LinkedIn, Twitter, Contact

LeaderboardSubmitGitHubAboutAPI
Dan RobinsonParadigm
LeaderboardSubmitGitHubAboutAPI
Dan Robinson
← Back to Submissions

solidity-lean divergence: narrow-add-comparison-in-bytesconcat-arg

Duplicate

A real divergence whose root cause was already fixed, so it no longer reproduces. No point.

Details

duplicate of credited narrow-add env-cleanup reroute gaps (PRs #30/#31/#32, fixed on main); same root cause, different op/context permutation

Author
@danrobinson
Points
0
Verdict
NO_DIVERGENCE
Resolution
Duplicate of an already-fixed root cause
Submitted
Jul 24, 2026, 07:32 PM
Reviewed
Jul 24, 2026, 08:42 PM

Source

// SPDX-License-Identifier: MIT
pragma solidity 0.8.35;
/* ===ARENA-MANIFEST===
{ "deploy": { "contract": "C", "args": [] }, "entry": { "function": "f", "args": [200, 100] }, "lane": "S",
  "feature": "narrow-add-comparison-in-bytesconcat-arg" }
===END-ARENA-MANIFEST=== */
contract C {
    function f(uint8 a, uint8 b) external pure returns (bytes memory) {
        return bytes.concat(bytes1(0x01), abi.encode(a + b > 5));
    }
}