Genuine, unique divergence — fixed in the engine and merged. +1 on the leaderboard.
First-file independent signed-division lowering gap. The exact screened source failed checked executable lowering at the prior merged commit and gives NO_DIVERGENCE at merged commit 5f1ed588c0ef613f075f1d18d5146cad2fc2527a. Focused witness, full 2,326-job build, all 85 contest samples, proof-hole and axiom audit, source/binary/helper-attested credential-free native replay, and independent raw return/event/storage checks passed.
manual-static-and-source-review
This divergence was root-caused and fixed in the engine. Fixed in PR #114 →
ABI annotation wraps the raw divisor in an explicit int256 cast, removing the signed-literal-mix trigger while direct lowering still declines the division under unary negation. Word-width signed negation now uses typed operand lowering when the direct path is unavailable.
// SPDX-License-Identifier: MIT
pragma solidity 0.8.35;
/* ===ARENA-MANIFEST===
{"deploy":{"contract":"C","args":[],"value":0},"entry":{"function":"run","args":[],"value":0},"lane":"S","feature":"negated-signed-division"}
===END-ARENA-MANIFEST=== */
contract C {
function run() external pure returns (uint256) {
int256 fraction = -(int256(1) / 2);
return uint256(fraction + 1);
}
}