revert: undo unauthorized merge of YD 87:9 (PR #260)

mistaber/corpus/corpus-manifest.yaml

@@ -643,54 +643,18 @@ encoded_seifim:
           - ".mistaber-artifacts/validation-report-YD-89-1.md"
           - ".mistaber-artifacts/review-package-YD-89-1.md"
 
-      seif_9:
-        file: yd_87/seif_9.lp
-        base_file: yd_87/base.lp
-        description: "Chalav keivah (milk found in abomasum) — pirsha status; 3-way machloket Mechaber/Rema/Rashi"
-        status: complete
-        artifact_path: "mistaber/corpus/yoreh_deah/siman_87/seif_9/"
-        rules_count: 7
-        makor_count: 42
-        worlds:
-          - mechaber
-          - rema
-        validation_status: passed
-        tests_passed: 22
-        tests_total: 22
-        qa_questions: 11
-        qa_questions_passed: 11
-        encoded_date: "2026-06-04"
-        completion_date: "2026-06-05"
-        session_id: "25cead40-9e54-4376-9290-2158099a5ccd"
-        commit_hash: "5de95f8"
-        reviewer: RNekhoda
-        review_finding: "HAL-2: issur(hanaah, d_oraita) added for Rema/tzalul at review (was missing)"
-        key_rulings:
-          - "Mechaber (Rif/Rambam): chalav_keivah = pirsha — mutar bishul/achiila/hanaah (even tzalul)"
-          - "Rema (Rabbenu Tam): karush = pirsha (mutar); tzalul = chalav mamash → issur d_oraita all three prohibitions"
-          - "Madrega d_oraita for Rema/tzalul: Rabbenu Tam holds tzalul NOT chalav shechuta (AH 87:35 a contrario)"
-          - "Shach sk25: karush assur lchatchila (mara'it ayin), mutar bedieved"
-          - "Tzalul-she-nikrash = din tzalul (Rashba via Shach sk25)"
-          - "Kaf HaChayim sk75: even Sefardim should be machmir for tzalul bedieved"
-          - "Primary Talmudic source: Chullin 116b hilkheta 'chalav hamechunas bah pirsha b'alma'"
-        machloket:
-          - id: chalav_keivah_tzalul_status
-            dispute: mechaber vs rema
-            mechaber: "mutar — pirsha, not chalav at all"
-            rema: "issur d_oraita — tzalul = chalav mamash (Rabbenu Tam)"
-          - id: chalav_keivah_karush_status
-            dispute: rabbenu_tam vs rashi
-            rabbenu_tam: "mutar — karush = pirsha"
-            rashi: "assur — karush = chalav mamash (not adopted l'halacha)"
-
 progress:
   total_simanim_started: 2
-  total_seifim_encoded: 10  # YD 87:1-9 + YD 89:1
-  total_rules: 175  # 168 + 7 (seif_9)
-  total_makor: 216  # 174 + 42 (seif_9)
-  last_updated: "2026-06-05"
+  total_seifim_encoded: 9  # YD 87:1-8 + YD 89:1
+  total_rules: 168  # 149 + 19 (seif_8)
+  total_makor: 174  # 117 + 57 (seif_8)
+  last_updated: "2026-06-03"
 
 next_targets:
+  - ref: "YD 87:9"
+    topic: "Basar bechalav — chalav keivah, milk in abomasum (seif 9)"
+    priority: medium
+    notes: "Natural continuation of YD 87 series"
   - ref: "YD 89:2"
     topic: "Eating meat after dairy (reverse direction)"
     priority: high