feat(ontology): encode YD 87:9 — chalav keivah (milk in abomasum)

mistaber/corpus/corpus-manifest.yaml

@@ -643,18 +643,54 @@ 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: 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"
+  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"
 
 next_targets:
-  - ref: "YD 87:9"
-    topic: "Basar bechalav — rennet/queijo rules (seif 9)"
-    priority: medium
-    notes: "Natural continuation of YD 87 series"
   - ref: "YD 89:2"
     topic: "Eating meat after dairy (reverse direction)"
     priority: high

mistaber/corpus/yoreh_deah/siman_87/seif_9/corpus-chain.mermaid

@@ -0,0 +1,45 @@
+graph TD
+    SA["SA YD 87:9<br/>Mechaber: chalav_keivah = mutar<br/>Rema: tzalul = assur (vechen nohagim)"]
+    TUR["Tur YD 87<br/>3-way machloket:<br/>Rif vs. Rabbenu Tam vs. Rashi"]
+    BY["Beit Yosef YD 87<br/>Transmits machloket<br/>rules like Rif"]
+    RIF["Rif (R' Yitzchak Alfasi)<br/>Keivah milk = pirsha<br/>mutar even tzalul"]
+    RAMBAM["Rambam MT Maachalot Asurot 9:15<br/>Keivah milk = pirsha (waste)<br/>changes in digestive system"]
+    RT["Rabbenu Tam<br/>Karush = mutar (pirsha)<br/>Tzalul = assur (chalav mamash)"]
+    RASHI["Rashi<br/>Both karush and tzalul<br/>= chalav mamash (assur)"]
+    ROSH["Rosh<br/>Agrees with Rabbenu Tam:<br/>karush mutar, tzalul assur"]
+    GEM["Gemara Chullin 109b<br/>Baraita: keivah bishul b'chalavah = assur<br/>(disputed in Rishonim)"]
+    GEM116["Gemara Chullin 116a Mishna<br/>קֵבַת גּוֹי וְשֶׁל נְבֵלָה אֲסוּרָה<br/>Рashi: קבה=חלב קרוש"]
+    MISH["Mishnah Chullin 8<br/>Kol HaBasar — basar bechalav<br/>general prohibition framework"]
+    TORAH["Torah Shemot 23:19<br/>Lo tevashel gedi b'chalev imo<br/>3x prohibition"]
+
+    SA --> TUR
+    SA --> BY
+    TUR --> RIF
+    TUR --> RT
+    TUR --> RASHI
+    TUR --> ROSH
+    BY --> RIF
+    RIF --> GEM
+    RAMBAM --> GEM
+    RT --> GEM
+    RASHI --> GEM
+    GEM --> GEM116
+    GEM --> MISH
+    MISH --> TORAH
+
+    SA2["SA YD 87:9<br/>Commentary Layer"]
+    SHACH24["Shach sk 24<br/>Rationale: yatza mi-torat ochel<br/>= pirsha v'tinovet"]
+    SHACH25["Shach sk 25<br/>Machloket: Rema = R.Tam<br/>Maharshal = Rashi"]
+    TAZ7["Taz sk 7<br/>Rema rules like R.Tam<br/>tzalul only assur"]
+    AHS["Arukh HaShulchan YD 87:38<br/>Rashi not cited by SA<br/>Seif 10 adds conditions"]
+    KAF["Kaf HaChayim YD 87:74-75<br/>sk74: pirsha rationale (Shach sk24)<br/>sk75: אפי' ספרדים יחמירו כרמ\"א בצלול"]
+
+    SA --> SA2
+    SA2 --> SHACH24
+    SA2 --> SHACH25
+    SA2 --> TAZ7
+    SA2 --> AHS
+    SA2 --> KAF
+
+    style GEM116 fill:#d4edda,stroke:#28a745
+    style KAF fill:#d4edda,stroke:#28a745

mistaber/corpus/yoreh_deah/siman_87/seif_9/corpus-report.md

