docs(research): registry rows for the 5 in-CI TLA+ specs (closes A4 external-citation-fidelity gap)#1393

AceHack merged 1 commit intomainLucent-Financial-Group/Zeta:mainfrom

research/verification-registry-tla-cluster-rows-2026-05-03Lucent-Financial-Group/Zeta:research/verification-registry-tla-cluster-rows-2026-05-03Copy head branch name to clipboard