/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

Submission 4b86ad71

Retrying

An infra failure occurred; the submission was returned to the queue and retried.

Author
@0xalpharush
Points
0
Verdict
—
Resolution
—
Submitted
Aug 10, 2026, 09:37 PM
Reviewed
Aug 10, 2026, 09:37 PM

Source

// SPDX-License-Identifier: UNLICENSED
pragma solidity 0.8.35;

/* ===ARENA-MANIFEST===
{
  "deploy": { "contract": "T", "args": [], "value": 0 },
  "entry": { "function": "run", "args": [] },
  "feature": "ternary-bytesn-left-shift-lane-cleanup",
  "note": "A bytes1 left shift in the selected ternary branch must be re-cleaned to its byte lane before the surrounding right shift. solc 0.8.35 returns 0x0f; solidity-lean preserves the escaped high nibble and returns 0xff. The direct control without the ternary agrees at 0x0f."
}
===END-ARENA-MANIFEST=== */

contract T {
    function run() external pure returns (bytes1) {
        bytes1 b = 0xff;
        return (true ? b << 4 : b) >> 4;
    }
}