@@ -0,0 +1,160 @@
+# Corpus Report: SA Yoreh De'ah 87:9 — Chalav Keivah (Milk Found in the Stomach)
+
+**Session:** yd_87-9  
+**Date:** 2026-06-04  
+**Encoder:** agent  
+**Complexity:** 6/10  
+
+---
+
+## Primary Text
+
+**Hebrew (SA YD 87:9):**
+> חלב הנמצא בקיבה אינו חלב ומותר לבשל בו בשר אפילו בצלול שבה (טור בשם רי"ף ורמב"ם) ויש מי שאוסר (תוס' ורא"ש ור"ת ורשב"א ור"ן) (וכן נוהגין):
+
+**English (Sefaria Community Translation):**
+> Milk that was found in the stomach [of the animal] is not called milk, and it is permitted to cook meat in it, even in the liquidy part. And there are those that forbid it (Tosfos, Rosh, Rabbeinu Tam, Rashba and Ran) — and so is our custom.
+
+---
+
+## Subject Matter
+
+This seif addresses the halachic status of **chalav keivah** — milk found naturally in the **keivah** (abomasum/fourth stomach, the rennet-producing organ) of a slaughtered kosher ruminant. The keivah contains residual milk from the animal's nursing, mixed with digestive enzymes.
+
+The central question: does this milk count as halachic **chalav** for purposes of the basar bechalav prohibition?
+
+---
+
+## Semantic Decomposition
+
+| ID | Type | Statement | Authority |
+|----|------|-----------|-----------|
+| s1 | CLASSIFICATION | Milk found in keivah is not [halachic] milk | Mechaber (Rif, Rambam) |
+| s2 | HETER | Permitted to cook meat in it, even the liquid portion (tzalul) | Mechaber |
+| s3 | ISSUR | There are those who forbid it | Tosafot, Rosh, Rabbenu Tam, Rashba, Ran |
+| s4 | MINHAG | Such is our custom [to be stringent] | Rema |
+
+---
+
+## Three-Way Machloket
+
+| Authority | Karosh (congealed) | Tzalul (liquid) | Source |
+|-----------|-------------------|-----------------|--------|
+| **Mechaber** (Rif, Rambam) | Mutar — not chalav (pirsha) | Mutar — not chalav (pirsha) | Tur b'shem Rif; MT Maachalot Asurot 9:15 |
+| **Rema** (Rabbenu Tam, Rosh) | Mutar — not chalav | **Assur** — chalav mamash | Tur YD 87; Taz sk7; Rema gloss "vechen nohagim" |
+| **Rashi / Maharshal** | **Assur** — chalav mamash | **Assur** — chalav mamash | Tur YD 87; Shach sk25; YSh ch.25 sk107 |
+
+**Adopted l'halacha:** Mechaber for Sefardim; Rema/Rabbenu Tam for Ashkenazim.  
+Rashi/Maharshal: minority view, noted as annotation only.
+
+---
+
+## Rationale for Mechaber's Leniency
+
+**Rambam (MT Forbidden Foods 9:15):**
+> "It is no longer considered as milk — it is considered as a waste product (פירשא), because it undergoes a change in the digestive system."
+
+**Shach sk 24 explanation:**
+> "It is not milk — it has left the category of food (יצא מתורת אוכל) and is considered excrement/waste (פרש וטנופת)."
+
+The keivah milk has undergone digestive transformation rendering it legally non-food — outside the halachic category of chalav entirely.
+
+---
+
+## Derivation Chain
+
+```
+Torah: Shemot 23:19 (lo tevashel gedi b'chalev imo)
+  ↓
+Mishnah Chullin 8 (kol habasar — BB framework)
+  ↓
+Gemara Chullin 109b:9 (baraita: keivah bishul b'chalavah)
+  ↓ [PENDING: Chullin 116a full sugya]
+Rif on Chullin [PENDING] | Rashi | Rabbenu Tam
+  ↓                           ↓          ↓
+Rambam MT 9:15          both assur   karush mutar
+(pirsha — mutar)                     tzalul assur
+  ↓
+Tur YD 87 (documents full 3-way machloket)
+  ↓
+Beit Yosef YD 87 (rules like Rif)
+  ↓
+SA YD 87:9 (Mechaber=Rif; Rema gloss=Rabbenu Tam)
+  ↓
+Shach sk24/25, Taz sk7, Aruch HaShulchan 87:38
+[PENDING: Kaf HaChayim 87:74-75]
+```
+
+---
+
+## Commentary Analysis
+
+### Shach (Siftei Kohen)
+- **sk 24** — CLARIFICATION: explains the "not milk" ruling via yatza mi-torat ochel (left the food category)
+- **sk 25** — DISPUTE: documents the three-way machloket; confirms Rema follows Rabbenu Tam; notes Maharshal follows Rashi (both karush and tzalul assur)
+
+### Taz (Turei Zahav)
+- **sk 7** — CLARIFICATION: explicitly confirms Rema follows Rabbenu Tam (not Rashi); tzalul assur, karush mutar
+
+### Aruch HaShulchan (YD 87:38)
+- PRACTICAL: notes SA does not even cite Rashi's view; seif 10 adds conditions for processing (salting/soaking) that affect even the lenient Rif/Rambam position
+
+### Pending
+- **Kaf HaChayim sk 74-75** — Sefardi practical ruling [Sefaria SSE pending]
+
+---
+
+## Seif 10 Dependency
+
+SA YD 87:10 (context for seif 9) adds conditions under which **even the lenient view** (Rif/Rambam) becomes forbidden:
+- If keivah milk was **salted** inside the keivah (maliach k'roteiach) → forbidden for rennet use
+- If keivah milk **soaked** for a day (kavush k'mevushal) → forbidden for rennet use
+
+This will be encoded in a separate `seif_10.hll` and is flagged as an optional dependency.
+
+---
+
+## Encoding Decisions Summary
+
+| ID | Type | Decision |
+|----|------|----------|
+| ED-87-9-001 | event_identification | is_chalav_keivah_mixture (presence in mixture) |
+| ED-87-9-002 | feature_selection | Two subtypes: chalav_keivah_karush + chalav_keivah_tzalul |
+| ED-87-9-003 | category_assignment | New food_category isolated from mixture_has_chalav (nasiyovei pattern) |
+| ED-87-9-004 | boundary_case | Two positions: Mechaber + Rema/Rabbenu Tam; Rashi/Maharshal as annotation() |
+
+---
+
+## New Predicates Required
+
+| Predicate | Arity | Description |
+|-----------|-------|-------------|
+| `chalav_keivah` | food_category | Base type — keivah milk substance |
+| `chalav_keivah_karush` | food_category | Congealed keivah milk |
+| `chalav_keivah_tzalul` | food_category | Liquid keivah milk |
+| `mixture_has_chalav_keivah` | 1 | Detection: mixture contains any chalav_keivah |
+| `is_chalav_keivah_mixture` | 1 | Beheima + any chalav_keivah |
+| `is_chalav_keivah_tzalul_mixture` | 1 | Beheima + liquid chalav_keivah (for Rema issur) |
+
+base.hll guard extension required: add `not food_type(F, chalav_keivah)` (and subtypes) to `mixture_has_chalav`.
+
+---
+
+## Pending Sources (Sefaria SSE Reconnection Required)
+
+- [ ] Chullin 116a — full Gemara sugya (primary talmudic source)
+- [ ] Rashi on Chullin 116a
+- [ ] Tosafot on Chullin 116a
+- [ ] Rif on Chullin (keivah section)
+- [ ] Kaf HaChayim on SA YD 87:74-75
+
+These must be fetched and logged via `log_source_fetch()` before the hll-encode phase.
+
+---
+
+## Gap Analysis
+
+- **Missing predicates:** 6 new predicates (see table above)
+- **World coverage:** mechaber + rema sufficient; no new worlds needed
+- **base.hll guard:** requires extension (3 new `not food_type(F, X)` guards)
+- **Dependencies:** seif_1.hll (BB framework), seif_8.hll (nasiyovei pattern template)