Module array_arm 

ARRAY_* table-valued function as a JOIN source.

When a JOIN’s left or right relation is ARRAY_SLICE(...) (or sibling read TVFs), the planner lowers it to the corresponding SqlPlan::Array* variant directly — bypassing catalog lookup. The TVF’s output rows participate in the join key resolution like any other relation; the dispatch handler emits (coords, attrs) tuples that include the array’s surrogate-equivalent identity columns so equi-join keys work naturally.