BrainyBlaze · levi770 · Jun 3, 2026 · Jun 3, 2026 · Jun 3, 2026 · Jun 3, 2026
diff --git a/CLAUDE.md b/CLAUDE.md
@@ -315,11 +315,11 @@ update_checkpoint("corpus-prep", status="in_progress")
 # Submit for review with artifacts
 update_checkpoint("corpus-prep",
     status="pending_review",
-    artifacts={
-        "report": ".mistaber-artifacts/corpus-report-YD-87-3.md",
-        "sources": ".mistaber-artifacts/corpus-sources-YD-87-3.yaml",
-        "chain": ".mistaber-artifacts/corpus-chain-YD-87-3.mermaid",
-    }
+    artifacts=[
+        {"path": ".mistaber-artifacts/corpus-report-YD-87-3.md", "type": "markdown", "size": 0},
+        {"path": ".mistaber-artifacts/corpus-sources-YD-87-3.yaml", "type": "yaml", "size": 0},
+        {"path": ".mistaber-artifacts/corpus-chain-YD-87-3.mermaid", "type": "mermaid", "size": 0},
+    ]
 )
 
 # Log a Sefaria fetch

diff --git a/mistaber/corpus/corpus-manifest.yaml b/mistaber/corpus/corpus-manifest.yaml
@@ -529,6 +529,82 @@ encoded_seifim:
           - mistaber/corpus/yoreh_deah/siman_87/seif_7/tests/scenarios/scenario_q015_87_7.hll
           - tests/engine/test_tech_health_yd_87_7.py
 
+      seif_8:
+        file: yd_87/seif_8.lp
+        base_file: yd_87/base.lp
+        description: "Nasiyovei d'chalva — distinct from mei chalav; d'oraita status with beheima"
+        status: complete
+        artifact_path: "mistaber/corpus/yoreh_deah/siman_87/seif_8/"
+        rules_count: 19
+        makor_count: 57
+        worlds:
+          - base
+          - mechaber
+          - rema
+          - shach
+        validation_status: passed
+        tests_passed: 30
+        tests_total: 30
+        qa_questions: 15
+        qa_questions_passed: 15
+        encoded_date: "2026-06-03"
+        completion_date: "2026-06-03"
+        commit_hash: "96ded3968"
+        session_id: "c2bac3a7-1736-492f-9ece-3a0e14842635"
+        reviewer: RNekhoda
+        key_rulings:
+          - "Nasiyovei d'chalva (whey pressed from cheese curd) ≠ mei chalav — d'oraita with beheima"
+          - "Yesh mi she'omer = Rosh (Chullin 8:51:2); BY 87:7 transmits Rosh's words"
+          - "Three d'oraita prohibitions: bishul, achiila, hanaah (incl. hefsed meruba)"
+          - "PMG SD 87:23: hanaah forbidden even hefsed meruba"
+          - "Machloket: Tosafot/Behag/Pri Chadash hold d'rabanan for nasiyovei"
+          - "Boundary: of/chaya + nasiyovei = d'rabanan (not d'oraita)"
+          - "Marit ayin for of+nasiyovei: Rema exempts; Shach disputes (yd:87:8)"
+          - "True mei chalav (post-cooking residual water) = d'rabanan (seif_6)"
+        machloket:
+          - id: nasiyovei_doraita_vs_derabanan
+            dispute: rosh_mechaber vs tosafot_behag_pri_chadash
+            mechaber_rema: d_oraita
+            tosafot_behag_pri_chadash: d_rabanan
+            practical_ruling: "PMG SD 87:23 follows Mechaber"
+          - id: of_nasiyovei_marit_ayin
+            dispute: shach vs rema
+            shach: issur_bishul_d_rabanan
+            rema: of_exempt_nasiyovei
+            source: "Shach yd:87:8 + SA yd:100:6"
+        encoding_decisions:
+          total: 4
+          definitive: 3
+          probable: 1
+          debatable: 0
+          ids: [ED-87-8-001, ED-87-8-002, ED-87-8-003, ED-87-8-004]
+        new_predicates:
+          - nasiyovei_d_chalva
+          - mixture_has_nasiyovei
+          - is_nasiyovei_chalav_mixture
+          - is_nasiyovei_of_mixture
+          - is_nasiyovei_chaya_mixture
+          - rema_of_exempt_nasiyovei
+        encoding_fixes:
+          - rule: r_nasiyovei_issur_achiila/bishul
+            change: "Removed torah() from makor — Shemot 23:19 is general BB source, not direct source for Rosh's nasiyovei ruling"
+            detected_in: review HA-5
+          - rule: is_derech_bishul_default
+            change: "Added default is_derech_bishul rule for is_nasiyovei_chalav_mixture (mirrors seif_1 default for beheima)"
+            detected_in: validate phase
+        artifacts:
+          - mistaber/corpus/yoreh_deah/siman_87/seif_8/corpus-report.md
+          - mistaber/corpus/yoreh_deah/siman_87/seif_8/corpus-sources.yaml
+          - mistaber/corpus/yoreh_deah/siman_87/seif_8/corpus-chain.mermaid
+          - mistaber/corpus/yoreh_deah/siman_87/seif_8/encoding-decisions.yaml
+          - mistaber/corpus/yoreh_deah/siman_87/seif_8/encoding-report.md
+          - mistaber/corpus/yoreh_deah/siman_87/seif_8/encoding-mapping.yaml
+          - mistaber/corpus/yoreh_deah/siman_87/seif_8/validation-report.md
+          - mistaber/corpus/yoreh_deah/siman_87/seif_8/review-package.md
+          - mistaber/corpus/yoreh_deah/siman_87/seif_8/qa-set.yaml
+          - mistaber/corpus/yoreh_deah/siman_87/seif_8/tests/scenario_pos_87_8.hll
+          - mistaber/corpus/yoreh_deah/siman_87/seif_8/tests/test_yd_87_8.py
+
   # Yoreh De'ah Siman 89: Waiting Between Meat and Dairy
   yd_89:
     siman: 89
