[Y-Nak]

@micahscopes Please review after #56 and #57 are merged, I'll make this PR ready when they are merged.
Fix ABI and storage corruption, trait evidence and specialization, lexical scope and recursive layouts, parser behavior, editor operations, and test-process cleanup. Add regression coverage across related paths.

• resolve Subtraction without spaces is rejected as a forbidden identifier #63, resolve Constructors in unrelated contracts interfere with pattern variable resolution #64, resolve Rename leaves import hiding clauses unchanged and breaks valid modules #65, resolve Renaming a trait method does not rename its impl declarations #66, resolve Completion omits parameters in empty bodies and suggests out-of-scope locals #67, resolve LSP columns beyond the end of a line can edit a different line #68
• resolve Parentheses inside comments incorrectly suppress signature help #69, resolve The shared EVM test harness leaves Anvil running after the test process exits #70, resolve Command timeouts can block while joining inherited output pipes #71, resolve User-defined concatLit functions are incorrectly treated as string intrinsics #72, resolve Functions with nine arguments fail through function values and generated dispatch #73, resolve Nested trait ambiguity is silently resolved by import order #74
• resolve Dot-constructor inference allows access to unexported constructors #75, resolve Direct generic calls lose module-local trait evidence during specialization #76, resolve Sonatina can select a helper named main_a instead of the actual entry point #77, resolve Inline assembly string escapes are emitted as literal backslash bytes #78, resolve Pattern binding order can overwrite a scrutinee before it is read #79, resolve Encoding a dynamic ABITuple overwrites preceding ABI head values #80
• resolve abi_decode reads the memory bytes length header as ABI payload #81, resolve The memory DynArray ABI decoder misreads the offset and never decodes elements #82, resolve Storage arrays overlap elements that occupy multiple slots #83, resolve bytes4 encoding and decoding use the wrong external ABI alignment #84, resolve Dynamic bytes decoding accepts truncated calldata and fabricates missing bytes #85, resolve Removing and regrowing nested storage arrays exposes deleted values #86
• resolve Tuple-array dispatch selectors disagree with the generated JSON ABI #87, resolve CLI module discovery repeatedly follows cyclic directory symlinks #88, resolve Nested expression operands trigger exponential parser work #96, resolve Explicit unit parameters produce invalid JSON ABI types #97, resolve Overlapping project and standard-library roots break canonical ABI ownership checks #98, resolve Superclass dispatch can call a child's same-named method #99
• resolve Trait method calls discard dictionaries for method-local constraints #100, resolve Different generic trait method instantiations share one generated symbol #101, resolve Later shadowing declarations change earlier closure capture types #102, resolve Loop lowering loses declarations visible in the enclosing source scope #103, resolve Distinct closure captures can alias the same hoisted local #104, resolve Finite nested ADT layouts cause exponential compilation work #105
• resolve Growing recursive ADT instantiations evade layout termination checks #106, resolve Loops and unrelated effects discard required compile-time bindings #107, resolve Destructuring compile-time values loses compile-time availability #108, resolve Closures inside locally constructed aggregates are not captured at construction #109, resolve Terminating loop bodies make Solcore's Sonatina lowering panic on unreachable post blocks #110, resolve zeroize_memory copies nonzero bytes into a partial-word tail #111
• resolve allocate_memory can wrap the free-memory cursor into earlier allocations #112, resolve Rename accepts contextual identifiers that change parameter or type syntax #113, resolve Renaming source variables leaves inline assembly references unchanged #114, resolve Rename can silently redirect references to different declarations #115, resolve Renaming a pattern variable can turn a catch-all arm into a constructor match #116, resolve Constructor rename omits shorthand expressions and patterns #117

[Y-Nak]

@micahscopes Ok, everything is ready. Would you review it, please?

[micahscopes]

I pushed up a couple of regression tests. Feedback from an agent:

This looks like substantial repair work, especially the shared ABI handling, storage-layout fixes, and preservation of trait evidence. The added regression coverage is valuable.

The two new tests cover returned closures: one exposes newly accepted wrong code in this PR, and the other captures a preexisting assembly-only capture bug. Both appear related to preserving binding identity when substituting expressions across scopes.

A possible follow-up is a shared, capture-safe substitution mechanism, rather than handling each naming collision separately.

Focused ABI, storage, trait-method, and control-flow execution tests passed on both backends. The review covered the major compiler boundaries, but wasn’t exhaustive across the solver, parser, and editor changes.

[Y-Nak]

@micahscopes Thanks, fixed the proposed problems. I'm going to merge this PR so that it won't get any larger.