DOOP Object-array guard correction: Eclipse proof

Corrects the unguarded Object[] store shortcut using unary EligibleObjectArrayHeap, preserving heap typing, component type and subtype compatibility without materializing 76million Object[] compatibility pairs. Eclipse prepared tuples unchanged. Corrected CPU/GPU agree on all75 counts and exactly all38 IDB tuple sets. VPT39139806, IFPT9676775, AIPT321887 also match independently executed upstream raw-fact oracle counts. Semantic regression covers untyped/incompatible heaps, missing component facts and multityped duplicate derivations. Scope:Eclipse; other20 datasets not revalidated, full upstream tuple equivalence not claimed. Historical releases benchmarked the old unguarded query, not upstream-equivalent semantics. Timing caution: corrected GPU median119.48s but unchanged oldbinary117.29s in same session vs historical2.83s; do not attribute this environment shift to guard overhead or claim speedup. Unsuccessful plan experiment preserved and reverted. Fixedpoint timers exclude loading/H2D/exports; last repetition exports separately for exact verification. Code commit0dab22b,848Python tests passed10skipped,Ruff passed.