More Mishna reference checks

ronshapiro · Jan 6, 2025 · 0c5ea86 · 0c5ea86
1 parent c0952bc
commit 0c5ea86
Show file tree

Hide file tree

Showing 14 changed files with 125 additions and 12 deletions.
diff --git a/pre-commit/check_do_not_submit.py b/pre-commit/check_do_not_submit.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python3
 # -*- coding: utf-8 -*-
 
 import re

diff --git a/pre-commit/check_google_doc_json_file_name.py b/pre-commit/check_google_doc_json_file_name.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python3
 
 import sys
 

diff --git a/precomputed/mishna_references/Bava Kamma.json b/precomputed/mishna_references/Bava Kamma.json
@@ -1,4 +1,7 @@
 {
+  "101a": {
+    "Bava Kamma 101a:2": "Bava Kamma 100b:2-3"
+  },
   "101b": {
     "Bava Kamma 101b:4": "Bava Kamma 100b:2-3"
   },

diff --git a/precomputed/mishna_references/Bava Metzia.json b/precomputed/mishna_references/Bava Metzia.json
@@ -143,6 +143,9 @@
   "50b": {
     "Bava Metzia 50b:10": "Bava Metzia 49b:5-6"
   },
+  "52a": {
+    "Bava Metzia 52a:4": "Bava Metzia 51b:11-52a:3"
+  },
   "52b": {
     "Bava Metzia 52b:10": "Bava Metzia 51b:11-52a:3",
     "Bava Metzia 52b:5": "Bava Metzia 51b:11-52a:3",

diff --git a/precomputed/mishna_references/Berakhot.json b/precomputed/mishna_references/Berakhot.json
@@ -88,12 +88,18 @@
   "38b": {
     "Berakhot 38b:3": "Berakhot 35a:1"
   },
+  "3a": {
+    "Berakhot 3a:4": "Berakhot 2a:1-5"
+  },
   "40a": {
     "Berakhot 40a:10": "Berakhot 35a:1"
   },
   "40b": {
     "Berakhot 40b:2": "Berakhot 40a:12"
   },
+  "41a": {
+    "Berakhot 41a:2": "Berakhot 40b:12-13"
+  },
   "42b": {
     "Berakhot 42b:11": "Berakhot 42a:9-42b:1",
     "Berakhot 42b:8": "Berakhot 42a:9-42b:1"
@@ -123,6 +129,9 @@
     "Berakhot 47b:4": "Berakhot 45a:4-5",
     "Berakhot 47b:8": "Berakhot 45a:4-5"
   },
+  "49b": {
+    "Berakhot 49b:6": "Berakhot 45a:4-5"
+  },
   "4a": {
     "Berakhot 4a:19": "Berakhot 2a:1-5"
   },
@@ -136,6 +145,7 @@
   "52b": {
     "Berakhot 52b:17": "Berakhot 51b:11-20",
     "Berakhot 52b:23": "Berakhot 51b:11-20",
+    "Berakhot 52b:27": "Berakhot 51b:11-20",
     "Berakhot 52b:30": "Berakhot 51b:11-20",
     "Berakhot 52b:7": "Berakhot 51b:11-20"
   },
@@ -144,6 +154,7 @@
   },
   "53b": {
     "Berakhot 53b:1": "Berakhot 51b:11-20",
+    "Berakhot 53b:13": "Berakhot 51b:11-20",
     "Berakhot 53b:20": "Berakhot 51b:11-20",
     "Berakhot 53b:25": "Berakhot 51b:11-20"
   },

diff --git a/precomputed/mishna_references/Eruvin.json b/precomputed/mishna_references/Eruvin.json
@@ -5,6 +5,9 @@
   "105a": {
     "Eruvin 105a:8": "Eruvin 104b:6-9"
   },
+  "10b": {
+    "Eruvin 10b:20": "Eruvin 2a:1-2"
+  },
   "17b": {
     "Eruvin 17b:5": "Eruvin 17a:15",
     "Eruvin 17b:8": "Eruvin 17a:15"
@@ -17,6 +20,12 @@
     "Eruvin 23b:10": "Eruvin 23a:5-10",
     "Eruvin 23b:7": "Eruvin 23a:5-10"
   },
+  "26a": {
+    "Eruvin 26a:13": "Eruvin 23a:5-10"
+  },
+  "26b": {
+    "Eruvin 26b:15": "Eruvin 23a:5-10"
+  },
   "29b": {
     "Eruvin 29b:4": "Eruvin 26b:17-27a:1"
   },
@@ -28,6 +37,7 @@
   },
   "30b": {
     "Eruvin 30b:15": "Eruvin 26b:17-27a:1",
+    "Eruvin 30b:16": "Eruvin 26b:17-27a:1",
     "Eruvin 30b:7": "Eruvin 26b:17-27a:1"
   },
   "31b": {
@@ -47,14 +57,24 @@
   "37a": {
     "Eruvin 37a:4": "Eruvin 36b:3-4"
   },
+  "40a": {
+    "Eruvin 40a:9": "Eruvin 39a:8-11"
+  },
   "45a": {
     "Eruvin 45a:4": "Eruvin 44b:8-9"
   },
+  "48a": {
+    "Eruvin 48a:20": "Eruvin 45a:24-45b:3"
+  },
   "50b": {
     "Eruvin 50b:16": "Eruvin 49b:5-9"
   },
   "51a": {
-    "Eruvin 51a:17": "Eruvin 49b:5-9"
+    "Eruvin 51a:17": "Eruvin 49b:5-9",
+    "Eruvin 51a:6": "Eruvin 49b:5-9"
+  },
+  "52b": {
+    "Eruvin 52b:3": "Eruvin 52a:6-7"
   },
   "53b": {
     "Eruvin 53b:3": "Eruvin 52b:16-53a:1"
@@ -90,7 +110,8 @@
     "Eruvin 79a:6": "Eruvin 78b:14-15"
   },
   "81b": {
-    "Eruvin 81b:11": "Eruvin 81a:17-81b:2"
+    "Eruvin 81b:11": "Eruvin 81a:17-81b:2",
+    "Eruvin 81b:14": "Eruvin 81a:17-81b:2"
   },
   "86b": {
     "Eruvin 86b:14": "Eruvin 86a:10-11",
@@ -107,19 +128,22 @@
     "Eruvin 94b:2": "Eruvin 94a:22-23"
   },
   "95b": {
+    "Eruvin 95b:4": "Eruvin 95a:22-95b:3",
     "Eruvin 95b:9": "Eruvin 95a:22-95b:3"
   },
   "97a": {
     "Eruvin 97a:15": "Eruvin 95a:22-95b:3",
     "Eruvin 97a:16": "Eruvin 95a:22-95b:3"
   },
   "97b": {
+    "Eruvin 97b:3": "Eruvin 95a:22-95b:3",
     "Eruvin 97b:7": "Eruvin 95a:22-95b:3"
   },
   "98a": {
     "Eruvin 98a:13": "Eruvin 97b:18-20"
   },
   "99a": {
+    "Eruvin 99a:10": "Eruvin 98b:13-15",
     "Eruvin 99a:2": "Eruvin 98b:13-15",
     "Eruvin 99a:5": "Eruvin 98b:13-15"
   }

diff --git a/precomputed/mishna_references/Moed Katan.json b/precomputed/mishna_references/Moed Katan.json
@@ -1,6 +1,7 @@
 {
   "10a": {
-    "Moed Katan 10a:1": "Moed Katan 8b:7-8"
+    "Moed Katan 10a:1": "Moed Katan 8b:7-8",
+    "Moed Katan 10a:3": "Moed Katan 8b:7-8"
   },
   "14a": {
     "Moed Katan 14a:11": "Moed Katan 13b:15-14a:2"

diff --git a/precomputed/mishna_references/Nedarim.json b/precomputed/mishna_references/Nedarim.json
@@ -58,6 +58,9 @@
   "42b": {
     "Nedarim 42b:6": "Nedarim 42a:1"
   },
+  "46a": {
+    "Nedarim 46a:6": "Nedarim 45b:1-46a:5"
+  },
   "46b": {
     "Nedarim 46b:5": "Nedarim 45b:1-46a:5"
   },

diff --git a/precomputed/mishna_references/Pesachim.json b/precomputed/mishna_references/Pesachim.json
@@ -1,9 +1,16 @@
 {
+  "108a": {
+    "Pesachim 108a:6": "Pesachim 99b:1"
+  },
+  "109b": {
+    "Pesachim 109b:4": "Pesachim 99b:1"
+  },
   "117b": {
     "Pesachim 117b:6": "Pesachim 116a:13-116b:6"
   },
   "120b": {
     "Pesachim 120b:15": "Pesachim 120a:15-120b:1",
+    "Pesachim 120b:2": "Pesachim 120a:15-120b:1",
     "Pesachim 120b:4": "Pesachim 120a:15-120b:1"
   },
   "12a": {
@@ -15,8 +22,16 @@
   "13a": {
     "Pesachim 13a:16": "Pesachim 11b:7-9"
   },
+  "13b": {
+    "Pesachim 13b:2": "Pesachim 11b:7-9",
+    "Pesachim 13b:4": "Pesachim 11b:7-9"
+  },
+  "14b": {
+    "Pesachim 14b:10": "Pesachim 14a:2-5"
+  },
   "21b": {
     "Pesachim 21b:2": "Pesachim 21a:8",
+    "Pesachim 21b:3": "Pesachim 21a:8",
     "Pesachim 21b:4": "Pesachim 21a:8"
   },
   "22a": {
@@ -28,6 +43,9 @@
     "Pesachim 23a:7": "Pesachim 21a:8",
     "Pesachim 23a:9": "Pesachim 21a:8"
   },
+  "26b": {
+    "Pesachim 26b:8": "Pesachim 21a:8"
+  },
   "27b": {
     "Pesachim 27b:8": "Pesachim 21a:8"
   },
@@ -44,7 +62,8 @@
     "Pesachim 34a:2": "Pesachim 31b:10"
   },
   "35b": {
-    "Pesachim 35b:4": "Pesachim 35a:4-5"
+    "Pesachim 35b:4": "Pesachim 35a:4-5",
+    "Pesachim 35b:9": "Pesachim 35a:4-5"
   },
   "36a": {
     "Pesachim 36a:13": "Pesachim 35a:4-5"
@@ -76,6 +95,9 @@
   "55a": {
     "Pesachim 55a:2": "Pesachim 54b:4"
   },
+  "55b": {
+    "Pesachim 55b:3": "Pesachim 55a:12"
+  },
   "56b": {
     "Pesachim 56b:2": "Pesachim 55b:15-56a:1",
     "Pesachim 56b:7": "Pesachim 55b:15-56a:1"
@@ -87,11 +109,13 @@
   },
   "64b": {
     "Pesachim 64b:12": "Pesachim 64a:11-15",
+    "Pesachim 64b:13": "Pesachim 64a:11-15",
     "Pesachim 64b:14": "Pesachim 64a:11-15",
     "Pesachim 64b:16": "Pesachim 64a:11-15",
     "Pesachim 64b:5": "Pesachim 64a:11-15"
   },
   "65a": {
+    "Pesachim 65a:4": "Pesachim 64a:11-15",
     "Pesachim 65a:8": "Pesachim 64a:11-15"
   },
   "65b": {
@@ -109,19 +133,31 @@
   "70a": {
     "Pesachim 70a:3": "Pesachim 69b:12-13"
   },
+  "73a": {
+    "Pesachim 73a:10": "Pesachim 71b:7-11"
+  },
   "76a": {
     "Pesachim 76a:4": "Pesachim 75b:10-11",
     "Pesachim 76a:6": "Pesachim 75b:10-11"
   },
   "79a": {
     "Pesachim 79a:4": "Pesachim 78b:4"
   },
+  "83b": {
+    "Pesachim 83b:11": "Pesachim 83a:4"
+  },
   "86b": {
     "Pesachim 86b:6": "Pesachim 86a:14"
   },
   "88a": {
     "Pesachim 88a:15": "Pesachim 87a:1-2",
-    "Pesachim 88a:17": "Pesachim 87a:1-2"
+    "Pesachim 88a:17": "Pesachim 87a:1-2",
+    "Pesachim 88a:6": "Pesachim 87a:1-2"
+  },
+  "8b": {
+    "Pesachim 8b:12": "Pesachim 2a:1",
+    "Pesachim 8b:14": "Pesachim 2a:1",
+    "Pesachim 8b:16": "Pesachim 2a:1"
   },
   "90a": {
     "Pesachim 90a:7": "Pesachim 89b:1"
@@ -132,6 +168,13 @@
   "91a": {
     "Pesachim 91a:6": "Pesachim 90b:27-91a:3"
   },
+  "92a": {
+    "Pesachim 92a:5": "Pesachim 91b:17-92a:2"
+  },
+  "94b": {
+    "Pesachim 94b:13": "Pesachim 93b:10",
+    "Pesachim 94b:8": "Pesachim 93b:10"
+  },
   "95b": {
     "Pesachim 95b:2": "Pesachim 95a:1"
   }

diff --git a/precomputed/mishna_references/Sanhedrin.json b/precomputed/mishna_references/Sanhedrin.json
@@ -23,11 +23,15 @@
     "Sanhedrin 10a:11": "Sanhedrin 2a:1-8"
   },
   "10b": {
+    "Sanhedrin 10b:2": "Sanhedrin 2a:1-8",
     "Sanhedrin 10b:8": "Sanhedrin 2a:1-8"
   },
   "110b": {
     "Sanhedrin 110b:2": "Sanhedrin 107b:18-108a:4"
   },
+  "112a": {
+    "Sanhedrin 112a:4": "Sanhedrin 111b:6-13"
+  },
   "112b": {
     "Sanhedrin 112b:1": "Sanhedrin 111b:6-13"
   },
@@ -51,13 +55,15 @@
     "Sanhedrin 14b:8": "Sanhedrin 2a:1-8"
   },
   "15a": {
+    "Sanhedrin 15a:13": "Sanhedrin 2a:1-8",
     "Sanhedrin 15a:15": "Sanhedrin 2a:1-8",
     "Sanhedrin 15a:5": "Sanhedrin 2a:1-8",
     "Sanhedrin 15a:6": "Sanhedrin 2a:1-8",
     "Sanhedrin 15a:8": "Sanhedrin 2a:1-8"
   },
   "15b": {
-    "Sanhedrin 15b:11": "Sanhedrin 2a:1-8"
+    "Sanhedrin 15b:11": "Sanhedrin 2a:1-8",
+    "Sanhedrin 15b:7": "Sanhedrin 2a:1-8"
   },
   "16a": {
     "Sanhedrin 16a:10": "Sanhedrin 2a:1-8",
@@ -82,10 +88,12 @@
     "Sanhedrin 19a:14": "Sanhedrin 18a:5-10",
     "Sanhedrin 19a:15": "Sanhedrin 18a:5-10",
     "Sanhedrin 19a:4": "Sanhedrin 18a:5-10",
-    "Sanhedrin 19a:5": "Sanhedrin 18a:5-10"
+    "Sanhedrin 19a:5": "Sanhedrin 18a:5-10",
+    "Sanhedrin 19a:8": "Sanhedrin 18a:5-10"
   },
   "19b": {
-    "Sanhedrin 19b:2": "Sanhedrin 18a:5-10"
+    "Sanhedrin 19b:2": "Sanhedrin 18a:5-10",
+    "Sanhedrin 19b:3": "Sanhedrin 18a:5-10"
   },
   "22b": {
     "Sanhedrin 22b:5": "Sanhedrin 22a:11"
@@ -106,9 +114,11 @@
     "Sanhedrin 28b:4": "Sanhedrin 27b:10-13"
   },
   "29a": {
+    "Sanhedrin 29a:4": "Sanhedrin 27b:10-13",
     "Sanhedrin 29a:6": "Sanhedrin 27b:10-13"
   },
   "30a": {
+    "Sanhedrin 30a:10": "Sanhedrin 29a:13-18",
     "Sanhedrin 30a:19": "Sanhedrin 29a:13-18"
   },
   "31a": {
@@ -129,7 +139,8 @@
     "Sanhedrin 34a:3": "Sanhedrin 32a:1-10"
   },
   "34b": {
-    "Sanhedrin 34b:21": "Sanhedrin 32a:1-10"
+    "Sanhedrin 34b:21": "Sanhedrin 32a:1-10",
+    "Sanhedrin 34b:8": "Sanhedrin 32a:1-10"
   },
   "35a": {
     "Sanhedrin 35a:5": "Sanhedrin 32a:1-10",
@@ -169,6 +180,7 @@
     "Sanhedrin 41b:9": "Sanhedrin 40a:1-2"
   },
   "42a": {
+    "Sanhedrin 42a:11": "Sanhedrin 40a:1-2",
     "Sanhedrin 42a:7": "Sanhedrin 40a:1-2",
     "Sanhedrin 42a:9": "Sanhedrin 40a:1-2"
   },