Resolution: Supported
Caveats: First survival verdict of the depth line. The primary clause holds on both extent bases (0.316 daf / 0.260 words), robust across the covered-tractates-only view (0.398) - every route stays under 0.45. Non-verdict secondaries performed as the disclosed prior predicted: Kodashim = 0.106, marginally OVER the conjecture's <0.1 sub-clause (the Hullin effect - the Rif covers Hullin fully); Tohorot = 0.000 exactly; the Zeraim-excluding-Berakhot sub-clause is vacuous on this instrument (Berakhot is Zeraim's only gemara-bearing tractate). Extent is folio-count, not a text-critical alignment; the wordcount variant covers that risk. Independent VERIFY open per the no-self-grading rule.
Registered against Sefaria's open Rif (Hilchot HaRif) keyed to the Babylonian Talmud's daf structure. Claim under test (primary clause): the Rif carries text for UNDER 45% of the Bavli's total daf-extent (coverage share R < 0.45).
Resolution criteria — the registered fine print
Resolution criteria: DATA: Sefaria's per-tractate Rif texts and the Bavli's per-tractate daf extents (both from the Sefaria API/Export; freeze snapshot + sha256). COVERAGE: for each Bavli tractate, the Rif's daf-extent in Sefaria's Rif pagination mapped against the Bavli tractate's daf count; per the conjecture's void rule, the test VOIDS FOR COVERAGE if Sefaria's Rif is not mapped to Bavli daf references - in that case use the Rif's own Vilna daf extent as numerator against the Bavli Vilna daf extent as denominator (both are daf counts; state which route was used). R = sum(Rif extent) / sum(Bavli extent) over all Bavli tractates. Secondary (non-verdict): per-order shares for Kodashim, Tohorot, Zeraim-minus-Berakhot, and Moed+Nashim+Nezikin. CLAUSE PRECEDENCE: (1) INCONCLUSIVE_BY_DESIGN if the Rif corpus is absent or extents cannot be established for more than 3 tractates; (2) SUPPORTED if R < 0.45; (3) REFUTED if R >= 0.45. Compute firewalled from thresholds and direction.
Known-priors disclosure — what the registrant already knew
Known priors disclosure: Shepherd triage (2026-07-17) graded this adjacent: the tractate-level omission map is textbook (Elon; Ta-Shma) but the daf-extent fraction is un-run and estimates straddle 0.45 - a genuinely open test. One flagged fact: the Rif covers Hullin in full (a Kodashim tractate, ~25% of that order's extent), so the SECONDARY Kodashim-near-zero clause is expected to fail; it does not bear the verdict. The compute agent is firewalled from this disclosure.
Method and dataset — how it was measured
Register-before-compute (conjecture_prediction_batch_20260718.json row 2; prior DISCLOSED: estimates straddled the threshold, genuinely open; Hullin-in-Kodashim flagged). Firewalled Sonnet compute (no thresholds/direction); two independent code paths cross-validated (shape-derived vs fetched-text counts). computed_at postdates registered_at (rule 6).
Dataset: Sefaria open corpus, live API snapshot 2026-07-18 (149 payloads sha256-manifested in the compute artifact): all 37 gemara-bearing Bavli tractates (2,744 dapim total, final-daf convention) vs the 25 extant 'Rif <Tractate>' indices (868 dapim, the Rif's OWN Vilna foliation - the registered void-rule fallback route, since Sefaria's Rif is not mapped to Bavli dapim; structural finding documented). Word-count variant: Bavli 1,928,380 vs Rif 501,086 Hebrew words.
computed 2026-07-18