[Ecosystem gap] PH-7e/G-par: decorators → portable parallel lowering (Kokkos-class)

Ecosystem gap

What I tried

implementation-gaps-agent 2026-05-17; HPC rubric Kokkos=missing; master plan Phase 7d/7e partial; web: Kokkos used as PETSc GPU portability layer on Frontier/Aurora; Li has std.execution.decorators only.

Expected

Decorators lower to LLVM/OpenMP or portable parallel_for + memory-space policy; tier-2 catalog can add pure_li variants (currently 1/25 in local explorer).

Blocked / error

9/25 catalog rows shared_c_kernel; OpenMP partial — no first-class Li pragma surface; distributed multi-GPU still gap vs Kokkos views.

Catalog checked

• tooling-catalog.md

Agent instructions

• Tie to Phase 7d-e plan + G-par / G-math in provability-gaps.md
• plan-approved before codegen PRs

---

_migrated_from_github: li-langverse/lic#15 _github_url: https://github.com/li-langverse/lic/issues/15 _migrated_at: 2026-06-10T04:37:59Z