fix(ontology): re-validate YD 87:7 — Q015 encoding fix + full QA suite

mistaber/corpus/corpus-manifest.yaml

@@ -430,9 +430,19 @@ encoded_seifim:
         validation_status: passed
         tests_passed: 33
         tests_total: 33
+        qa_questions: 15
+        qa_questions_passed: 15
         encoded_date: "2026-05-01"
+        revalidated_date: "2026-06-02"
+        commit_hash: "612bcd7106e550aa4e29bc34fa176fdc23ca7642"
         session_id: "687d3b39-20f1-487b-afec-b18588f75241"
+        revalidation_session_id: "e9c4ac26-a927-42ce-99fb-8309377ab13e"
         reviewer: human
+        encoding_fixes:
+          - rule: r_non_basar_part_heter_hanaah (mechaber/rema/ashk_ah)
+            change: "Added 'not is_special_skin_chalav_mixture(M)' guard — prevents heter(hanaah)+issur(hanaah,d_oraita) coexistence for special skins"
+            decision_ref: ED-87-7-004b
+            detected_in: Q015 (qa-review.yaml)
         key_rulings:
           - "Shlil (fetus) + chalav = d'oraita for bishul and achiila (Mechaber, Chullin 113b)"
           - "Shilya, or, gidin, atzamot, ikrei karnayim, tlafayim rakhim = patur min d'oraita"
@@ -498,6 +508,26 @@ encoded_seifim:
           - mistaber/corpus/yoreh_deah/siman_87/seif_7/tests/scenario_neg_hardbone_87_7.hll
           - mistaber/corpus/yoreh_deah/siman_87/seif_7/tests/scenario_shishim_87_7.hll
           - mistaber/corpus/yoreh_deah/siman_87/seif_7/tests/test_yd_87_7.py
+          - mistaber/corpus/yoreh_deah/siman_87/seif_7/qa-set.yaml
+          - mistaber/corpus/yoreh_deah/siman_87/seif_7/qa-run.yaml
+          - mistaber/corpus/yoreh_deah/siman_87/seif_7/qa-translation.yaml
+          - mistaber/corpus/yoreh_deah/siman_87/seif_7/qa-review.yaml
+          - mistaber/corpus/yoreh_deah/siman_87/seif_7/tests/scenarios/scenario_q001_87_7.hll
+          - mistaber/corpus/yoreh_deah/siman_87/seif_7/tests/scenarios/scenario_q002_87_7.hll
+          - mistaber/corpus/yoreh_deah/siman_87/seif_7/tests/scenarios/scenario_q003_87_7.hll
+          - mistaber/corpus/yoreh_deah/siman_87/seif_7/tests/scenarios/scenario_q004_87_7.hll
+          - mistaber/corpus/yoreh_deah/siman_87/seif_7/tests/scenarios/scenario_q005_87_7.hll
+          - mistaber/corpus/yoreh_deah/siman_87/seif_7/tests/scenarios/scenario_q006_87_7.hll
+          - mistaber/corpus/yoreh_deah/siman_87/seif_7/tests/scenarios/scenario_q007_87_7.hll
+          - mistaber/corpus/yoreh_deah/siman_87/seif_7/tests/scenarios/scenario_q008_87_7.hll
+          - mistaber/corpus/yoreh_deah/siman_87/seif_7/tests/scenarios/scenario_q009_87_7.hll
+          - mistaber/corpus/yoreh_deah/siman_87/seif_7/tests/scenarios/scenario_q010_87_7.hll
+          - mistaber/corpus/yoreh_deah/siman_87/seif_7/tests/scenarios/scenario_q011_87_7.hll
+          - mistaber/corpus/yoreh_deah/siman_87/seif_7/tests/scenarios/scenario_q012_87_7.hll
+          - mistaber/corpus/yoreh_deah/siman_87/seif_7/tests/scenarios/scenario_q013_87_7.hll
+          - mistaber/corpus/yoreh_deah/siman_87/seif_7/tests/scenarios/scenario_q014_87_7.hll
+          - mistaber/corpus/yoreh_deah/siman_87/seif_7/tests/scenarios/scenario_q015_87_7.hll
+          - tests/engine/test_tech_health_yd_87_7.py
 
   # Yoreh De'ah Siman 89: Waiting Between Meat and Dairy
   yd_89:

mistaber/corpus/yoreh_deah/siman_87/seif_7/qa-review.yaml

@@ -0,0 +1,88 @@
+reference: "YD 87:7"
+reviewed_at: "2026-05-28T10:00:00+00:00"
+reviewer: "RNekhoda"
+overall_result: "pass"
+
+verdicts:
+  - question_id: "Q-87-7-001"
+    verdict: "pass"
+    notes: ""
+
+  - question_id: "Q-87-7-002"
+    verdict: "pass"
+    notes: ""
+
+  - question_id: "Q-87-7-003"
+    verdict: "pass"
+    notes: ""
+
+  - question_id: "Q-87-7-004"
+    verdict: "pass"
+    notes: ""
+
+  - question_id: "Q-87-7-005"
+    verdict: "pass"
+    notes: >-
+      Engine outputs issur(d_oraita) which correctly reflects safek d'oraita l'chumra.
+      The safek annotation is stored as annotation/3 in the ontology. Translation clarifies this.
+
+  - question_id: "Q-87-7-006"
+    verdict: "pass"
+    notes: ""
+
+  - question_id: "Q-87-7-007"
+    verdict: "pass"
+    notes: ""
+
+  - question_id: "Q-87-7-008"
+    verdict: "pass"
+    notes: ""
+
+  - question_id: "Q-87-7-009"
+    verdict: "pass"
+    notes: >-
+      Rema has its own independent rule (r_rema_bb_beheima_achiila) that mirrors Mechaber —
+      both independently assert d_oraita. Not inheritance but parallel agreement.
+      Translation updated to reflect this distinction (translation_wrong resolved).
+
+  - question_id: "Q-87-7-010"
+    verdict: "pass"
+    notes: ""
+
+  - question_id: "Q-87-7-011"
+    verdict: "pass"
+    notes: ""
+
+  - question_id: "Q-87-7-012"
+    verdict: "pass"
+    notes: ""
+
+  - question_id: "Q-87-7-013"
+    verdict: "pass"
+    notes: ""
+
+  - question_id: "Q-87-7-014"
+    verdict: "pass"
+    notes: ""
+
+  - question_id: "Q-87-7-015"
+    verdict: "pass"
+    notes: >-
+      encoding_wrong resolved: added 'not is_special_skin_chalav_mixture(M)' guard to
+      r_non_basar_part_heter_hanaah (mechaber, rema, ashk_ah). Now holds(heter(hanaah,m15))
+      is absent; only holds(issur(hanaah,m15,d_oraita)) fires for special skins.
+      Shilya contrast (m15b heter hanaah) confirmed preserved.
+    follow_up_required: false
+
+summary:
+  total_questions: 15
+  pass: 15
+  scenario_wrong: 0
+  encoding_wrong: 0
+  expected_answer_wrong: 0
+  translation_wrong: 0
+  encoding_fixes_applied:
+    - file: "mistaber/dsl/corpus/yd_87/seif_7.hll"
+      rules_modified: ["r_non_basar_part_heter_hanaah", "r_non_basar_part_heter_hanaah_rema", "r_non_basar_part_heter_hanaah_ashk_ah"]
+      change: "Added 'not is_special_skin_chalav_mixture(M)' guard to prevent heter+issur coexistence for special skins"
+      decision_ref: "ED-87-7-004b"