Resolution: Killed
Caveats: (a) The QUALITATIVE direction survives: R = 0.8719 < 1 (pooled cross-check 0.8856, same direction), i.e. the Bavot ARE terser than the rest of the Yerushalmi, consistent with Lieberman's 'Talmud of Caesarea' thesis (Talmud shel Kisarin, 1931; cf. Sussmann 1990) that Y. Nezikin is a separate, terser redaction. What fails is the specific magnitude the conjecture pinned: a mean segment length below two-thirds of the rest (R < 0.67); the observed 487.0 vs 558.6 chars is a ~13% deficit, not the wagered >33% one. (b) The secondary discourse-marker clause also fails as pinned: the conjecture predicted at least one high-frequency redactional marker differing by >=2x in per-segment rate between the Bavot and the rest; the measured marker (Hebrew tani, the baraita-citation formula) runs 0.537/seg in the Bavot vs 0.727/seg in the rest, ratio 0.739 - a ~1.35x difference in the OTHER direction (the Bavot use the formula LESS often, not >=2x more). This clause is non-verdict by registration; recorded for the record only. (c) Pattern note: this kill has the same shape as the PELLA kill and other recent kills - the conjecture's direction is right but its bold quantitative threshold overshot the data; what dies is the pinned magnitude, not the underlying philological thesis, which the measurement in fact mildly corroborates. (d) Text provenance: Sefaria served the Guggenheimer critical edition (De Gruyter, 1999-2015) for 38 of 39 tractates; Niddah alone came back as a merged composite across its three available witnesses - immaterial to the aggregate (a single small non-Bavot tractate; the Bavot group is uniformly Guggenheimer, and the unweighted and pooled averaging methods agree).
Registered against Sefaria's open Talmud Yerushalmi (verified live open API/export). PREDICTION VERBATIM: Prediction: measuring mean segment (sugya-unit) character length across Sefaria's machine-readable Talmud Yerushalmi, the three Nezikin tractates Bava Kamma, Bava Metzia and Bava Batra will show a mean segment length below two-thirds (a ratio < 0.67) of the mean across the other extant tractates, and at least one high-frequency redactional discourse marker will differ in per-segment rate by a factor of two or more between Yerushalmi Nezikin and the rest - primary clause: the < 0.67 Nezikin-to-rest mean-segment-length ratio; the verdict follows it. The test voids for coverage if the Bavot segmentation cannot be aligned to the rest of the corpus.
Resolution criteria — the registered fine print
Resolution criteria: DENOMINATOR (verbatim): mean segment (sugya-unit) character length across Sefaria's machine-readable Talmud Yerushalmi, per tractate. NUMERATOR GROUPING: the three Nezikin tractates Bava Kamma, Bava Metzia, Bava Batra vs the mean across the OTHER extant Yerushalmi tractates. DATA: fetch each Yerushalmi tractate from the Sefaria API/export; segment = Sefaria's own smallest addressable text unit (the halakhah/segment level); mean segment char length = total Hebrew chars / segment count, per tractate; freeze snapshot+sha256. R = mean(Bavot three) / mean(all other tractates). SECONDARY (non-verdict): at least one high-frequency redactional discourse marker differing by >=2x per-segment rate between Bavot and rest. CLAUSE PRECEDENCE: (1) INCONCLUSIVE_BY_DESIGN (the conjecture's void rule) if the Bavot segmentation cannot be aligned to the rest of the corpus (e.g. structural incompatibility); (2) SUPPORTED if R < 0.67; (3) REFUTED if R >= 0.67. Compute firewalled from threshold and direction.
Known-priors disclosure — what the registrant already knew
Known priors disclosure: Triage (2026-07-17) graded ADJACENT: Lieberman's 'Talmud of Caesarea' thesis (Y. Nezikin a separate, terser redaction) is textbook qualitatively (Lieberman 1931; Sussmann 1990) but no corpus-wide mean-segment-length computation over Sefaria exists. The segment-alignment void is a live risk. Direction genuinely open.
Method and dataset — how it was measured
Register-before-compute: prediction registered verbatim in conjecture_prediction_batch4_20260718.json (file timestamp 2026-07-18T12:15:13Z) before any measurement; compute firewalled (claude-sonnet ran the measurement blind to the 0.67 threshold and to the wagered direction), computed_at_utc 2026-07-18T12:24:38Z with API fetch window 12:20:42-12:21:28Z, postdating registration. Segment definition: Sefaria's smallest addressable Yerushalmi unit, the depth-3 leaf (Chapter>Halakhah>Segment) of each tractate's Hebrew array, HTML-stripped and whitespace-normalized; every one of the 39 extant tractates was confirmed per-response to share this identical JaggedArrayNode depth-3 schema, so the registered coverage-void clause (Bavot segmentation unalignable to the rest) is NOT triggered. R = unweighted mean of per-tractate mean segment char lengths over the three Bavot divided by the same over the other 36 tractates; pooled/volume-weighted ratio computed as cross-check (0.8856, same direction, within 0.014). Registered clause precedence applied: (1) void not triggered; (2) SUPPORTED requires R < 0.67; (3) observed R = 0.8719 >= 0.67, therefore REFUTED.
Dataset: Sefaria Yerushalmi, 39 tractates (Guggenheimer critical ed.), depth-3 segment; bavot_mean 487.0 vs rest_mean 558.6 chars
computed 2026-07-18