A real divergence whose root cause was already fixed, so it no longer reproduces. No point.
Duplicate of earlier submission a36688e2-f3e3-4c91-a2e0-1d07a9c0732a (@cameronspirals, 2026-08-09T15:20:32.010Z). Manual comparison confirms identical Solidity tokens and identical execution/claim manifest after removing only comments, whitespace, feature, and note. Both pass the static gate. Consequently any semantics fix that eliminates the earlier divergence also eliminates this one; no independent point is due. The earlier submission retains its own validity review and first-file priority.
manual-static-and-source-review
Duplicate of earlier submission a36688e2-f3e3-4c91-a2e0-1d07a9c0732a (@cameronspirals, 2026-08-09T15:20:32.010Z). Manual comparison confirms identical Solidity tokens and identical execution/claim manifest after removing only comments, whitespace, feature, and note. Both pass the static gate. Consequently any semantics fix that eliminates the earlier divergence also eliminates this one; no independent point is due. The earlier submission retains its own validity review and first-file priority.
// SPDX-License-Identifier: UNLICENSED
pragma solidity 0.8.35;
/* ===ARENA-MANIFEST===
{
"deploy": {
"contract": "C",
"args": [],
"value": 0
},
"entry": {
"function": "run",
"args": [],
"value": 0
},
"feature": "storage-dynamic-bytes-tuple-swap",
"note": "solc 0.8.35 stores tuple components right-to-left; storage references are not payload snapshots, but solidity-lean models this as a true swap"
}
===END-ARENA-MANIFEST=== */
contract C {
bytes internal a;
bytes internal b;
function run() external returns (uint256) {
a = hex"01";
b = hex"0203";
(a, b) = (b, a);
return a.length;
}
}