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

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

AceHack merged 1 commit into

mainLucent-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