另作一點補充，其他資料都是我自己刨的，除了《永樂大典》的《小法局式》和上圖的《太乙六壬雷公運式遁甲通神經》這兩份最重要的遺文，是看了天機論壇裏的帖子纔知道其存在的。而最早發現《小法局式》是雷公式的人，應該是日本學者西岡芳文(2007年)，天機論壇帖子的樓主也是在其啟發下纔知道的。見
西岡芳文，「式盤をまつる修法－聖天式法・頓成悉地法・ダキニ法－」，金沢文庫研究第318号(2007年3月)，pp.11-21
此外，主帖裏略過的歷代目録所載的雷公式典籍，這裏還是可以羅列一下書名：
新唐書藝文志：《雷公式經》一卷
通志藝文略：《雷公式經》一卷
《玉海》卷第五，唐六十家五行，正文提到“式經有六壬、雷公、太一之殊”，也相當於著録了《雷公式經》。又其中一段小字夾注云：有《金鏡》《連珠》之式，《金匱》《絳囊》《玉帳》之經。其中的《絳囊》應該就是《武經總要》提到的《玄女絳囊經》，也屬於雷公式典籍。
宋史藝文志：《雷公式局》一卷……《雷公印法》三卷，《雷公撮殺律》一卷
日本國見在書目録，卅六，五行家：開頭的類目裏列有咒禁、符印、五行、六壬、雷公、太一、遁甲、式、相、仙術十大類。但在具體的書目裏，對應“雷公”的部分，卻是一堆六甲符圖類的書，《六甲右左上符》《六甲圖》《大道老君六甲秘符》《八史圖》《八史神符》，以及若干九宮類的書。這些看名字都顯然與雷公式無關，合理的推測是，雷公式連在中國本土都被大力嚴禁，更不會有機會流到日本去。《日本國見在書目録》大概率是照搬了唐代的目録目録分類，所以列了“雷公”一類，但實際上他們國內並沒有雷公式典籍，所以衹好強行用其他一些符圖類的書來充數。