[ViralBShah]

Test.detect_ambiguities(SuiteSparseGraphBLAS; recursive = true) goes from 212 to 0, and the Aqua CI job now runs Aqua.test_all(SuiteSparseGraphBLAS) with no exceptions.

Main causes:

• 3-arg * (≈100 pairs vs LinearAlgebra's A * B * C): the semiring argument was untyped. It is now op::SemiringSpec = (+, *), where SemiringSpec = Union{Tuple, TypedSemiring}.
• Untyped scalar *(x, A) / *(A, x) (≈55): removed; the x::Number methods next to them remain. These also caught non-scalars, so A * sparsevector and A * view(x, …) were ambiguity errors and would otherwise have run as an elementwise scalar apply. They now work.
• inferbinarytype / indexunaryop (52): the @eval'd (::Any, ::Any, ::typeof(op)) methods are now (::Type, ::Type, ...). The array forms already forward to the type forms.
• Vector getindex (≈20): the catch-all getindex(u::AbstractGBVector, I) is replaced with typed methods for AbstractVector / AbstractUnitRange (plus Bool variants), all still calling extract. Scalar getindex now covers every AbstractGBVector, so pack(v)[i] works (it was a MethodError).
• Iterator indexing: A[I::GxBIterator] is restricted to GraphBLAS and dense matrices; it was defined on every AbstractArray.

Smaller fixes:

• eunion/eunion! shortcut forms take α/β::Number. The explicit 5-arg form is unchanged.
• The per-type _assign takes x::$T, like _subassign.
• Shallow resize! takes Integer arguments.
• Tie-breakers for convert (into shallow vectors), _promotefill (Missing vs Nothing → missing), apply! (two arrays, transposed first: throws), hcat (now needs ≥1 argument), typedmonoid, build!, reshape and u' * x (real dense x, which returns 1×1 like u' * v).

Behavior check against v11: scalar *, A*x, A*A, *(A, A, (+, *)), D*A, v[1:2]/v[[2,1]]/v[:], hcat, reshape and eunion all give the same results. Four cases that errored before now work: v' * x, A * sparse(x), A * view(...), and pack(v)[2].

Aqua (all checks, including ambiguities) and the full Pkg.test() pass locally on nightly. Small tests for the four newly working cases are added to the existing mul.jl and gbarray.jl testsets.

🤖 Generated with Claude Code

[codecov]

Codecov Report

❌ Patch coverage is 78.78788% with 7 lines in your changes missing coverage. Please review.
✅ Project coverage is 68.38%. Comparing base (1fb74bb) to head (460f319).

Files with missing lines	Patch %	Lines
src/operators/selectops.jl	40.00%	3 Missing ⚠️
src/iterator.jl	50.00%	2 Missing ⚠️
src/abstractgbarray.jl	88.88%	1 Missing ⚠️
src/solvers/cholmod.jl	0.00%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##              v11     #168      +/-   ##
==========================================
+ Coverage   67.38%   68.38%   +0.99%     
==========================================
  Files          54       54              
  Lines        4485     4494       +9     
==========================================
+ Hits         3022     3073      +51     
+ Misses       1463     1421      -42     

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.