fix: remove orphan .parameter-golf/parameter-golf gitlink (unblocks submodules: recursive checkout in all PR CI)

[gHashTag]

Problem

main (HEAD 2b6bb33, introduced by PR #629 feat(trios-mesh): Trinity Node E2E Quality) contains an orphan gitlink at .parameter-golf/parameter-golf (mode 160000, sha 06e32abbc2a3da3dccdef908e050d783fe87b832) that has no matching entry in .gitmodules. The current .gitmodules only declares the four crates/trios-*/vendor/zig-* submodules — the parameter-golf URL was never registered.

Symptom (R7 witness)

Every PR / push that uses actions/checkout@v4 with submodules: recursive fails the submodule init step with:

[command]/usr/bin/git submodule sync --recursive
[command]/usr/bin/git -c protocol.version=2 submodule update --init --force --depth=1 --recursive
##[error]fatal: No url found for submodule path '.parameter-golf/parameter-golf' in .gitmodules
##[error]The process '/usr/bin/git' failed with exit code 128

Concrete failures attributable to this regression:

• Verify IGLA-INV-001..005 ❌ on PR feat(phd-kat-12): Theorem 12.7 KART-GF(16) isomorphism (Admitted, witnessed n<=4) #591 (sha 506cccf) — run 25569125604.
• Coq Proof Verification (INV-1..5) ❌ on PR feat(phd-kat-12): Theorem 12.7 KART-GF(16) isomorphism (Admitted, witnessed n<=4) #591 — run 25569125688.
• Same two checks ❌ on PR feat(phd-kat-35): Theorem 35.13 Trinity MRU as KART forward-pass (Admitted) + Popper Clause F-5 #593 (sha 30a13ee).
• Constitutional Enforcement ❌ on PRs feat(phd-kat-rw): L-KAT-RW — KART × KAN × Trinity GF16 Related Work patch #584 / feat(phd-kat-12): Theorem 12.7 KART-GF(16) isomorphism (Admitted, witnessed n<=4) #591 / feat(phd-kat-35): Theorem 35.13 Trinity MRU as KART forward-pass (Admitted) + Popper Clause F-5 #593 (downstream — guard never gets to run because checkout already exits 128).

The KAT залп (#584 L-KAT-RW, #591 L-KAT-12, #593 L-KAT-35) is therefore not failing on Coq invariants or PR-body content — it is failing on a phantom submodule. The Coq INV-2/INV-3/INV-4/INV-5 print-only step would otherwise succeed: see the same job log where the ## 🧮 Coq Invariant Gate — L-R14 summary block is printed verbatim before the post-checkout cleanup.

Fix

Drop the orphan gitlink from the tree. No .gitmodules change required (the path was never declared). PR forthcoming on fix/remove-orphan-parameter-golf-gitlink.

git rm --cached -r .parameter-golf/parameter-golf
rm -rf .parameter-golf

Acceptance

• After merge, re-run Verify IGLA-INV-001..005 on PRs feat(phd-kat-12): Theorem 12.7 KART-GF(16) isomorphism (Admitted, witnessed n<=4) #591 and feat(phd-kat-35): Theorem 35.13 Trinity MRU as KART forward-pass (Admitted) + Popper Clause F-5 #593 → green.
• After merge, re-run Coq Proof Verification (INV-1..5) on feat(phd-kat-12): Theorem 12.7 KART-GF(16) isomorphism (Admitted, witnessed n<=4) #591 and feat(phd-kat-35): Theorem 35.13 Trinity MRU as KART forward-pass (Admitted) + Popper Clause F-5 #593 → green.
• After merge, the KAT залп (feat(phd-kat-rw): L-KAT-RW — KART × KAN × Trinity GF16 Related Work patch #584/feat(phd-kat-12): Theorem 12.7 KART-GF(16) isomorphism (Admitted, witnessed n<=4) #591/feat(phd-kat-35): Theorem 35.13 Trinity MRU as KART forward-pass (Admitted) + Popper Clause F-5 #593) reaches mergeable state pending only REVIEW_REQUIRED.
• Verify git submodule status after fresh actions/checkout@v4 --recursive reports only the four declared crates/trios-* submodules.

Anchor: phi^2 + phi^-2 = 3 · DOI 10.5281/zenodo.19227877.