docs(research): formal synthesis paper unifying substrate + e2e framework #133

Job	Run time
ShellCheck	6s
Lint & format (Biome)	10s
Docs match code	8s
Dependency review	4s
Assert zero runtime dependencies	8s
Test (Node 20)	18s
Test (Node 22)	22s
Version fields agree	6s
	1m 22s

Provide feedback