[codex] Add Mistaber XLOG YD 87:1 slice

[levi770]

Mistaber XLOG Human Validation PR

• Slice id: smicha86_u01_s87_seif_1
• Branch: codex/xlog-goal-bundle
• Commit for review: current PR head after this evidence refresh
• Lifecycle state: awaiting_human_after_commentary_second_pass
• Evidence manifest: xlog/evidence/smicha86/u01/yd_87/seif_1/evidence-manifest.yaml

Human Reviewer Request

Please validate whether the second-pass XLOG law faithfully represents Shulchan Arukh, Yoreh De'ah 87:1 after commentary and upstream source-chain expansion.
All source material was fetched through Sefaria MCP. Merge still requires human approval and final merge validation.

Source-Chain Expansion

Evidence	Path
Linked-source selection	xlog/evidence/smicha86/u01/yd_87/seif_1/linked-source-selection.yaml
Fetch log	xlog/evidence/smicha86/u01/yd_87/seif_1/source-fetch-log.yaml
Source claims	xlog/evidence/smicha86/u01/yd_87/seif_1/source-claims.yaml
Linked text artifacts	xlog/evidence/smicha86/u01/yd_87/seif_1/sources/linked/*.json
Second-pass outcomes	xlog/evidence/smicha86/u01/yd_87/seif_1/second-pass-outcomes.yaml
Validation report	xlog/evidence/smicha86/u01/yd_87/seif_1/validation-report.md

Selected linked source families: Taz, Shach/Siftei Kohen, Beur HaGra, Kaf HaChayim, Pitchei Teshuva, Pri Megadim, Tur, Rambam/Mishneh Torah, Talmud, and Torah verses.

Second-Pass Changes

Area	Result
Torah cooking and benefit prohibitions	Preserved with expanded Torah/Talmud/Rambam provenance
Torah eating prohibition	Refined with unusual eating/benefit boundary evidence
Cooking condition	Refined to distinguish pickling and salting from Torah-level cooking
Rabbinic non-Torah forms	Refined with non-Torah cooking and rabbinic benefit handling
Rema benefit permission	Split from Maharshal's stricter view; both are authority-scoped

No new public predicates were introduced. The ontology grounding ledger was rerun after commentary expansion and still reuses canonical predicates.

XLOG Artifacts

• Program: xlog/programs/corpus/yoreh_deah/siman_87/smicha86_u01_s87_seif_1.xlog
• Scenarios:
  • xlog/scenarios/smicha86/u01/yd_87/seif_1/positive.xlog
  • xlog/scenarios/smicha86/u01/yd_87/seif_1/negative.xlog
  • xlog/scenarios/smicha86/u01/yd_87/seif_1/boundary.xlog
  • xlog/scenarios/smicha86/u01/yd_87/seif_1/conflict.xlog
  • xlog/scenarios/smicha86/u01/yd_87/seif_1/provenance.xlog

Machine Validation

Scenario	Output rows	Status
positive	3	pass
negative	0	pass
boundary	11	pass
conflict	4	pass
provenance	50	pass

Both xlog run and xlog explain --format json passed for every scenario. Full transcripts and explain JSON are under xlog/evidence/smicha86/u01/yd_87/seif_1/.

Direct scenario rows: positive 3, negative 0, boundary 11, conflict 4, provenance 50.

Human Validation Checklist

• The threefold Torah derivation is faithful to the primary text and linked Torah/Talmud/Rambam sources.
• The pickling/salting boundary correctly reflects Shach and Gra.
• The unusual eating/benefit boundary correctly reflects Kaf HaChayim and Pitchei Teshuva.
• The Rema/Taz/Shach benefit permission and Maharshal stringency are correctly authority-scoped.
• The second-pass outcome ledger accurately classifies every first-pass claim and rule.

Verdict Schema

human_verdict:
  slice_id: "smicha86_u01_s87_seif_1"
  commit: "latest"
  verdict: approved
  reviewer: "<github-handle>"
  reviewed_at: "<iso8601>"

Allowed verdicts:

• approved
• changes_requested
• domain_escalation_required