@@ -569,14 +645,14 @@ encoded_seifim:
 
 progress:
   total_simanim_started: 2
-  total_seifim_encoded: 8  # YD 87:1-7 + YD 89:1
-  total_rules: 149  # 9 + 19 + 32 + 6 + 5 + 46 + 20 + 12 (seif_5 updated: 3→5 with minhag layer)
-  total_makor: 117  # 20 + 9 + 12 + 5 + 7 + 18 + 25 + 26 (seif_5: 5→7)
-  last_updated: "2026-05-24"
+  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:8"
-    topic: "Basar bechalav — additional details (seif 8)"
+  - 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"

diff --git a/mistaber/corpus/yoreh_deah/siman_87/seif_8/corpus-chain.mermaid b/mistaber/corpus/yoreh_deah/siman_87/seif_8/corpus-chain.mermaid
@@ -0,0 +1,43 @@
+graph TD
+    TORAH["Torah: Shemot 23:19<br/>לא תבשל גדי בחלב אמו<br/>(×3 — bishul, achiila, hanaah)"]
+    TOSEFTA["Tosefta Chullin 8:3<br/>המבשל במי חלב — פטור<br/>(patur for mei chalav)"]
+    GEM["Chullin 114a<br/>Reish Lakish: mei chalav ≠ chalav<br/>for basar bechalav d'oraita"]
+    GEM2["Pesachim 43a / 111b<br/>mei chalav — derabanan"]
+    TOSAFOT["Tosafot (Chullin 114a)<br/>nasiyovei = mei chalav status<br/>→ d'rabanan only"]
+    BEHAG["Behag (Ba'al Halachot Gedolot)<br/>agrees with Tosafot:<br/>nasiyovei = d'rabanan"]
+    ROSH["Rosh on Chullin 8:51:2<br/>PRIMARY SOURCE<br/>ואני אומר דנסיובי דחלבא<br/>אסור מדאורייתא<br/>(Rosh in first person)"]
+    TUR["Tur, Yoreh Deah 87<br/>transmits Rosh ruling;<br/>defines mei chalav vs nasiyovei"]
+    BY["Beit Yosef YD 87:7<br/>Explains Tur passage;<br/>adds ואני אומר confirming<br/>Rosh ruling as accepted halacha"]
+    PMG["Peri Megadim SD 87:23<br/>Practical ruling: follow Mechaber<br/>hanaah forbidden even hefsed meruba<br/>(also cites Pri Chadash = lenient)"]
+    SA88["SA YD 87:8 (Mechaber)<br/>יש מי שאומר = Rosh/BY position<br/>nasiyovei → d'oraita<br/>mei chalav defined (post-cooking)"]
+    SA86["SA YD 87:6 (Mechaber)<br/>mei chalav → d'rabanan<br/>(mei_chalav_thin boundary)"]
+    SHACH["Shach sk 23<br/>cross-ref to YD 81:5<br/>(brief)"]
+    PELETI["Peleti sk 16<br/>Tosafot/Behag: nasiyovei = d'rabanan<br/>of+nasiyovei = draban+draban"]
+    KAF["Kaf HaChayim sk 71<br/>SA accepts Rosh as ruling<br/>d'oraita even for hefsed meruba"]
+    YD81["SA YD 81:5<br/>mei chalav: mutar for nursing<br/>(cross-reference)"]
+
+    TORAH --> TOSEFTA
+    TOSEFTA --> GEM
+    TOSEFTA --> GEM2
+    GEM --> TOSAFOT
+    GEM --> ROSH
+    TOSAFOT --> BEHAG
+    ROSH --> TUR
+    TUR --> BY
+    BY --> SA88
+    SA88 --> PMG
+    GEM2 --> SA86
+    SA86 -.->|"mei_chalav_thin boundary<br/>(seif_6 exclusion of nasiyovei)"| SA88
+    SA88 --> SHACH
+    SA88 --> PELETI
+    SA88 --> KAF
+    SHACH -.-> YD81
+    BEHAG -.->|"machloket (d'rabanan)"| PELETI
+
+    style SA88 fill:#d4edda,stroke:#28a745
+    style SA86 fill:#d4edda,stroke:#28a745
+    style BY fill:#d1ecf1,stroke:#0c5460
+    style PMG fill:#e2d9f3,stroke:#6f42c1
+    style ROSH fill:#fff3cd,stroke:#ffc107
+    style TOSAFOT fill:#f8d7da,stroke:#dc3545
+    style KAF fill:#cce5ff,stroke:#004085
diff --git a/mistaber/corpus/yoreh_deah/siman_87/seif_8/corpus-report.md b/mistaber/corpus/yoreh_deah/siman_87/seif_8/corpus-report.md
@@ -0,0 +1,143 @@
+# Corpus Report — YD 87:8
+## Нсиювей де-халва и мей-халав: граница де-Орайта
+
+**Дата:** 2026-06-02  
+**Сессия:** c2bac3a7-1736-492f-9ece-3a0e14842635  
+**Ветвь:** session/RNekhoda/yd_87-8  
+**Зависимость:** YD:87:6 (обязательная)
+
+---
+
+## Первоисточник
+
+**Иврит (Ашлей Равревей, Лемберг 1888):**
+> יש מי שאומר דנסיובי דחלבא (פי' חלב המתמצת מקפאון הגבינה) אינם בכלל מי חלב ואסור מן התורה אלא מי חלב היינו אחר שעושים הגבינה מבשלים הנסיובי והאוכל צף מלמעלה ולא נשאר בו אלא מים בעלמא זהו הנקרא מי חלב
+
+**Перевод (Sefaria Community Translation):**
+> Есть те, кто говорит, что сыворотка молока (то есть молоко, выжатое из свернувшегося сырного сгустка) не относится к категории «молочной воды» и запрещена по Торе. «Молочная вода» — это то, что остаётся после изготовления сыра: нсиювей варят, пищевой субстрат поднимается наверх, и остаётся одна вода — это и называется мей-халав.
+
+---
+
+## Ключевые термины
+
+| Термин | Значение | Статус |
+|--------|----------|--------|
+| **נסיובי דחלבא** (nasiyovei d'chalva) | Сыворотка, выжатая из сырного сгустка (до варки/снятия пены) | Де-Орайта (по Рошу/ША) |
+| **מי חלב** (mei chalav) | Жидкость, оставшаяся после варки нсиювей и снятия пищевого субстрата | Де-Рабанан (ЙД 87:6) |
+
+---
+
+## Структура сейфа
+
+Сейф состоит из двух частей:
+
+1. **Нормативная часть** (с. s1–s2): нсиювей де-халва ≠ мей-халав → запрет де-Орайта  
+2. **Дефиниционная часть** (с. s3): определение настоящего мей-халав (то, что осталось после варки)
+
+Формулировка «йеш ми ше-омер» указывает на одного авторитетного Ришона — Рош (Раббену Ашер), как подтверждает Тур ЙД 87.
+
+**Точная цепочка:** «Йеш ми ше-омер» в ША = **Рош** (Раббену Ашер), чья позиция передана через Тур ЙД 87. Бет Йосеф 87:7 объясняет этот отрывок Тура и **приводит слова самого Роша**: «וכתב ע"ז ואני אומר דנסיובי מן התורה אסירי» — «и [Рош] написал об этом: Я говорю, что нсиювей запрещены по Торе». «ואני אומר» — это первое лицо **Роша**, а не самого Бет Йосефа. BY выступает передаточным звеном. Тем не менее включение этой позиции в Бет Йосеф и ША подтверждает, что Рав Каро принял её как практическое решение. Пери Мегадим (SD 87:23) постановляет: «для практической hалахи — только слова Мехабера; ханаа запрещена даже при хефсед-мерубе».
+
+**Глоссы отсутствуют:** ни Рема, ни Тав-Зайн на данный сейф не комментируют. Отсутствие глоссы Ремы означает согласие с Мехабером.
+
+---
+
+## Комментарии
+
+### TIER 0 — Первоисточник (Рош)
+
+| Источник | Позиция | Краткое содержание |
+|----------|---------|-------------------|
+| **Рош on Chullin 8:51:2** | Первоисточник | «ואני אומר דנסיובי דחלבא אסור מדאורייתא» — Рош в первом лице; определяет мей-халав; цитирует Тосефту, Рамбама, Р. Симху, Реш Лакиш |
+
+### TIER 1 — Первичные
+
+| Комментатор | Позиция | Краткое содержание |
+|-------------|---------|-------------------|
+| **Бет Йосеф** (87:7) | Передаёт Роша | «וכתב ע"ז ואני אומר» — цитирует слова Роша (первое лицо = Рош); BY — передаточное звено в цепочке |
+| **Шах** (sk 23) | Перекрёстная ссылка | «Не входит в категорию мей-халав. См. ЙД 81:5» |
+| **Пелети** (sk 16) | Махлокет | Тосафот/Бахаг: нсиювей = де-рабанан; кутах из нсиювей = де-рабанан |
+
+### TIER 2 — Дополнительные
+
+| Комментатор | Позиция | Краткое содержание |
+|-------------|---------|-------------------|
+| **Пери Мегадим** (SD 87:23) | Постановление | Следуем Мехаберу. Ханаа запрещена даже при хефсед-мерубе. Прим: При Хадаш (сим. 81:14) — сторонник де-рабанан |
+| **Баэр Хетев** (sk 20) | Перекрёстная ссылка | Отсылает к Шаху на ЙД 81:5 |
+| **Каф Га-Хаим** (sk 71) | Уточнение | ША принимает Роша; де-Орайта даже при хефсед-мерубе (ханаа запрещена) |
+
+---
+
+## Цепочка дериваций
+
+```
+Тора (Шмот 23:19) — לא תבשל גדי בחלב אמו (×3)
+    ↓
+Тосефта Хуллин 8:3 — פטור для мей-халав
+    ↓
+Хуллин 114а — Реш Лакиш: мей-халав ≠ халав для бесар-бе-халав
+    ↓ (две ветви)
+    ├→ Тосафот + Бахаг + При Хадаш: нсиювей = мей-халав → де-рабанан
+    └→ **Рош on Chullin 8:51:2** — «ואני אומר דנסיובי דחלבא אסור מדאורייתא» ← ПЕРВОИСТОЧНИК
+                ↓
+            Тур ЙД 87 — «כתב א"א הרא"ש ז"ל» (цитирует Роша)
+                ↓
+            Бет Йосеф 87:7 — «וכתב ע"ז ואני אומר» (передаёт слова Роша, «ואני» = Рош)
+                ↓
+            ША ЙД 87:8 — «йеш ми ше-омер» = Рош
+                ↓
+            Пери Мегадим SD 87:23: следуем Мехаберу; ханаа запрещена даже при хефсед-мерубе
+```
+
+---
+
+## Махлокет
+
+| Вопрос | Позиция A (Рош / Бет Йосеф / ША) | Позиция B (Тосафот / Бахаг / При Хадаш) |
+|--------|----------------------------------|----------------------------------------|
+| Статус нсиювей де-халва | Де-Орайта | Де-Рабанан |
+| Практическое следствие | Bishul + achiila + hanaah запрещены. Ханаа — даже при хефсед-мерубе (ПМГ) | Hanaah разрешена (Рема 87:1) |
+| Источник | Рош Chullin 8:51:2, Тур ЙД 87, BY 87:7, Пери Мегадим SD 87:23, Каф Га-Хаим sk71 | Пелети sk16 (Тосафот/Бахаг), ПМГ (цитирует При Хадаш сим. 81:14) |
+
+---
+
+## Анализ зависимостей и пробелов
+
+**Обязательная зависимость:** ЙД 87:6  
+- `seif_6.hll` определяет `food_category(mei_chalav_thin)` с явным примечанием `@encoding_note("ED-87-6-004: Nesiuvei dechalba... excluded — it falls under d'oraita per yesh omrim in 87:8")`
+- Сейф 8 является «заполнением» этой границы с другой стороны
+
+**Новые предикаты, необходимые для кодирования:**
+- `nasiyovei_d_chalva` — новый food_category
+- `mixture_has_nasiyovei(M)` — детектор компонента
+- `is_nasiyovei_chalav_mixture(M)` — только бехема+нсиювей
+
+**Границы применения:**
+- Бехема + нсиювей → де-Орайта (сейф 87:8)
+- Чая/эоф + нсиювей → де-Рабанан (аналогия с обычным халавом из сейфим 87:3-4)
+
+---
+
+## Решения о кодировании
+
+| ID | Тип | Выбор |
+|----|-----|-------|
+| ED-87-8-001 | event_identification | Смесь нсиювей + мясо бехема |
+| ED-87-8-002 | feature_selection | Стадия обработки (до/после варки) |
+| ED-87-8-003 | category_assignment | Де-Орайта (mechaber/rema); махлокет → annotation() |
+| ED-87-8-004 | boundary_case | Только бехема+нсиювей = де-Орайта |
+
+Подробности: `encoding-decisions-YD-87-8.yaml`
+
+---
+
+## Сложность
+
+| Параметр | Оценка (0-10) |
+|----------|--------------|
+| Махлокет | 3 |
+| Глубина деривации | 4 |
+| Длина цепочки источников | 4 |
+| Перекрёстные ссылки | 5 |
+| Новые предикаты | 3 |
+| **Итого** | **4/10** |