diff --git a/Makefile b/Makefile index d7ca5cc..547dfb9 100644 --- a/Makefile +++ b/Makefile @@ -36,7 +36,7 @@ SEARCH_Q ?= computer prometheus-trigger-probe bench-5f-threshold-calibration \ bench-5f-selfmodel-snapshot bench-5f-finetuning-shardchain \ bench-5f-falsification-hard bench-fork-baseline-hard bench-5f-formulate-hard \ - bootstrap-math bootstrap-nli bench-nli-shadow clean clean-db clean-data help \ + bootstrap-math bootstrap-nli bench-nli-shadow export-nli-onnx clean clean-db clean-data help \ textbooks-summary textbooks-urls fetch-textbooks textbooks-stats textbooks-verify \ crawl-textbooks crawl-textbooks-stats textbook textbook-list @@ -787,7 +787,16 @@ bootstrap-math: bootstrap ## install [math] extras (sympy) into the venv # NOT part of `make bootstrap`, `make test`, or a fresh checkout. bootstrap-nli: bootstrap ## install [nli] extras + warm the pinned NLI checkpoint $(PIP) install -e '.[nli]' - $(PY) -c "from arborist.qa.nli import ShadowNLI; r=ShadowNLI(); r._ensure_loaded(); print('nli runtime ·', 'available:', r.available, '·', r._reason)" + $(PY) -c "from arborist.qa.nli import ShadowNLI; r=ShadowNLI(); r._ensure_loaded(); print('nli runtime ·', 'available:', r.available, '· backend:', r.backend, '· device:', r.device, '·', r._reason)" + +# #000049 §3 speedup — export the pinned shadow-NLI checkpoint to ONNX +# (+ int8 dynamic quantization), into ~/.arborist/models/nli//onnx/. +# ShadowNLI._ensure_loaded auto-prefers the export if present (~2-4x on +# CPU, drops the torch forward path; on cuda uses CUDAExecutionProvider). +# Run once after `make bootstrap-nli`. SHADOW infra — same checkpoint, +# same labels, nothing about audit_mode changes. +export-nli-onnx: bootstrap ## #000049 §3 — export the pinned shadow-NLI checkpoint to ONNX (int8) + PYTHONUNBUFFERED=1 $(PY) bench/scripts/export_nli_onnx.py # #000049 Phase 2 / §7 #12 gate item 4 — measure the would-demote rate # of the clause-level shadow check over (answer, context) records. diff --git a/arborist/qa/nli/shadow.py b/arborist/qa/nli/shadow.py index 8a26416..8c41958 100644 --- a/arborist/qa/nli/shadow.py +++ b/arborist/qa/nli/shadow.py @@ -22,6 +22,7 @@ extra; everything degrades to ``available=False`` when it is missing. from __future__ import annotations import json +import os import re from dataclasses import dataclass, asdict from pathlib import Path @@ -138,7 +139,7 @@ class ShadowNLI: :meth:`check` returns an unavailable :class:`ShadowResult`. """ - def __init__(self, manifest: Optional[dict] = None): + def __init__(self, manifest: Optional[dict] = None, device: Optional[str] = None): self.manifest = manifest or load_manifest() self.model_version: Optional[str] = self.manifest.get("nli_model_version") th = self.manifest.get("thresholds", {}) @@ -147,12 +148,28 @@ class ShadowNLI: self.max_length: int = int(self.manifest.get("max_length", 256)) # §7 #5 step-3 / §7 #20 — cap how many source clauses NLI runs on. self.max_candidate_clauses: int = int(self.manifest.get("max_candidate_clauses", 6)) + # device: explicit arg > ARBORIST_NLI_DEVICE env > auto (cuda if available, else cpu). + self.device_pref: str = device or os.environ.get("ARBORIST_NLI_DEVICE") or "auto" + self.device: Optional[str] = None # resolved at load + self.batch_size: int = int(os.environ.get("ARBORIST_NLI_BATCH", "64")) + self.backend: Optional[str] = None # "onnx" | "torch", set at load self.available = False self._reason = "uninitialised" self._tok = None self._model = None self._ei = self._ni = self._ci = None + def _onnx_dir(self) -> Optional[Path]: + """Where an ONNX export of the pinned checkpoint would live, if any. + `ARBORIST_NLI_ONNX_DIR` overrides; default is + `~/.arborist/models/nli//onnx/` (populated by + `bench/scripts/export_nli_onnx.py`).""" + env = os.environ.get("ARBORIST_NLI_ONNX_DIR") + if env: + return Path(env) + mv = self.model_version or "nli" + return Path.home() / ".arborist" / "models" / "nli" / mv / "onnx" + def _ensure_loaded(self) -> None: if self.available or self._reason.startswith(("deps_missing", "load_failed")): return @@ -162,28 +179,80 @@ class ShadowNLI: except ImportError as e: self._reason = f"deps_missing: {e} (install: pip install 'arborist[nli]')" return + repo = self.manifest["hf_repo"] + rev = self.manifest.get("pinned_revision") + # resolve device + if self.device_pref == "auto": + self.device = "cuda" if torch.cuda.is_available() else "cpu" + else: + self.device = self.device_pref + # prefer an ONNX export if one exists and `optimum` is importable + # (§3.1 of the speedup plan — ~2-4x on CPU, drops the torch fwd path; + # on cuda uses CUDAExecutionProvider). Falls back to torch silently. + onnx_dir = self._onnx_dir() + try: + if onnx_dir and onnx_dir.exists(): + from optimum.onnxruntime import ORTModelForSequenceClassification + provider = ("CUDAExecutionProvider" if self.device == "cuda" + else "CPUExecutionProvider") + self._tok = AutoTokenizer.from_pretrained(str(onnx_dir)) + # prefer the int8-quantized graph if the export produced one + # (the §3 CPU speedup); else the fp32 model.onnx. + kw = {} + if (onnx_dir / "model_quantized.onnx").exists(): + kw["file_name"] = "model_quantized.onnx" + self._model = ORTModelForSequenceClassification.from_pretrained( + str(onnx_dir), provider=provider, **kw) + self.backend = "onnx-int8" if kw else "onnx" + except Exception: # noqa: BLE001 — ONNX is best-effort; fall through to torch + self._tok = self._model = None + self.backend = None + if self._model is None: + try: + self._tok = AutoTokenizer.from_pretrained(repo, revision=rev) + self._model = AutoModelForSequenceClassification.from_pretrained(repo, revision=rev) + self._model.eval() + if self.device == "cuda": + self._model = self._model.to("cuda") + self.backend = "torch" + except Exception as e: # noqa: BLE001 — any load failure is "unavailable" + self._reason = f"load_failed: {type(e).__name__}: {e}" + self._tok = self._model = None + return try: - repo = self.manifest["hf_repo"] - rev = self.manifest.get("pinned_revision") - self._tok = AutoTokenizer.from_pretrained(repo, revision=rev) - self._model = AutoModelForSequenceClassification.from_pretrained(repo, revision=rev) - self._model.eval() id2label = {int(k): v for k, v in self._model.config.id2label.items()} self._ei, self._ni, self._ci = _resolve_label_indices(id2label) - except Exception as e: # noqa: BLE001 — any load failure is "unavailable" + except Exception as e: # noqa: BLE001 self._reason = f"load_failed: {type(e).__name__}: {e}" self._tok = self._model = None return self.available = True self._reason = "ok" - def _nli(self, premise: str, hypothesis: str) -> tuple[float, float, float]: + def _nli_batch(self, pairs: list[tuple[str, str]]) -> list[tuple[float, float, float]]: + """One forward pass over a list of (premise, hypothesis) pairs. + Replaces N batch-1 forwards with ⌈N/batch_size⌉ batched ones — + the §3.1 speedup; on CPU ~3-5x, on cuda far more.""" import torch - enc = self._tok(premise, hypothesis, return_tensors="pt", truncation=True, max_length=self.max_length) - with torch.no_grad(): - logits = self._model(**enc).logits[0].tolist() - p = _softmax(logits) - return p[self._ei], p[self._ni], p[self._ci] + out: list[tuple[float, float, float]] = [] + for i in range(0, len(pairs), self.batch_size): + chunk = pairs[i:i + self.batch_size] + prem = [p for p, _ in chunk] + hyp = [h for _, h in chunk] + enc = self._tok(prem, hyp, return_tensors="pt", truncation=True, + padding=True, max_length=self.max_length) + if self.device == "cuda" and self.backend == "torch": + enc = {k: v.to("cuda") for k, v in enc.items()} + with torch.no_grad(): + logits = self._model(**enc).logits + logits = logits.detach().cpu().tolist() + for row in logits: + p = _softmax(row) + out.append((p[self._ei], p[self._ni], p[self._ci])) + return out + + def _nli(self, premise: str, hypothesis: str) -> tuple[float, float, float]: + return self._nli_batch([(premise, hypothesis)])[0] def check(self, claim: str, source: str) -> ShadowResult: n_clauses = len(clauses(source)) @@ -219,8 +288,7 @@ class ShadowNLI: max_entailment=0.0, best_clause=None, reason="no_candidate_clauses") max_e = max_n = max_c = 0.0 best_clause = None - for cl, _ov in cand: - pe, pn, pc = self._nli(cl, claim) + for (cl, _ov), (pe, pn, pc) in zip(cand, self._nli_batch([(cl, claim) for cl, _ in cand])): max_e = max(max_e, pe) max_n = max(max_n, pn) if pc > max_c: diff --git a/bench/results/nli-shadow-sweep-benchqa-n1.json b/bench/results/nli-shadow-sweep-benchqa-n1.json new file mode 100644 index 0000000..35fff94 --- /dev/null +++ b/bench/results/nli-shadow-sweep-benchqa-n1.json @@ -0,0 +1,4289 @@ +{ + "generated_at": "2026-05-12T21:06:48Z", + "available": true, + "reason": "ok", + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "n_records": 223, + "n_available": 223, + "elapsed_seconds": 160.3, + "would_demote_total": 87, + "would_demote_rate": 0.3901, + "mean_candidate_clauses": 5.97, + "max_candidate_clauses_cap": 6, + "by_bucket": { + "HYBRID": { + "n": 90, + "would_demote": 36, + "rate": 0.4 + }, + "STRICT": { + "n": 89, + "would_demote": 23, + "rate": 0.2584 + }, + "UNGROUNDED": { + "n": 44, + "would_demote": 28, + "rate": 0.6364 + } + }, + "by_recombination_risk": { + "risk": { + "n": 137, + "would_demote": 54, + "rate": 0.3942 + }, + "no_risk": { + "n": 86, + "would_demote": 33, + "rate": 0.3837 + } + }, + "false_positive_probe": { + "n": 89, + "would_demote": 23, + "rate": 0.2584, + "note": "would_demote on records labeled want=not_contradiction \u2014 these are shadow FALSE POSITIVES; this is \u00a77 #12 gate item 4 when the input is a real legit-answer sample" + }, + "rows": [ + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.1626, + "max_entailment": 0.0135, + "best_clause": "Both languages were originally implemented as source-to-source compilers -- source code was translated into C, and then compiled with a C compiler.", + "n_clauses": 133, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.1818, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9126, + "max_entailment": 0.2834, + "best_clause": "==External links== * 2008 Saint Paul year * Catholic Encyclopedia: Paul of Tarsus * Catholic Perspective on Paul * Documentary film on Apostle Paul * Encyclop\u00e6dia Britannica: Paul, 1911 * Maps of Paul's three missionary journeys and final captive journey * Paul's mission and letters From PBS Frontline series on the earliest Christians.", + "n_clauses": 162, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3056, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.4313, + "max_entailment": 0.1374, + "best_clause": "=== E1 (Boltzmann constant | primary_answer_source) ===\ncal/K || 1\u00a0calorie = 4.1868\u00a0J |- | 1.832 0149(31) || cal/\u00b0R || 1\u00a0degree Rankine = 5/9\u00a0K |- | 0.56603(18) || ft\u2009lb/\u00b0R || 1\u00a0foot-pound force = 1.355 817 948 331 4004\u00a0J |- | 0.695 0356(12) || cm\u22121/K || 1\u00a0cm\u22121\u00a0\u00b7hc = 1.986 445 501(99)\u00a0J |- | 0.00198721 || kcal/mol/K || form often used in statistical mechanics\u2014using cal=joule/4.184 |- | 0.00831447 || kJ/mol/K || form often used in statistical mechanics |} Since k is a constant of proportionality of temperature and energy, the numerical value of k depends on the choice of units for energy and temperature.", + "n_clauses": 120, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2857, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.2331, + "max_entailment": 0.0908, + "best_clause": "==List of Bagginses== *Angelica Baggins *Balbo Baggins *Bilbo Baggins *Bingo Baggins *Bungo Baggins *Daisy Baggins *Frodo Baggins *Laura Baggins *Linda Baggins *Lobelia Sackville-Baggins *Lotho Sackville-Baggins *Mungo Baggins *Otho Sackville-Baggins *Primula Baggins *Rosa Baggins *Adeeldo Baggins ==References== it:Baggins ka:\u10d1\u10d4\u10d2\u10d8\u10dc\u10e1\u10d4\u10d1\u10d8 nl:Familie Balings\n\n=== E6 (Bilbo | background_source) ===\nBilbo can refer to: *Bilbo Baggins, protagonist of The Hobbit by J.", + "n_clauses": 143, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3061, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.3606, + "max_entailment": 0.1042, + "best_clause": "150 CE - Claudius Ptolemy completes his Almagest that codifies the astronomical knowledge of his time and cements the geocentric\n\n Source: https://en.wikipedia.org/wiki/Solar_System\n The Solar System consists of the Sun and the astronomical objects bound to it by gravity, all of which are understood to have formed from the collapse of a giant molecular cloud approximately 4.6 billion years ago.", + "n_clauses": 122, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2436, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0791, + "max_entailment": 0.635, + "best_clause": "With an early five-piece line-up of Lennon, McCartney, Harrison, Stuart Sutcliffe (bass) and Pete Best (drums), the Beatles built their reputation in Liverpool and Hamburg clubs over a three-year period from 1960.", + "n_clauses": 222, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.4474, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.4811, + "max_entailment": 0.7636, + "best_clause": "Originally, a third Jurassic Park film was produced under the title Jurassic Park: Extinction, with the script involving a killer disease that threatened to wipe out the dinosaurs on both islands.", + "n_clauses": 158, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3125, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.3496, + "max_entailment": 0.951, + "best_clause": "The church and the surroundings are on the UN World Heritage Tentative List == References ==\n\n=== E8 (Paul | primary_answer_source) ===\nPaul may refer to: *Paul (name), about the name Paul ==People== ===Christianity=== ====Saints==== *Paul of Tarsus or Saint Paul, a Jewish Roman citizen from Tarsus (modern Turkey) - also called \"Saul of Tarsus\" - and 1st-century AD Christian missionary and author of numerous letters of the New Testament of the Christian Bible (AD 3-10 \u2014 62-68) *See Saint Paul (disambiguation), for other saints named \"Paul\", and places named after them ====Popes==== *Pope Paul (disambiguation), the chosen name of several Popes of the Roman Catholic Church upon election to the papacy *Pope Paul I (Pope from 757\u2013767) *Pope Paul II (Pope from 1464\u20131471) *Pope Paul III (Pope from 1534-1549) *Pope Paul IV (Pope from 1555-1559) *Pope Paul V (Pope from 1605-1621) *Pope Paul VI (Pope from 1963-1978) ===Roman and Byzantine empire=== *Paul (jurist) or Julius Paulus (Second Century AD), Roman jurist *Paulus Catena (-362), Roman notary *Lucius Aemilius Paulus Macedonicus (229 BC-160 BC), Roman general *Paulus Alexandrinus (4th century), Hellenistic astrologer *Paul of Aegina or Paulus Aegineta (625?\u2013690?), Greek surgeon ===Royals=== *Paul I of Russia Tsar of Russia *Paul of Greece King of Greece ===Other people=== *Paulus Jovius (1483-1552), an Italian bishop *Paul the Deacon or Paulus Diaconus (ca.", + "n_clauses": 162, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.75, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.1585, + "max_entailment": 0.046, + "best_clause": "==See also==\n\n=== E5 (Doppler fetal monitor | background_source) ===\nUltrasonic sensor *Ultrasound *Cardiotocograph *Nonstress test *Auscultation ==References== es:Monitor Fetal Doppler\n\n=== E6 (List of effects | secondary_context_source) ===\nphenomena) (observational astronomy) (radiometry) (scattering, absorption and radiative transfer [optics]) *Osborne effect (marketing) *Ostrich effect (adages) *Overconfidence effect (cognitive biases) (psychological theories) *Overjustification effect (educational psychology) (psychological theories) (psychology) *Overview effect (spaceflight) (transcendence) (psychology) ==P== *Park effect (psychology) *Partner effects (economics) (sociology) *Paschen\u2013Back effect (atomic physics) (atomic, molecular, and optical physics) (magnetism) *Pasteur effect (beer and brewery) (biochemistry) (fermentation) (metabolism) *(Paternal effect: see) maternal effect (developmental biology) *Pauli effect (experimental physics) (parapsychology) (psychokinesis) *Payne effect (rubber properties) *Pearson\u2013Anson effect (electronics) *Peltier\u2013Seebeck effect (thermoelectric effect) (electricity) (HVAC) (physical phenomena) (thermodynamics) *Peltzman effect (economics of regulation) (University of Chicago) *Penn effect (economics effects) *Petkau effect (radiobiology) *Phaser (effect) (audio effects) (effects units) *Phillips effect (employment) (inflation) *Photoacoustic Doppler effect (Doppler effects) (radar signal processing) (radio frequency propagation) (wave mechanics) *Photoelectric effect (Albert Einstein) (electrical phenomena) (foundational quantum physics) *Photorefractive effect (nonlinear optics) *Photothermal effect (particle physics) (photochemistry) (physics) *Physical effect (physics) *Picture superiority effect (cognitive biases) (educational psychology) (memory biases) (psychological theories) *Piezoresistive effect (electrical phenomena) *Pigou effect (economics effects) *Placebo effect (bioethics) (clinical research) (experimental design) (history of medicine) (Latin medical phrases) (Latin words and phrases) (medical ethics) (medical terms) (medicinal chemistry) (mind-body interventions) (pharmacology) (psychological theories) (research methods) (theories) *Plasma effect (demo effects) *Plateau effect (systems science) (metaphors referring to places) *Pockels effect (cryptography) (nonlinear optics) (polarization) *Polar effect (physical organic chemistry) *Polar effect (genetics) (genetics) *Pontoon effect (naval architecture) *Portevin\u2013Le Chatelier effect (engineering) (materials science) *Position-effect variegation (genetics) *Positivity effect (aging) (cognition) (cognitive biases) (memory) (memory biases) (psychological theories) (psychology) *Poynting effect (gases) *Poynting\u2013Robertson effect (celestial mechanics) *Practical effect (special effects) *Pratfall effect (psychology) *Precedence effect (acoustics) (sound perception) *Primakoff effect (particle physics) *Priority effect (ecology) *Probe effect (software development philosophies) (system administration) *Proximity effect (atomic physics) (nuclear physics) (physics) *Proximity effect (audio) (acoustics) *Proximity effect (electromagnetism) (electrical engineering) *Proximity effect (\n\n=== E7 (Sound effect | background_source) ===\norder to try and match it as closely as possible.", + "n_clauses": 136, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.5517, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0158, + "max_entailment": 0.0046, + "best_clause": "All of them were considered to be Soviet socialist republics (SSR), and all of them, with the exception of the Russian SFSR (until 1990), had their own Communist parties, part of the Communist Party of the Soviet Union.", + "n_clauses": 100, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.5909, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.7804, + "max_entailment": 0.0055, + "best_clause": "* World Series \u2013 New York Giants win 4 games to 0 over the Cleveland Indians ==Basketball== * FIBA World Championship \u2013 ** Gold: United States ** Silver: Brazil ** Bronze: Philippines * NCAA Men's Basketball Championship \u2013 **La Salle wins 92-76 over Bradley * NBA Finals|NBA Finals \u2013 ** Minneapolis Lakers win 4-3 over the Syracuse Nationals * March 13 \u2013 Milan High School, enrollment 161, defeated Muncie Central High School (enrollment over 1,600) 32-30 to win the Indiana state title.", + "n_clauses": 122, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2452, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.1471, + "max_entailment": 0.819, + "best_clause": "In April 2010 Veronica was chosen as the \"Editors Pick\" in the If I Can Dream MySpace contest, created by Simon Fuller and moved into the house on June 20, 2010 == Biography == Veronica Ballestrini was born in New London, CT and raised in Waterford, CT.", + "n_clauses": 183, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.5714, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.2736, + "max_entailment": 0.8726, + "best_clause": "style=\"width:200px;\" | The Beatles(12 August \u2013 December 1960) | * John Lennon \u2013 vocals, guitar, harmonica * Paul McCartney \u2013 vocals, guitar * George Harrison \u2013 guitar, vocals * Stuart Sutcliffe \u2013 bass * Pete Best \u2013 drums |- !", + "n_clauses": 82, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.85, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.1663, + "max_entailment": 0.1698, + "best_clause": "Simulations suggest that, while the disk had a relatively low mass at any given moment, over time a substantial fraction (several tens of a percent) of the mass of Jupiter captured from the Solar nebula was processed through it.", + "n_clauses": 147, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3529, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9381, + "max_entailment": 0.0118, + "best_clause": "| manufacturer = Foxconn (on contract) | type = Tablet media player/PC | releasedate = Wi-Fi model (U.S.): Wi-Fi + 3G Model (U.S.): Both Models (Nine more countries): | connectivity = Wi-Fi (802.11a/b/g/n) Bluetooth 2.1 + EDRWi-Fi + 3G model also includes: UMTSHSDPA(Tri band\u2013850, 1900, 2100 MHz)GSMEDGE(Quad band\u2013850, 900, 1800, 1900 MHz) | lifespan = | unitssold = 3 million () | media = | os = iOS 3.2.2 (build 7B500) Released | input = Multi-touch touch screen, headset controls, proximity and ambient light sensors, 3-axis accelerometer, magnetometer | camera = None | power = Internal rechargeable non-removable lithium-polymer battery | cpu = 1\u00a0GHz Apple A4 | graphics = PowerVR SGX 535 GPU | storage = Flash memory16GB, 32GB, or 64GB models only | memory = 256 MB DRAM bu\n\n Source: https://en.wikipedia.org/wiki/Anime_Studio_Pro\n ==Developing Anime Studio Pro== \"Anime Studio Pro\" is a 2d vector based computer graphics system distributed by Smith Micro Software since 2007.", + "n_clauses": 105, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.25, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.8858, + "max_entailment": 0.0522, + "best_clause": "Despite initial scepticism in the West, the new Soviet leader proved to be committed to reversing the Soviet Union's deteriorating economic condition instead of continuing the arms race with the West.", + "n_clauses": 235, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.1576, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9325, + "max_entailment": 0.0111, + "best_clause": "LeGuin's novel The Left Hand of Darkness is set on a planet named Winter.", + "n_clauses": 175, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.1111, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9242, + "max_entailment": 0.0053, + "best_clause": "There is significant evidence to suggest that many people with creative talents have also suffered from some form of bipolar disorder.", + "n_clauses": 50, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.1667, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.7057, + "max_entailment": 0.9683, + "best_clause": "{|cellspacing=10| |valign=\"top\"| Non-passerines * Bernier's Teal * Meller's Duck * Madagascar Pochard * Madagascar Partridge * * Alaotra Grebe * Madagascar Grebe * Madagascar Pond Heron * Humblot's Heron * Madagascar Crested Ibis * Madagascar Fish Eagle * Madagascar Serpent Eagle * Henst's Goshawk * Madagascar Harrier-hawk * Madagascar Buzzard * Madagascar Cuckoo-hawk * Madagascar Sparrowhawk * Frances's Sparrowhawk * Banded Kestrel * Madagascar Kestrel * Brown Mesite * White-breasted Mesite * Subdesert Mesite * Madagascar Buttonquail * * Slender-billed Flufftail * Madagascar Flufftail * Madagascar Wood-rail * White-throated Rail * Madagascar Rail * Sakalava Rail * Madagascar Snipe |valign=\"top\"| * Madagascar Jacana * Madagascar Plover * Madagascar Sandgrouse * Madagascar Blue Pigeon * Madagascar Green Pigeon * Madagascar Turtle Dove * * Grey-headed Lovebird * * Red-capped Coua * Running Coua * Giant Coua * Coquerel's Coua * Red-breasted Coua * Red-fronted Coua * Blue Coua * Crested Coua * Verreaux's Coua * Madagascar Long-eared Owl\n\n Madagascar Red Owl * White-browed Hawk-owl * Malagasy Scops-owl * Collared Nightjar * Madagascar Pygmy Kingfisher * Scaly Ground-roller * Short-legged Ground-roller * Pitta-like Ground-roller * Rufous-headed Ground-roller * Long-tailed Ground-roller |valign=\"top\"| Passerines * Velvet Asity * Schlegel's Asity * Common Sunbird-asity * Yellow-bellied Sunbird-asity * Appert's Greenbul * Grey-crowned Greenbul * Dusky Greenbul * Long-billed Greenbul * Spectacled Greenbul * Yellow-browed Oxylabes * White-throated Oxylabes * Crossley's Babbler * Madagascar Magpie-robin * Amber Mountain Rock-thrush * Forest Rock-thrush * Littoral Rock-thrush * Madagascar Wagtail * Ward's Flycatcher * Common Newtonia * Dark Newtonia * Archbold's Newtonia * Red-tailed Newtonia * Madagascar Lark * Madagascar Swamp-warbler * Thamnornis Warbler * Lantz's Brush-warbler * Grey Emu-tail * Brown Emu-tail * Common Jery * Stripe-throated Jery |valign=\"top\"| * Green Jery * Wedge-tailed Jery * Rand's Warbler * Cryptic Warbler * Nuthatch Vanga * White-headed Vanga * Chabert's Vanga * Blue Vanga * Helmet Vanga * Sickle-billed Vanga * Rufous Vanga * Bernier's Vanga * Red-shouldered Vanga * Red-tailed Vanga * Lafresnaye's Vanga * Hook-billed Vanga * Pollen's Vanga * Van Dam's Vanga * Tylas Vanga * Ashy Cuckoo-shrike * Madagascar Starling * Forest Fody * Madagascar Fody * * Sakalava Weaver * Nelicourvi Weaver * Madagascar Munia |} Note that: * Madagascar Partridge is endemic as a native species to Madagascar, but has been introduced on the Mascarenes * Madagascar Buttonquail is endemic as a native species to Madagascar, but has been introduced on the Mascarenes * Madagascar Turtle Dove is endemic as a native species to Madagascar, but is thought to be an introduced species on the other islands in the region * Grey-headed Lovebird is endemic as a native species to Madagascar, but has been introduced to the Comoro Islands * Madagascar Fody is endemic as a native species to Madagascar, but has been intro\n\n Source: https://en.wikipedia.org/wiki/Madagascar\n Madagascar, or Republic of Madagascar (older name Malagasy Republic, French: ), is an island nation in the Indian Ocean off the southeastern coast of Africa.", + "n_clauses": 62, + "n_candidate_clauses": 6, + "best_clause_overlap": 1.0, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.1579, + "max_entailment": 0.01, + "best_clause": "As in the 2000 presidential election, voting controversies and concerns of irregularities emerged during and after the vote.", + "n_clauses": 90, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.3664, + "max_entailment": 0.1268, + "best_clause": "==List of Bagginses== *Angelica Baggins *Balbo Baggins *Bilbo Baggins *Bingo Baggins *Bungo Baggins *Daisy Baggins *Frodo Baggins *Laura Baggins *Linda Baggins *Lobelia Sackville-Baggins *Lotho Sackville-Baggins *Mungo Baggins *Otho Sackville-Baggins *Primula Baggins *Rosa Baggins *Adeeldo Baggins ==References== it:Baggins ka:\u10d1\u10d4\u10d2\u10d8\u10dc\u10e1\u10d4\u10d1\u10d8 nl:Familie Balings\n\n=== E6 (Bilbo | background_source) ===\nBilbo can refer to: *Bilbo Baggins, protagonist of The Hobbit by J.", + "n_clauses": 181, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.625, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9632, + "max_entailment": 0.0032, + "best_clause": "=== E1 (International reaction to the United States presidential election, 2008 | primary_answer_source) ===\ncongratulations on the occasion of your convincing victory on presidential elections of the United States of America.", + "n_clauses": 119, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.4545, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.1387, + "max_entailment": 0.4797, + "best_clause": "The signing of the treaty, however, was interrupted by the August Coup\u2014an attempted coup d'\u00e9tat against Gorbachev by hardline Communist Party members of the government and the KGB, who sought to reverse Gorbachev's reforms and reassert the central government's control over the republics.", + "n_clauses": 154, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3729, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.211, + "max_entailment": 0.5614, + "best_clause": "An ambitious scientist who used dinosaurs and other fossils to promote his beliefs, Owen was the driving force for the Crystal Palace dinosaur sculptures, the first large-scale dinosaur reconstructions that were accessible to the public\n\n=== E4 (Cultural depictions of dinosaurs | background_source) ===\nThe popular ideals of dinosaurs have many misconceptions, reinforced by films, books, comics, television shows, and even theme parks.", + "n_clauses": 336, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.4, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.4333, + "max_entailment": 0.0361, + "best_clause": "The following outline is provided as an overview of and topical guide to Madagascar: == General reference == * Pronunciation: * Common English country name: Madagascar * Official English country name: The Republic of Madagascar * Common endonym(s): * Official endonym(s): * Adjectival(s): Malagasy * Demonym(s): * Etymology: Name of Madagascar * International rankings of Madagascar * ISO country codes: MG, MDG, 450 * ISO region codes: See ISO 3166-2:MG * Internet country code top-level domain: .mg == Geography of Madagascar == * Madagascar is: a country * Location: ** Eastern Hemisphere and Southern Hemisphere ** Africa (off its east coast) *** East Africa *** Southern Africa ** Indian Ocean ** Time zone: East Africa Time (UTC+03) ** Extreme points of Madagascar *** High: Maromokotro *** Low: Indian Ocean 0 m ** Land boundaries: none ** Coastline: Indian Ocean 4,828\u00a0km * Population of Madagascar: 19,683,000 - 55th most populous country * Area of Madagascar: 587,041\u00a0km2 * Atlas of Madagascar === Environment of Madagascar === * Climate of Madagascar * Environmental issues in Madagascar * Ecoregions in Madagascar * Renewable energy in Madagascar * Geology of Madagascar * Protected areas of Madagascar ** Biosphere reserves in Madagascar ** National parks of Madagascar * Wildlife of Madagascar ** Flora of Madagascar ** Fauna of Madagascar *** Birds of Madagascar *** Mammals of Madagascar ==== Natural geographic features of Madagascar ==== * Fjords of Madagascar * Glaciers in Madagascar: none The only glaciers in Africa are on Mt Kenya (in Kenya), on Kilimanjaro (in Tanzania), and in the Ruwenzori Mountains (which are\n\n=== E7 (Geography of Madagascar | primary_answer_source) ===\nMadagascar is an island in the Indian Ocean, off the eastern coast of southern Africa, east of Mozambique.", + "n_clauses": 113, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.7333, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0413, + "max_entailment": 0.7782, + "best_clause": "If they present information from outside the proffered alternatives, they may be called wrong or simply inappropriate or irrelevant.", + "n_clauses": 120, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.36, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9412, + "max_entailment": 0.0789, + "best_clause": "Source: https://en.wikipedia.org/wiki/World_War_I\n World War I was a military conflict centered on Europe that began in the summer of 1914.", + "n_clauses": 54, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.7143, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.327, + "max_entailment": 0.911, + "best_clause": "Covering an area of about , Egypt is bordered by the Mediterranean Sea\n\n=== E3 (Continent | primary_answer_source) ===\nfirst distinction between continents was made by ancient Greek mariners who gave the names Europe and Asia to the lands on either side of the waterways of the Aegean Sea, the Dardanelles strait, the Sea of Marmara, the Bosporus strait and the Black Sea.", + "n_clauses": 108, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.5484, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9818, + "max_entailment": 0.0015, + "best_clause": "The latest version of \"Moho\", 5.4, was the first version of \"Anime Studio\".", + "n_clauses": 167, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.5714, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.721, + "max_entailment": 0.1815, + "best_clause": "Although the eastern half still survived with borders essentially intact for several centuries (until the Arab expansion), the Empire as a whole had initiated major cultural and political transformations since the Crisis of the Third Century, with the shift towards a more openly autocratic and ritualized form of government, the adoption of Christianity as the state religion, and a general rejection of the traditions and values of Classical Antiquity.", + "n_clauses": 66, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.1667, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.6433, + "max_entailment": 0.0075, + "best_clause": "In 1968, he released his first album on Austin's legendary Sonobeat Records, The Progressive Blues Experiment.{{cite web|url=http://www.vinylrecords.ch/winter/Singles/winter_di\n\n Source: https://en.wikipedia.org/wiki/It's_Coming\n \"It's Coming\" is the ninth episode of the third season of the NBC science fiction drama series Heroes and forty-third episode overall.", + "n_clauses": 97, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.1154, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.1009, + "max_entailment": 0.0468, + "best_clause": "To the west of the monument, there is a marker that honors the veterans of other wars.", + "n_clauses": 268, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2083, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.3748, + "max_entailment": 0.0156, + "best_clause": "He took his stage name from the 1979 film The Fearless Young Boxer, also known as Method Man.", + "n_clauses": 126, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3438, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0447, + "max_entailment": 0.0735, + "best_clause": "Simulations suggest that, while the disk had a relatively low mass at any given moment, over time a substantial fraction (several tens of a percent) of the mass of Jupiter captured from the Solar nebula was processed through it.", + "n_clauses": 257, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.4615, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.7229, + "max_entailment": 0.1042, + "best_clause": "The advent of f\n\n Source: https://en.wikipedia.org/wiki/Prague_5\n Prague 5, formally the Prague Municipal District (M\u011bstsk\u00e1 \u010dast Praha 5), is a [[Prague\n\ncity districts|second-tier municipality]] in Prague.", + "n_clauses": 71, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.6667, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.8122, + "max_entailment": 0.1464, + "best_clause": "The whole of the city and local authority area lies within the Yorkshire and the Humber constituency of the European Parliament.", + "n_clauses": 202, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3333, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9801, + "max_entailment": 0.0755, + "best_clause": "* Microsoft Research Cambridge was founded in 1997 by Roger Needham and now numbers over 100 employees.", + "n_clauses": 119, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3846, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.1615, + "max_entailment": 0.0088, + "best_clause": "=== E10 (CETI Patterson Power Cell | background_source) ===\n5, 2007] * Ask the experts, \"What is the current scientific thinking on cold fusion?", + "n_clauses": 152, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.4545, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0429, + "max_entailment": 0.0197, + "best_clause": "The hyoid bone, which is located in the neck and serves as the point of attachment for the tongue, does not articulate with any other bones in the body, being supported by muscles and ligaments.", + "n_clauses": 272, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3125, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.7236, + "max_entailment": 0.2459, + "best_clause": "I got married to the widow next door, She'd been married seven times before.", + "n_clauses": 110, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.6154, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.4613, + "max_entailment": 0.0082, + "best_clause": "Ruby supports multiple programming paradigms, including functional, object oriented, imperative and reflective.", + "n_clauses": 97, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.28, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0345, + "max_entailment": 0.0053, + "best_clause": "* Many music stars, radio and television personalities, and athletes have made temporary homes in the wealthy suburbs of Fairfield County.", + "n_clauses": 71, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2346, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9891, + "max_entailment": 0.0059, + "best_clause": "The United States's Apollo 11 was the first manned mission to land on the Moon on July 20, 1969.", + "n_clauses": 106, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.7857, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9648, + "max_entailment": 0.0981, + "best_clause": "==Alpine skiing== * The first Alpine Skiing World Cup is organised for the three ski events: Downhill, Slalom and Giant Slalom: ** Men's overall champion: Jean-Claude Killy, France ** Women's overall champion: Nancy Greene, Canada ==American football== * The first Super Bowl is played on January 15 and NFL champion Green Bay Packers win 35-10 over AFL champion Kansas City Chiefs.", + "n_clauses": 95, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2933, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0139, + "max_entailment": 0.0367, + "best_clause": "A disproportionate number of men died due to the women and children first protocol that was followed.", + "n_clauses": 99, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3514, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.6003, + "max_entailment": 0.2749, + "best_clause": "Rooted in skiffle and 1950s rock and roll, the group later worked in many genres ranging from pop ballads to psychedelic rock, often incorporating classical and other elements in innovative ways.", + "n_clauses": 151, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3913, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.7892, + "max_entailment": 0.8264, + "best_clause": "*Godzilla: Monster of Monsters (1989), videogame: Planet X is said to initially exist between Neptune and Pluto and causes the two planets to switch positions in the solar system while Planet X itself becomes the literal tenth planet in the system and is shown to be artificial, though mountains and jungles exist on it.", + "n_clauses": 142, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.9231, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.8208, + "max_entailment": 0.0364, + "best_clause": "Obi-Wan Kenobi says the line to Anakin in Star Wars Episode II: Attack of the Clones, who repeats it back to him.", + "n_clauses": 169, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2889, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.2642, + "max_entailment": 0.0892, + "best_clause": "Usually, they are longer than the 7,500-word federal Constitution and are more detailed regarding the day-to-day relationships between government and the people;", + "n_clauses": 142, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.5, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.676, + "max_entailment": 0.0134, + "best_clause": "=== E1 (Berlin Wall | background_source) ===\n30 universities participated in \"Freedom Without Walls\" events in late 2009.", + "n_clauses": 240, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.5, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9606, + "max_entailment": 0.6169, + "best_clause": "Jackson Memorial Bridge, Portland to Vancouver, Washington *Hawthorne Bridge, Portland *Hood River Bridge, Hood River to White Salmon, Washington *Interstate Bridge, Portland *Isaac Lee Patterson Bridge, Gold Beach *John McLoughlin Bridge, Oregon City *Lewis and Clark Bridge, Rainie\n\n=== E8 (New York | background_source) ===\n= Capital punishment was reintroduced in 1995 under the Pataki administration but the statute was declared unconstitutional in 2004, when the New York Court of Appeals ruled in People v.", + "n_clauses": 195, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.5789, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9327, + "max_entailment": 0.029, + "best_clause": "*Kagul Obelisk in Tsarskoe Selo, 1772 *Chesma Obelisk in Gatchina, 1775 *Villa Medici, Rome \u2013 a 19th century copy of the Egyptian obelisk moved to the Boboli Gardens in Florence in 1790.", + "n_clauses": 209, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.1727, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.394, + "max_entailment": 0.0511, + "best_clause": "Limit in 64-bit Windows |- | Windows 7 Ultimate || 4\u00a0GB || 192\u00a0GB |- | Windows 7 Enterprise || 4\u00a0GB || 192\u00a0GB |- | Windows 7 Professional || 4\u00a0GB || 192\u00a0GB |- | Windows 7 Home Premium || 4\u00a0GB || 16\u00a0GB |- | Windows 7 Home Basic || 4\u00a0GB || 8\u00a0GB |- | Windows 7 Starter || 2\u00a0GB || N/A |} ==Service packs== Windows 7 Service Pack 1 (SP1) was announced on March 18, 2010 and is currently in development.", + "n_clauses": 277, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2951, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.1248, + "max_entailment": 0.0373, + "best_clause": "==Matrix multiplication, linear equations and linear transformations== Multiplication of two matrices is defined only if the number of columns of the left matrix is the same as the number of rows of the right matrix.", + "n_clauses": 165, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.6905, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.104, + "max_entailment": 0.0567, + "best_clause": "troops from Iraq Criticism: *Criticism of the Iraq War *Opposition to the Iraq War *Protests against the Iraq War Intrigues: *Bush\u2013Blair 2003 Iraq memo *Curveball (informant) *Downing Street memo *Iraq prison abuse scandals *Iraq War misappropriations *July 12, 2007, Baghdad airstrike (associated with WikiLeaks in 2010) *Legality of the Iraq War *Legitimacy of the 2003 invasion of Iraq *International Criminal Court and the 2003 invasion of Iraq *United Nations Security Council and the Iraq War *White House Iraq-War forgery allegations/The Way of the World (book) Lists: *List of Iraq War Resisters *List of modern conflicts in the Middle East *List of United Nations Security Council resolutions concerning Iraq *List of wars 2003\u2013current US specific: *Carter Doctrine *CIA sponsored regime change * Special Activities Division * US Army Special Forces *Foreign policy of the United States *Human Rights Record of the United States *United States and state terrorism *Overseas interventions of the United States *Torture and the United States *War crimes committed by the United States General: *Canada and the Iraq War *Canada and Iraq War resisters *Council on Foreign Relations *Oil reserves in Iraq *Petrodollar warfare *Project for the New American Century ==References== ==External media==
;Books *Larson, Luke (2010) Senator's Son: An Iraq War Novel, Key Edition *David Bellavia (2007) House to House: an Epic of Urban Warfare.", + "n_clauses": 244, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.1667, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.4393, + "max_entailment": 0.8861, + "best_clause": "900-1108)) the residence of the kings of France, although they were consecrated at Reims.", + "n_clauses": 174, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.6522, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0851, + "max_entailment": 0.6803, + "best_clause": "The river passes through agricultural lands and ranchland for most of its course, and through badlands in its final reaches.", + "n_clauses": 269, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3571, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.3507, + "max_entailment": 0.0971, + "best_clause": "|- | Brazhnik, Vyacheslav (Slava) Stefanovych || \u0411\u0440\u0430\u0436\u043d\u0438\u043a, \u0412\u044f\u0447\u0435\u0441\u043b\u0430\u0432 \u0421\u0442\u0435\u043f\u0430\u043d\u043e\u0432\u0438\u0447 || 1957-05-03 || 1986-05-14 || || turbine operator, senior turbine machinist operator\n\n=== E8 (Deaths due to the Chernobyl disaster | primary_answer_source) ===\n\u0418\u0433\u043d\u0430\u0442\u0435\u043d\u043a\u043e, \u0412\u0430\u0441\u0438\u043b\u0438\u0439 \u0418\u0432\u0430\u043d\u043e\u0432\u0438\u0447 || 1961-03-13 || 1986-05-13 || || fireman || senior sergeant, first crew on the reactor roof, received fatal dose during attempt to extinguish the roof and the reactor core, died two weeks later in Moscow Hospital 6 |- | Ivanenko, Yakaterina Alexandrovna || \u0418\u0432\u0430\u043d\u0435\u043d\u043a\u043e, \u0415\u043a\u0430\u0442\u0435\u0440\u0438\u043d\u0430 \u0410\u043b\u0435\u043a\u0441\u0430\u043d\u0434\u0440\u043e\u0432\u043d\u0430 || 1932-09-11 || 1986-05-26 || || Pripyat city police guard || guarded a gate opposite to the Block 4, stayed on duty for the entire night until morning |- | Kavuntz, Aleksander Adamovich || \u041a\u0430\u0432\u0443\u043d\u0435\u0446, \u0410\u043b\u0435\u043a\u0441\u0430\u043d\u0434\u0440 \u0410\u0434\u0430\u043c\u043e\u0432\u0438\u0447 || || || || turbine repair department chief || |- | Khmel, Grigori Matvyevich || \u0425\u043c\u0435\u043b\u044c, \u0413\u0440\u0438\u0433\u043e\u0440\u0438\u0439 \u041c\u0430\u0442\u0432\u0435\u0435\u0432\u0438\u0447 || || || || fireman || firefighting car driver, Chernobyl region firefighting area |- | Khodemchuk, Valery Ilyich || \u0425\u043e\u0434\u0435\u043c\u0447\u0443\u043a, \u0412\u0430\u043b\u0435\u0440\u0438\u0439 \u0418\u043b\u044c\u0438\u0447 || 1951-03-24 || 1986-04-26 || initial explosion || main circulating pumps, senior operator || stationed in the southern main circulating pumps engine room, likely killed immediately;", + "n_clauses": 138, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3167, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.8578, + "max_entailment": 0.8367, + "best_clause": "arz:\u062d\u0645\u0636 \u0646\u0648\u0648\u0649 ms:DNA mn:\u0414\u041d\u0425 my:\u1012\u102e\u1021\u1014\u103a\u1021\u1031 nl:DNA ja:\u30c7\u30aa\u30ad\u30b7\u30ea\u30dc\u6838\u9178 no:DNA nn:DNA nov:DNA oc:Acid desoxiribonucle\u00efc om:DNA pnb:\u0688\u06cc \u0627\u06cc\u0646 \u0627\u06d2 pap:ADN ps:\u0689\u064a \u0627\u0646 \u0627\u06d0 (DNA) pms:DNA pl:Kwas deoksyrybonukleinowy pt:\u00c1cido desoxirribonucleico ro:ADN ru:\u0414\u0435\u0437\u043e\u043a\u0441\u0438\u0440\u0438\u0431\u043e\u043d\u0443\u043a\u043b\u0435\u0438\u043d\u043e\u0432\u0430\u044f \u043a\u0438\u0441\u043b\u043e\u0442\u0430 sah:\u0414\u041d\u0410 sq:ADN scn:DNA simple:DNA sk:Deoxyribonukleov\u00e1 kyselina sl:Deoksiribonukleinska kislina so:DNA sr:\u0414\u041d\u041a sh:DNK su:DNA fi:DNA sv:DNA tl:DNA ta:\u0b9f\u0bbf.\u0b8e\u0ba9\u0bcd.\u0b8f te:\u0c21\u0c40\u0c06\u0c15\u0c4d\u0c38\u0c40\u0c30\u0c48\u0c2c\u0c4b \u0c15\u0c47\u0c02\u0c26\u0c4d\u0c30\u0c15 \u0c06\u0c2e\u0c4d\u0c32\u0c02 th:\u0e14\u0e35\u0e40\u0e2d\u0e47\u0e19\u0e40\u0e2d tr:DNA uk:\u0414\u0435\u0437\u043e\u043a\u0441\u0438\u0440\u0438\u0431\u043e\u043d\u0443\u043a\u043b\u0435\u0457\u043d\u043e\u0432\u0430 \u043a\u0438\u0441\u043b\u043e\u0442\u0430 ur:\u0688\u06cc \u0627\u06cc\u0646 \u0627\u06d2 ug:\u062f\u06d0\u0626\u0648\u0643\u0633\u0649\u0631\u0649\u0628\u0648\u0646\u06c7\u0643\u0644\u06d0\u0626\u0649\u0643 \u0643\u0649\u0633\u0644\u0627\u062a\u0627 vi:ADN vls:DNA war:DNA yi:\u05d3\u05d9 \u05e2\u05df \u05d0\u05d9\u05d9 yo:DNA zh-yue:DNA bat-smg:DNR zh:\u8131\u6c27\u6838\u7cd6\u6838\u9178\n\n=== E2 (DNA | primary_answer_source) ===\ndoi = 10.1146/annurev.biochem.70.1.369}} These enzymes are also needed to relieve the twisting stresses introduced into DNA strands during processes such as transcription and DNA replication.", + "n_clauses": 130, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.7181, + "max_entailment": 0.8672, + "best_clause": "Michael Jordan may also refer to: *Michael Jordan (mycologist), English mycologist *Michael Jordan (footballer) (born 1986), English goalkeeper (Arsenal, Chesterfield, Lewes) *Michael B.", + "n_clauses": 127, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.7333, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.8708, + "max_entailment": 0.005, + "best_clause": "Youell 1916-18, a Canadian Lieutenant in WWI (from the Ontario Time Machine (virtual book) *Brazilian participation on the first world war - text in portuguese ===Animated maps=== * An animated map \"Europe plunges into war\" * An animated map of Europe at the end of the war * A collection of vintage maps from all theaters of World War I af:Eerste W\u00eareldoorlog als:Erster Weltkrieg am:\u12e8\u1218\u1300\u1218\u122a\u12eb\u12cd \u12e8\u12d3\u1208\u121d \u1326\u122d\u1290\u1275 ang:Fyrst \u01f7oruldg\u016b\u00fe ar:\u0627\u0644\u062d\u0631\u0628 \u0627\u0644\u0639\u0627\u0644\u0645\u064a\u0629 \u0627\u0644\u0623\u0648\u0644\u0649 an:Primera Guerra Mundial ast:Primera guerra mundial gn:Pete\u0129ha \u00d1orair\u00f5 Guasu az:Birinci d\u00fcnya m\u00fcharib\u0259si bn:\u09aa\u09cd\u09b0\u09a5\u09ae \u09ac\u09bf\u09b6\u09cd\u09ac\u09af\u09c1\u09a6\u09cd\u09a7 zh-min-nan:T\u0113-it-chh\u00f9 S\u00e8-k\u00e0i T\u0101i-chi\u00e0n be:\u041f\u0435\u0440\u0448\u0430\u044f \u0441\u0443\u0441\u0432\u0435\u0442\u043d\u0430\u044f \u0432\u0430\u0439\u043d\u0430 be-x-old:\u041f\u0435\u0440\u0448\u0430\u044f \u0441\u0443\u0441\u044c\u0432\u0435\u0442\u043d\u0430\u044f \u0432\u0430\u0439\u043d\u0430 bcl:Enot na Gyerang Pankinaban bar:Erster W\u00f6dkriag bo:\u0f60\u0f5b\u0f58\u0f0b\u0f42\u0fb3\u0f72\u0f44\u0f0b\u0f60\u0f41\u0fb2\u0f74\u0f42\u0f0b\u0f46\u0f7a\u0f53\u0f0b\u0f51\u0f44\u0f0b\u0f54\u0f7c\u0f0d bs:Prvi svjetski rat br:Brezel-bed kenta\u00f1 bg:\u041f\u044a\u0440\u0432\u0430 \u0441\u0432\u0435\u0442\u043e\u0432\u043d\u0430 \u0432\u043e\u0439\u043d\u0430 ca:Primera Guerra Mundial cv:\u041f\u0115\u0440\u0440\u0435\u043c\u0115\u0448 \u0422\u0115\u043d\u0447\u0435 \u0432\u0103\u0440\u00e7\u0438 cs:Prvn\u00ed sv\u011btov\u00e1 v\u00e1lka co:Prima guerra mundiale cy:Y Rhyfel Byd Cyntaf da:1.", + "n_clauses": 75, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.8, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0834, + "max_entailment": 0.0908, + "best_clause": "Napoleon's French entourage find themselves unexpectedly powerless, as Eugene stuffs his face with sweets, dictates his own\n\n Source: https://en.wikipedia.org/wiki/Battle_of_Ligny\n The Battle of Ligny (16 June 1815) was the last victory of the military career of Napoleon Bonaparte.", + "n_clauses": 101, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.1818, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0557, + "max_entailment": 0.0178, + "best_clause": "The January 1975 issue of Popular Electronics featured [[Micro Instrumentation and\n\n=== E2 (Microsoft | primary_answer_source) ===\nand Exchange Commission|accessdate=2010-08-05}} ;References ;Bibliography * * * ==External links== * af:Microsoft als:Microsoft am:\u121b\u12ed\u12ad\u122e\u1236\u134d\u1275 ang:Microsoft ar:\u0645\u0627\u064a\u0643\u0631\u0648\u0633\u0648\u0641\u062a ast:Microsoft az:Microsoft bn:\u09ae\u09be\u0987\u0995\u09cd\u09b0\u09cb\u09b8\u09ab\u099f \u0995\u09b0\u09cd\u09aa\u09cb\u09b0\u09c7\u09b6\u09a8 zh-min-nan:Microsoft be:Microsoft be-x-old:Microsoft bar:Microsoft bs:Microsoft br:Microsoft bg:\u041c\u0430\u0439\u043a\u0440\u043e\u0441\u043e\u0444\u0442 ca:Microsoft cs:Microsoft cy:Microsoft da:Microsoft de:Microsoft et:Microsoft el:Microsoft es:Microsoft eo:Mikrosofto eu:Microsoft fa:\u0645\u0627\u06cc\u06a9\u0631\u0648\u0633\u0627\u0641\u062a fr:Microsoft fy:Microsoft ga:Microsoft gl:Microsoft Corporation hak:M\u00ec-ngi\u00f4n K\u00fbng-s\u1e73\u0302 ko:\ub9c8\uc774\ud06c\ub85c\uc18c\ud504\ud2b8 hy:\u0544\u0561\u0575\u0584\u0580\u0578\u057d\u0578\u0586\u0569 hi:\u092e\u093e\u0907\u0915\u094d\u0930\u094b\u0938\u0949\u092b\u093c\u094d\u091f hr:Microsoft ilo:Microsoft id:Microsoft Corporation ia:Microsoft Corporation is:Microsoft it:Microsoft Corporation he:\u05de\u05d9\u05e7\u05e8\u05d5\u05e1\u05d5\u05e4\u05d8 jv:Microsoft ka:Microsoft kk:Microsoft sw:Microsoft ht:Microsoft ku:Microsoft la:Microsoft lv:Microsoft lt:Microsoft jbo:maikrosaft hu:Microsoft mk:Microsoft ml:\u0d2e\u0d48\u0d15\u0d4d\u0d30\u0d4b\u0d38\u0d4b\u0d2b\u0d4d\u0d31\u0d4d\u0d31\u0d4d mr:\u092e\u093e\u092f\u0915\u094d\u0930\u094b\u0938\u0949\u092b\u094d\u091f \u0915\u0949\u0930\u094d\u092a\u094b\u0930\u0947\u0936\u0928 ms:Microsoft mn:Microsoft my:Microsoft nl:Microsoft ne:\u092e\u093e\u0907\u0915\u094d\u0930\u094b\u0938\u092b\u094d\u091f ja:\u30de\u30a4\u30af\u30ed\u30bd\u30d5\u30c8 no:Microsoft nn:Microsoft oc:Microsoft uz:Microsoft km:Microsoft pms:Microsoft nds:Microsoft pl:Microsoft pt:Microsoft kaa:Microsoft ro:Microsoft qu:Microsoft ru:Microsoft sah:Microsoft sq:Microsoft scn:Microsoft simple:Microsoft sk:Microsoft Corporation sl:Microsoft szl:Microsoft so:Microsoft ckb:\u0645\u0627\u06cc\u06a9\u0631\u06c6\u0633\u06c6\u0641\u062a sr:\u041c\u0430\u0458\u043a\u0440\u043e\u0441\u043e\u0444\u0442 sh:Microsoft fi:Microsoft sv:Microsoft tl:Microsoft ta:\u0bae\u0bc8\u0b95\u0bcd\u0bb0\u0bcb\u0b9a\u0bbe\u0baa\u0bcd\u0b9f\u0bcd te:\u0c2e\u0c48\u0c15\u0c4d\u0c30\u0c4b\u0c38\u0c3e\u0c2b\u0c4d\u0c1f\u0c4d th:\u0e44\u0e21\u0e42\u0e04\u0e23\u0e0b\u0e2d\u0e1f\u0e17\u0e4c tg:Microsoft tr:Microsoft uk:Microsoft ur:\u0645\u0627\u0626\u06cc\u06a9\u0631\u0648\u0633\u0627\u0641\u0679 ug:\u0645\u0649\u0643\u0631\u0648\u0633\u0648\u0641\u0649\u062a \u0634\u0649\u0631\u0643\u0649\u062a\u0649 vi:Microsoft fiu-vro:Microsoft wa:Microsoft wuu:\u5fae\u8f6f\u516c\u53f8 yi:\u05de\u05d9\u05d9\u05e7\u05e8\u05d0\u05e1\u05d0\u05e4\u05d8 yo:Microsoft zh-yue:\u5fae\u8edf zh:\u5fae\u8f6f\n\n=== E3 (Criticism of Microsoft | primary_answer_source) ===\nso functional that most Independent Software Vendors would be crazy not to use it.", + "n_clauses": 157, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.5667, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.2151, + "max_entailment": 0.007, + "best_clause": "Like right whales, it swims slowly, and floats after death, making it ideal for whaling.", + "n_clauses": 295, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.1636, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.3087, + "max_entailment": 0.9235, + "best_clause": "From the 18, the first seven\n\n=== E2 (Mercury Seven | background_source) ===\nAlan Bartlett Shepard Jr., USN, (1923\u20131998) :MR-3 (Freedom 7), Apollo 14 * Virgil Ivan (Gus) Grissom, USAF, (1926\u20131967) :MR-4 (Liberty Bell 7), Gemini 3, Apollo 1 * John Herschel Glenn Jr., USMC, (born 1921) :MA-6 (Friendship 7), STS-95 * Malcolm Scott Carpenter, USN, (born 1925) :MA-7 (Aurora 7) * Walter Marty (Wally) Schirra Jr., USN, (1923\u20132007) :MA-8 (Sigma 7), Gemini 6A, Apollo 7 * Leroy Gordon Cooper Jr., USAF, (1927\u20132004) :MA-9 (Faith 7), Gemini 5 * Donald Kent (Deke) Slayton, USAF, (1924\u20131993) :Apollo-Soyuz Test Project == See also == * Man In Space Soonest * Mercury 13 * NASA Astronaut Groups == References == et:Mercury Seven it:Mercury Seven lv:Mercury sept\u012btnieks lb:Mercury Seven hu:Mercury Seven ms:Mercury Tujuh nl:Mercury Seven ja:\u30de\u30fc\u30ad\u30e5\u30ea\u30fc\u30fb\u30bb\u30d6\u30f3 nn:Mercury Seven ru:\u041f\u0435\u0440\u0432\u044b\u0439 \u043e\u0442\u0440\u044f\u0434 \u0430\u0441\u0442\u0440\u043e\u043d\u0430\u0432\u0442\u043e\u0432 \u0421\u0428\u0410 sv:Astronautgrupp 1 zh:\u6c34\u661f\u8ba1\u52127\u4eba\n\n=== E3 (Mercury-Redstone 3 | background_source) ===\n21 weeks of unplanned preparation would be needed before it could be launched on its mission.", + "n_clauses": 291, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.7826, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.186, + "max_entailment": 0.014, + "best_clause": "In an internal memo for senior management Microsoft's head of C++ development, Aaron Contorer, stated: More recently, Microsoft had their OOXML specification approved by the ISO standards body in a manner consistent with previous attempts to control standards.{{cite web |url=http://www.groklaw.net/article.php?story=20071023002351958 |title=How to Get Your Platform Accepted as a Standard - Microsoft Style |author=Pamela Jones |publisher=[[Grok\n\n Source: https://en.wikipedia.org/wiki/Microsoft_Japan\n Microsoft Japan, officially is a division of the United States-based computer technology corporation Microsoft based in Japan.", + "n_clauses": 87, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.8, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.5192, + "max_entailment": 0.0112, + "best_clause": "The premise tells the tale of Clark Kent's beginnings into becoming Superman, set in the 1930s, where Clark befriends a wrongly convicted photographer named Willi Berg, and is then taken from Kansas to Hollywood and finally in New York where he meets Lois Lane, fights Lex Luthor, as he debuts in his superhero persona.", + "n_clauses": 228, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2979, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.3749, + "max_entailment": 0.9691, + "best_clause": "Mona\n\n Source: https://en.wikipedia.org/wiki/Speculation_about_Mona_Lisa Mona Lisa, or La Gioconda (La Joconde) is a 16th-century portrait painted in oil on a poplar panel by Leonardo Da Vinci.", + "n_clauses": 114, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.9474, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.5827, + "max_entailment": 0.1, + "best_clause": "Located in modern-day Prince George County, Virginia and known as Lower Brandon Plantation, in the 21st century, his circa 1616 plantation is both a National Historical Landmark open to tours and one of America's oldest continuous farming operations.", + "n_clauses": 307, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.1189, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.6237, + "max_entailment": 0.4413, + "best_clause": "For example, Larry McVoy (author of the proprietary software BitKeeper, once used to manage Linux kernel development, until the gratis license was revoked in a reverse-engineering controversy) opined that \"claiming credit only makes one look foolish and greedy\".", + "n_clauses": 156, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.8519, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9557, + "max_entailment": 0.0368, + "best_clause": "Source: https://en.wikipedia.org/wiki/War\n War is a phenomenon of organized violent conflict, typified by extreme aggression, societal disruption and adaptation, and high mortality.", + "n_clauses": 109, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.1765, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9335, + "max_entailment": 0.04, + "best_clause": "==Role in semiconductor physics: the thermal voltage== In semiconductors, the relationship between the flow of electrical current and the electrostatic potential across a p-n junction depends on a characteristic voltage called the thermal voltage, denoted V * Native plug-in API in C * Interactive Ruby Shell (a REPL) * Centralized package management through RubyGems * Implemented on all major platforms * Large standard library ==Semantics== Ruby is object-oriented: every data type is an object, including classes and types that many other languages designate as primitives (such as integers, booleans, and \"nil\").", + "n_clauses": 188, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3704, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.8799, + "max_entailment": 0.7285, + "best_clause": "and Maggie, a baby who rarely speaks, but communicates by sucking on a pacifier.", + "n_clauses": 101, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2075, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.724, + "max_entailment": 0.2466, + "best_clause": "==See also== * Geography of Tanzania * List of volcanoes in Tanzania ==References== ==External links== * Mount Meru at Peakware * Satellite pictures of Mount Meru * trekkingvisions Information about the Mount Meru Trek * Mount Meru, Tanzania * Mount Meru entry on Walkopedia cs:Mount Meru de:Mount Meru et:Meru es:Monte Meru (Tanzania) eu:Meru mendia fr:Mont M\u00e9ru it:Monte Meru (Tanzania) he:\u05de\u05e8\u05d5 (\u05d8\u05e0\u05d6\u05e0\u05d9\u05d4) ka:\u10db\u10d4\u10e0\u10e3 (\u10d5\u10e3\u10da\u10d9\u10d0\u10dc\u10d8) sw:Mlima Meru nl:Mount Meru pl:Meru (wulkan) pt:Monte Meru ru:\u041c\u0435\u0440\u0443 (\u0432\u0443\u043b\u043a\u0430\u043d) sk:Meru (sopka) fi:Meru sv:Mount Meru th:\u0e22\u0e2d\u0e14\u0e40\u0e02\u0e32\u0e40\u0e21\u0e23\u0e39\n\n=== E13 (Mount Meru (Tanzania) | background_source) ===\nuk:\u041c\u0435\u0440\u0443 (\u0432\u0443\u043b\u043a\u0430\u043d) vi:N\u00fai Meru (Tanzania) zh:\u6885\u9b6f\u706b\u5c71", + "n_clauses": 166, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.5306, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.3605, + "max_entailment": 0.0029, + "best_clause": "state, a federal state of the United States of America * Location: New England, in the Northeastern United States * Population of Connecticut: * Area of Connecticut: * Atlas of Connecticut ===Places in Connecticut=== * Historic places in Connecticut ** Abandoned communities in Connecticut ** Ghost towns in Connecticut ** National Historic Landmarks in Connecticut ** National Register of Historic Places listings in Connecticut *** Bridges on the National Register of Historic Places in Connecticut * National Natural Landmarks in Connecticut * National parks in Connecticut * State parks in Connecticut ===Environment of Connecticut=== * Climate of Connecticut * Geology of Connecticut * Protected areas in Connecticut ** State forests of Connecticut * Superfund sites in Connecticut * Wildlife of Connecticut ** Flora of Connecticut ** Fauna of Connecticut *** Birds of Connecticut *** Mammals of Connecticut *** Reptiles **** Snakes of Connecticut ====Natural geographic features of Connecticut==== * [[List of islands\n\nof Connecticut|Islands of Connecticut]] * Lakes of Connecticut * Mountains of Connecticut * Rivers of Connecticut ===Regions of Connecticut=== * Central Connecticut * Eastern Connecticut * Northern Connecticut ** Northeastern Connecticut ** Northwestern Connecticut * Southern Connecticut ** Southeastern Connecticut ** Southwestern Connecticut * Western Connecticut ====Administrative divisions of Connecticut==== * The eight Counties of the State of Connecticut ** Municipalities in Connecticut *** Cities in Connecticut **** State capital of Connecticut: **** City nicknames in Connecticut **** Sister cities in Connecticut *** Towns in Connecticut *** Unincorporated communities in Connecticut ** Census-designated places in Connecticut ===Demography of Connect\n\n Source: https://en.wikipedia.org/wiki/Connecticut_Senate\n The Connecticut State Senate is the upper house of the Connecticut General Assembly, the state legislature of the U.S.", + "n_clauses": 54, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.198, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.1074, + "max_entailment": 0.045, + "best_clause": "Soft 404s can occur as a result of configuration errors when using certain HTTP server software, for example with the Apache software, when an Error Document 404 (specified in a .htaccess file) is specified as an absolute path (e.g.", + "n_clauses": 146, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2778, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.6929, + "max_entailment": 0.835, + "best_clause": "900-1108)) the residence of the kings of France, although they were consecrated at Reims.", + "n_clauses": 176, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.6522, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.7669, + "max_entailment": 0.283, + "best_clause": "*\n\n=== E10 (Method Man (disambiguation) | primary_answer_source) ===\nArticles entitled \"Method Man\" include: Music: *Method Man is a Grammy-winning American rapper, record producer, actor, and member of the Wu-Tang Clan hip hop collective *Method Man (song), a Wu-Tang Clan song from their debut album Enter the Wu-Tang (36 Chambers), rapped mostly by Method Man himself.", + "n_clauses": 122, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.25, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9282, + "max_entailment": 0.0831, + "best_clause": "The very small numerical value of k merely reflects the small energy in joules required to increase a particle's energy through 1\u00a0K.", + "n_clauses": 158, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.1837, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.4834, + "max_entailment": 0.0049, + "best_clause": "After Pitt is successful in raising the Titanic and exposing the Soviet spies, all are shocked when it becomes apparent that the byzanium was never actually on board the ship.", + "n_clauses": 201, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.24, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0265, + "max_entailment": 0.0191, + "best_clause": "=== Applications === The iPad comes with several applications, including Safari, Mail, Photos, Video, YouTube, iPod, iTunes, App Store, iBooks, Maps, Notes, Calendar, Contacts, and Spotlight Search.", + "n_clauses": 253, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.4516, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.1366, + "max_entailment": 0.9194, + "best_clause": "Although the retreat, which had required long periods of meditation, was initially conceived by the band as a spiritual respite from all worldly endeavours\u2014a chance, in John Lennon's words, to \"get away from everything\"\u00a0\u2014 both Lennon and Paul McCartney had quickly found themselve\n\n Source: https://en.wikipedia.org/wiki/Name\n A name is a label for a noun, normally used to distinguish one from another.", + "n_clauses": 102, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.7209, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.3676, + "max_entailment": 0.0366, + "best_clause": "==Contents== * Introductory note by Edwin Muir * Longer Stories ** Investigations of a Dog ** The Burrow ** The Great Wall of China ** The Giant Mole * Short Stories and Fables ** The Hunter Gracchus ** The Married Couple ** My Neighbor ** A Common Confusion ** The Bridge ** The Bucket Rider ** A Sport ** The Knock at the Manor Gate ** The City Coat of Arms ** The Silence of the Sirens ** Prometheus ** The Truth about Sancho Panza ** The Problem of Our Laws ** On Parables ** A Little Fable * Aphorisms ** \"He\" ** Reflections on Sin, Pain, Hope, and the True Way\n\n=== E5 (Defense of the Great Wall | background_source) ===\nThe Defense of the Great Wall () (January 1, 1933 \u2013 May 31, 1933) was a campaign between the armies of Republic of China and Empire of Japan, which took place before the Second Sino-Japanese War officially commenced in 1937.", + "n_clauses": 161, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3235, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9824, + "max_entailment": 0.6654, + "best_clause": "Jackson Memorial Bridge, Portland to Vancouver, Washington *Hawthorne Bridge, Portland *Hood River Bridge, Hood River to White Salmon, Washington *Interstate Bridge, Portland *Isaac Lee Patterson Bridge, Gold Beach *John McLoughlin Bridge, Oregon City *Lewis and Clark Bridge, Rainier to Longview, Washington *Lewis and Clark River Bridge, Clatsop County *Marion Street Bridge, Salem *Marquam Bridge, Portland *Morrison Bridge, Portland *Oregon City Bridge, Oregon City to West Linn *Ross Island Bridge, Portland *Sam Hill Memorial Bridge, Biggs Junction to Maryhill, Washington *Sellwood Bridge, Portland *St.", + "n_clauses": 280, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.5789, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.849, + "max_entailment": 0.534, + "best_clause": "Youell 1916-18, a Canadian Lieutenant in WWI (from the Ontario Time Machine (virtual book) *Brazilian participation on the first world war - text in portuguese ===Animated maps=== * An animated map \"Europe plunges into war\" * An animated map of Europe at the end of the war * A collection of vintage maps from all theaters of World War I af:Eerste W\u00eareldoorlog als:Erster Weltkrieg am:\u12e8\u1218\u1300\u1218\u122a\u12eb\u12cd \u12e8\u12d3\u1208\u121d \u1326\u122d\u1290\u1275 ang:Fyrst \u01f7oruldg\u016b\u00fe ar:\u0627\u0644\u062d\u0631\u0628 \u0627\u0644\u0639\u0627\u0644\u0645\u064a\u0629 \u0627\u0644\u0623\u0648\u0644\u0649 an:Primera Guerra Mundial ast:Primera guerra mundial gn:Pete\u0129ha \u00d1orair\u00f5 Guasu az:Birinci d\u00fcnya m\u00fcharib\u0259si bn:\u09aa\u09cd\u09b0\u09a5\u09ae \u09ac\u09bf\u09b6\u09cd\u09ac\u09af\u09c1\u09a6\u09cd\u09a7 zh-min-nan:T\u0113-it-chh\u00f9 S\u00e8-k\u00e0i T\u0101i-chi\u00e0n be:\u041f\u0435\u0440\u0448\u0430\u044f \u0441\u0443\u0441\u0432\u0435\u0442\u043d\u0430\u044f \u0432\u0430\u0439\u043d\u0430 be-x-old:\u041f\u0435\u0440\u0448\u0430\u044f \u0441\u0443\u0441\u044c\u0432\u0435\u0442\u043d\u0430\u044f \u0432\u0430\u0439\u043d\u0430 bcl:Enot na Gyerang Pankinaban bar:Erster W\u00f6dkriag bo:\u0f60\u0f5b\u0f58\u0f0b\u0f42\u0fb3\u0f72\u0f44\u0f0b\u0f60\u0f41\u0fb2\u0f74\u0f42\u0f0b\u0f46\u0f7a\u0f53\u0f0b\u0f51\u0f44\u0f0b\u0f54\u0f7c\u0f0d bs:Prvi svjetski rat br:Brezel-bed kenta\u00f1 bg:\u041f\u044a\u0440\u0432\u0430 \u0441\u0432\u0435\u0442\u043e\u0432\u043d\u0430 \u0432\u043e\u0439\u043d\u0430 ca:Primera Guerra Mundial cv:\u041f\u0115\u0440\u0440\u0435\u043c\u0115\u0448 \u0422\u0115\u043d\u0447\u0435 \u0432\u0103\u0440\u00e7\u0438 cs:Prvn\u00ed sv\u011btov\u00e1 v\u00e1lka co:Prima guerra mundiale cy:Y Rhyfel Byd Cyntaf da:1.", + "n_clauses": 95, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3636, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0501, + "max_entailment": 0.0042, + "best_clause": "It was first released in North America on March 31, 1999, and is the first installment in the Matrix series of films, comic books, video games, and animation.", + "n_clauses": 111, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2366, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9449, + "max_entailment": 0.0404, + "best_clause": "Revised to 1990 when was aged to 15 in 2005) | title = | residence = Lily's House | parents = Damian Grimaldi (biological father) Lily Walsh Snyder (mother) Holden Snyder (adoptive father) | siblings = Abigail \"Abby\" Williams (adoptive half-sister) Aaron Snyder (adoptive half-brother) Faith Snyder (maternal half-sister/adoptive sister) Natalie Snyder (maternal half-sister/adoptive sister) Ethan Snyder (maternal half-brother/adoptive brother) | spouse = | romances = Jade Taylor (fake lover) Maddie Coleman (prom date)Casey Hughes (fake boyfriend) Brian Wheatley (kissed, ex-step-grandfather)Noah Mayer(ex-boyfriend) [2007-2010] Reid Oliver(boyfriend) [2010] (deceased) | children = | grandchildren = | grandparents = Unnamed man (biological grandfather, deceased) Orlena Grimaldi (biological grandmother, deceased) Joshua \"Josh\" Snyder-Stricklyn (maternal biological grandfather) Iva Snyder Benedict (maternal biological grandmother) Martin Guest (maternal adoptive grandfather, deceased) Lucinda Walsh (maternal adoptive grandmother) Harvey Snyder (adoptive grandfather, deceased) Emma Snyder (adoptive grandmother) | aunts/uncles = Rose D'Angelo (maternal biological aunt, deceased) Matthew John \"M.J.\" Dixon (maternal biological uncle) Sierra Esteban (maternal adoptive aunt) Bianca Walsh (maternal adoptive aunt) Seth Snyder (adoptive uncle) Elinor \"Ellie\" Snyder (adoptive aunt) Caleb Snyder (adopt\n\n Source: https://en.wikipedia.org/wiki/Luke_Spencer\n {{Infobox soap character | name = Luke Spencer | series = General Hospital | image1 = image:Luke spencer2.jpg | caption1 = Anthony Geary as Luke Spencer | spinoffs = GH: Night Shift | first = November 1978 | years = 1978\u20131983, 1984, 1993\u2013present | creator = Douglas Marland | portrayer = Anthony Geary | gender = Male | born = 1946 | age = 63 | family = Spencer family | parents = Tim Spencer(deceased)Lena Eckert Spencer(deceased) | siblings = Bobbie Spencer(sister) | spouse = Laura Webber (divorced;", + "n_clauses": 98, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.4444, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.1614, + "max_entailment": 0.0278, + "best_clause": "131 [ISBN 978-0-521-88188-3 (noting that \"Madison, along with other Americans clearly understood\" the Articles of Confederation \"to be the first federal Constitution.\") |- |align=\"center\"|||Constitution of the United States of America||align=\"center\"|||align=\"center\"| |} ===State constitutions=== Note that constitutions of states that were independent prior to admission, and constitutions used by states while participating in the American Civil War are not counted.", + "n_clauses": 142, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3913, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.8645, + "max_entailment": 0.0557, + "best_clause": "Within these two regions, five individual objects, Ceres, Pluto, Haumea, Makemake and Eris, are recognized to be large enough to have been rounded by their own gravity, and are thus termed dwarf planets.", + "n_clauses": 121, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.4615, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.1963, + "max_entailment": 0.003, + "best_clause": "An autopsy concluded he died of stomach cancer, though Sten Forshufvud and other scientists have since conjectured he was poisoned with arsenic.", + "n_clauses": 299, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2248, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0386, + "max_entailment": 0.0144, + "best_clause": "==Cells that are derived primarily from endoderm== === Gland cells === ====Exocrine secretory epithelial cells==== *Salivary gland mucous cell (polysaccharide-rich secretion) *Salivary gland serous cell (glycoprotein enzyme-rich secretion) *Von Ebner's gland cell in tongue (washes taste buds) *Mammary gland cell (milk secretion) *Lacrimal gland cell (tear secretion) *Ceruminous gland cell in ear (wax secretion) *Eccrine sweat gland dark cell (glycoprotein secretion) *Eccrine sweat gland clear cell (small molecule secretion) *Apocrine sweat gland cell (odoriferous secretion, sex-hormone sensitive) *Gland of Moll cell in eyelid (specialized sweat gland) *Sebaceous gland cell (lipid-rich sebum secretion) *Bowman's gland cell in nose (washes olfactory epithelium) *Brunner's gland cell in duodenum (enzymes and alkaline mucus) *Seminal vesicle cell (secretes seminal fluid components, including fructose for swimming sperm) *Prostate gland cell (secretes seminal fluid components) *Bulbourethral gland cell (mucus secretion) *Bartholin's gland cell (vaginal lubricant secretion) *Gland of Littre cell (mucus secretion) *Uterus endometrium cell (carbohydrate secretion) *Isolated goblet cell of respiratory and digestive tracts (mucus secretion) *Stomach lining mucous cell (mucus secretion) *Gastric gland zymogenic cell (pepsinogen secretion) *Gastric gland oxyntic cell (hydrochloric acid secretion) *Pancreatic acinar cell (bicarbonate and digestive enzyme secretion) *Paneth cell of small intestine (lysozyme secretion) *Type II pneumocyte of lung (surfactant secretion) *Clara cell of lung ===Hormone secreting cells=== *Anterior pituitary cells ** Somatotropes ** Lactotropes ** Thyrotropes ** Gonadotropes ** [[Corti\n\n Source: https://en.wikipedia.org/wiki/Human_body\n The human body is the entire structure of a human organism, and consists of a head, neck, torso, two arms and two legs.", + "n_clauses": 96, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.1944, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0108, + "max_entailment": 0.131, + "best_clause": "Following testing they stated: \"ELCOT has been using SUSE Linux and Ubuntu Linux operating systems on desktop and laptop computers numbering over 2,000 during the past two years and found them far superior as compared to other operating systems, notably the Microsoft Operating System.\" In many developing nations, such as China, where, due to widespread software piracy, Microsoft Windows\n\n=== E9 (Linux adoption | background_source) ===\nBot generated title -->] * Wotif, the Australian hotel booking website, migrated from Windows to Linux servers to keep up with the growth of its business.", + "n_clauses": 161, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2365, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.7417, + "max_entailment": 0.0867, + "best_clause": "Source: https://en.wikipedia.org/wiki/Mercury_Seven\n Mercury Seven was the group of seven Mercury astronauts selected by NASA on April 9, 1959.", + "n_clauses": 100, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.5806, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.5861, + "max_entailment": 0.209, + "best_clause": "Source: https://en.wikipedia.org/wiki/Obelisk\n An obelisk (from Greek \u1f40\u03b2\u03b5\u03bb\u03af\u03c3\u03ba\u03bf\u03c2 - obeliskos, diminutive of \u1f40\u03b2\u03b5\u03bb\u03cc\u03c2 - obelos, \"spit, nail, pointed pillar\") is a tall, narrow, four-sided, tapering monument which ends in a pyramid-like shape at the top, said to resemble a 'petrified ray' of the sundisk.", + "n_clauses": 135, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3529, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.1982, + "max_entailment": 0.0472, + "best_clause": "The signing of the treaty, however, was interrupted by the August Coup\u2014an attempted coup d'\u00e9tat against Gorbachev by hardline Communist Party members of the government and the KGB, who sought to reverse Gorbachev's reforms and reassert the central government's control over the republics.", + "n_clauses": 193, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.4, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.3759, + "max_entailment": 0.461, + "best_clause": "cs:Slovansk\u00fd sjezd de:Slawenkongress hr:Slavenski kongres pl:Zjazd S\u0142owia\u0144ski ru:\u0421\u043b\u0430\u0432\u044f\u043d\u0441\u043a\u0438\u0439 \u043a\u043e\u043d\u0433\u0440\u0435\u0441\u0441 \u0432 \u041f\u0440\u0430\u0433\u0435, 1848 sl:Slovanski kongres v Pragi, 1848 sr:\u041f\u0440\u0432\u0438 \u0441\u0432\u0435\u0441\u043b\u043e\u0432\u0435\u043d\u0441\u043a\u0438 \u043a\u043e\u043d\u0433\u0440\u0435\u0441 uk:\u0421\u043b\u043e\u0432'\u044f\u043d\u0441\u044c\u043a\u0438\u0439 \u041a\u043e\u043d\u0433\u0440\u0435\u0441 \u0443 \u041f\u0440\u0430\u0437\u0456 1848\n\n=== E5 (Prague | background_source) ===\nSciences of the Czech Republic]] ==Colleges and universities== Several universities and colleges are located in the city: * Charles University (UK) founded in 1348 (the oldest university in Central and Eastern Europe) * Czech Technical University (\u010cVUT) founded in 1707 * Academy of Fine Arts (AVU) founded in 1800 * Academy of Arts, Architecture and Design (V\u0160UP) founded in 1885 * Institute of Chemical Technology (V\u0160CHT) founded in 1920 * Academy of Performing Arts (AMU) founded in 1945 * Czech University of Agriculture (\u010cZU) founded in 1906/1952 * University of Economics (V\u0160E) founded in 1953 * Anglo-American College (AAC) founded in 1990 * University of New York in Prague (UNYP) founded in 1998 * University of Northern Virginia in Prague (UNVA) founded in 1998 ==Science, research and hi-tech centres== The region city of Prague is an important centre of research.", + "n_clauses": 233, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.7895, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9718, + "max_entailment": 0.4421, + "best_clause": "style=\"width:200px;\" | George Harrison(December 1967\u20131968) | * George Harrison \u2013 guitar, lead vocals * John Barham \u2013 piano, fl\u00fcgelhorn * Colin Manley \u2013 guitar and steel guitar * Tony Ashton \u2013 jangle piano and organ * Philip Rogers \u2013 bass * Roy Dyke \u2013 drums * Tommy Reilly \u2013 harmonica * Peter Tork \u2013 banjo (uncredited) * Eddie Clayton \u2013 guitar * Richie Snare \u2013 drums (rumoured) * Aashish Khan \u2013 sarod * Mahapurush Misra \u2013 tabla, pakavaj * Sharad Jadev \u2013 shehnai * Hanuman Jadev \u2013 shehnai * Shambu-Das \u2013 sitar * Indril Bhattacharya \u2013 sitar * Shankar Ghosh \u2013 sitar * Chandra Shekhar \u2013 surbahar * Shiv Kumar Sharma \u2013 santoor * S.", + "n_clauses": 70, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.5385, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9419, + "max_entailment": 0.0126, + "best_clause": "* Grand Slam in tennis women's results: *# Australian Open - Shirley Fry *# French Open - Shirley Bloomer *# Wimbledon championships - Althea Gibson *# US Open - Althea Gibson * Davis Cup \u2013 Australia won 3-2 over the United States in world tennis.", + "n_clauses": 153, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.18, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.3684, + "max_entailment": 0.5539, + "best_clause": "In April 2010 Veronica was chosen as the \"Editors Pick\" in the If I Can Dream MySpace contest, created by Simon Fuller and moved into the house on June 20, 2010 == Biography == Veronica Ballestrini was born in New London, CT and raised in Waterford, CT.", + "n_clauses": 98, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3333, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.1477, + "max_entailment": 0.1669, + "best_clause": "And one species, humans, branches off from its relatives and comes down from the trees.", + "n_clauses": 201, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2759, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0495, + "max_entailment": 0.5848, + "best_clause": "However, as far back as the 1920s, Kraepelin showed in a retrospective study of 900 manic-depressive adults that 0.4% had onset of symptoms before the age of ten.", + "n_clauses": 77, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.4259, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0855, + "max_entailment": 0.6406, + "best_clause": "In the prequel trilogy, the line is said in Star Wars Episode I: The Phantom Menace by Qui-Gon Jinn to Anakin Skywalker, and also by Mace Windu and Yoda.", + "n_clauses": 153, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.303, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.2822, + "max_entailment": 0.0277, + "best_clause": "The air temperature near the crash site now reaches 600 degrees Fahrenheit.", + "n_clauses": 114, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.1538, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.6871, + "max_entailment": 0.0384, + "best_clause": "The war is not fought in Oceanian, Eurasian or Eastasian territory but in a disputed zone comprising the sea and land from Tangiers (northern Africa) to Darwin (Australia) to the Arctic.", + "n_clauses": 145, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3125, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.3171, + "max_entailment": 0.0078, + "best_clause": "In the southern hemisphere, Japan permits annual takes of 10 fin whales under its Antarctic Special Permit whaling program for the 2005\u20132006 and\n\n=== E14 (Blue whale | background_source) ===\nThe Blue whale (Balaenoptera musculus) is a marine mammal belonging to the suborder of baleen whales (called Mysticeti).", + "n_clauses": 187, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2241, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.7509, + "max_entailment": 0.0373, + "best_clause": "The premise tells the tale of Clark Kent's beginnings into becoming Superman, set in the 1930s, where Clark befriends a wrongly convicted photographer named Willi Berg, and is then taken from Kansas to Hollywood and finally in New York where he meets Lois Lane, fights Lex Luthor, as he debuts in his superhero persona.", + "n_clauses": 197, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2179, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.6483, + "max_entailment": 0.0161, + "best_clause": "The city has a rich heritage and has provided the backdrop to major political events throughout much of its two millennia of existence.", + "n_clauses": 72, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.4281, + "max_entailment": 0.038, + "best_clause": "In (), Bilbo, a lifelong bachelor, adopted Frodo, the orphaned son of his first cousin Primula Brandybuck and his second cousin Drogo Baggins, and made him his heir.", + "n_clauses": 132, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.6923, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.4002, + "max_entailment": 0.0017, + "best_clause": "As with other bipedal dinosaurs in the films, the hands of Velociraptor are depicted with the palms able to rotate, but this would have been anatomically impossible for the real animals, as their forearm bones (ulna and radius) could not rotate in this way.", + "n_clauses": 239, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2073, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.702, + "max_entailment": 0.0061, + "best_clause": "==Overview== When communicating via HTTP, a server is required to respond to a request, such as a web browser's request for an HTML document (web page), with a numeric response code and an optional, mandatory, or disallowed (based upon the status code) message.", + "n_clauses": 85, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.0968, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.2284, + "max_entailment": 0.3975, + "best_clause": "while Eugene Lenormand's body was brought back to Paris and interred in Napoleon's tomb.", + "n_clauses": 206, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2929, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.8694, + "max_entailment": 0.9027, + "best_clause": "The United States's Apollo 11 was the first manned mission to land on the Moon on July 20, 1969.", + "n_clauses": 134, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3509, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.024, + "max_entailment": 0.0066, + "best_clause": "The older Opera Mini 3 Basic is still available for low-memory\n\n=== E2 (Opera Mini | background_source) ===\ncompany's proxy servers, and that server retrieves the web page, processes it, compresses it, and sends it back to the user's mobile phone.]] By default, Opera Mini opens only one connection to the proxy servers, and then keeps that connection open and re-uses it over and over.", + "n_clauses": 234, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3529, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.2079, + "max_entailment": 0.3343, + "best_clause": "Latin poet Ovid refers to the birthday of him and his brother with party and cake in his first book of exile, Tristia.", + "n_clauses": 184, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.0465, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.7565, + "max_entailment": 0.194, + "best_clause": "Common examples include \"The stork brought you\" (in reference to childbirth) and the existence of Santa Claus, Tooth Fairy or the Easter Bunny.", + "n_clauses": 266, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.1176, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.051, + "max_entailment": 0.0038, + "best_clause": "Together with Simon Peter and James the Just, he is considered among the most notable of early Christian leaders.", + "n_clauses": 104, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.1901, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.2063, + "max_entailment": 0.0707, + "best_clause": "for example, the Germans have used \"J\" instead of \"I\" for iodine, so the character would not be confused with a roman numeral.", + "n_clauses": 151, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.26, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.158, + "max_entailment": 0.0258, + "best_clause": "Also, a large part of Magna Carta was copied, nearly word for word, from the Charter of Liberties of Henry I, issued when Henry I rose to the throne in 1100, which bound the king to laws which effectively granted certain civil liberties to the church and the English nobility.", + "n_clauses": 120, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3542, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.8704, + "max_entailment": 0.114, + "best_clause": "VMware) * A floppy boot disk * A LAN using Preboot Execution Environment and the internet using gPXE ==System Tools== SliTaz has its own original tools: * TazPkg - The SliTaz lightweight package manager * TazLiTo - Allows for creation of a custom SliTaz LiveCD distribution * TazUSB - Allows for creation of a custom SliTaz USB distribution * TazWok - Creates custom packages for use with TazPkg ==Release history== {|class=\"wikitable\" !Version !Release date !Stability |----------------------------------- |- | style=\"background-color:Salmon;\" | 1.0 || 23 March 2008 || Stable version |- | style=\"background-color:Salmon;\" | 2.0 || 16 April 2009 || Stable version |- | style=\"background-color:#A0E75A;\" | 3.0 || 28 March 2010 || Current stable version |} ==Flavors== Apart from the LiveCD, other versions include: * xvesa - A fully-featured desktop environment using the tiny Xvesa graphical server * justX - A system using only the minimum X requirements to boot * loram - A system that boots with only 80 MB RAM * loram-cdrom - A system that boots with only 16 MB RAM (and a little swap) * base - The core system (8 MB) * 3in1 - Flavor containing the base, justx and core ISOs ==Gallery== ==See also== * Comparison of Linux Live Distros * Mini Linux, a general term for lightweight Linux distributions * List of Linux distributions that run from RAM * Tiny SliTaz ==References== ==External links== * SliTaz GNU/Linux official website * SliTaz @ DistroWatch * Ready to use Virtualbox images for SliTaz Gnu/Linux * Unetbootin homepage * SliTaz Review * SliTaz Linux : Linux Distro ar:\u0633\u0644\u064a\u062a\u0627\u0632 \u062c\u0646\u0648/\u0644\u064a\u0646\u0643\u0633 ast:SliTaz bs:SliTaz cs:SliTaz da:SliTaz de:Slitaz es:SliTaz GNU/Linux fr:SliTaz GNU/Linux hr:SliTaz id:SliTaz zu:SliTaz it:SliTaz sw:SliTaz ht:SliTaz ku:SliTaz lv:SliTaz mk:Slitaz mg:SliTaz ja:Slitaz no:SliTaz GNU/Linux pl:SliTaz pt:SliTaz ro:SliTaz GNU/Linux ru:SliTaz simple:SliTaz sk:SliTaz sl:SliTaz so:SliTaz sr:SliTaz fi:Slitaz uk:Slitaz vi:SliTaz zh:Slitaz\n\n=== E5 (Musix GNU/Linux | primary_answer_source) ===\nMusix GNU/Linux is a live CD and DVD Linux distribution for the IA-32 processor family based on Debian.", + "n_clauses": 115, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.1961, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0625, + "max_entailment": 0.0454, + "best_clause": "====Bones==== An adult human has approximately 206 distinct bones: :Spine and vertebral column (26) :Cranium (8) :Face (14) :Hyoid bone, sternum and ribs (26) :Upper extremities (70) :Lower extremities (62) ===Nervous system=== The nervous system consists of cells that communicate information about an organism's surroundings and itself.", + "n_clauses": 147, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.5312, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.8297, + "max_entailment": 0.035, + "best_clause": "Wyn, 1952, p.141. Salvador Dal\u00ed, famous for his surrealist work, painted Self portrait as Mona Lisa in 1954.", + "n_clauses": 202, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.4062, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.1688, + "max_entailment": 0.6933, + "best_clause": "de:Doppler el:\u039d\u03c4\u03cc\u03c0\u03bb\u03b5\u03c1 (\u03b1\u03c0\u03bf\u03c3\u03b1\u03c6\u03ae\u03bd\u03b9\u03c3\u03b7) es:Doppler fr:Doppler he:\u05d3\u05d5\u05e4\u05dc\u05e8 is:Doppler nl:Doppler pt:Doppler fi:Doppler tr:Doppler\n\n Source: https://en.wikipedia.org/wiki/Doppler_fetal_monitor\n Invented in 1958 by Dr.", + "n_clauses": 115, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.8667, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0761, + "max_entailment": 0.0094, + "best_clause": "Because the fertile soil of the North China Plain gradually merges with the steppes and deserts of Central Asia, with no natural barriers between the two regions, the plain has been prone to invasion from Central Asia and Manchuria, prompting the construction of the Great Wall of China.", + "n_clauses": 82, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3793, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.4221, + "max_entailment": 0.0039, + "best_clause": "As of early 2009, only a few manufacturers are offering lower power 945GSE-based motherboards to end users, paired with the Atom N270 or N280 CPU, while Sony VAIO P pioneers the use of the low power US15W chipset with Z5xx series processors.", + "n_clauses": 205, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2527, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0446, + "max_entailment": 0.0024, + "best_clause": "Outstanding PEPs are reviewed and commented upon by Van Rossum, the Python project's Benevolent Dictator for Life (leader / language architect).\"Gustave Eiffel: The Man Behind the Masterpiece\"\n\n Source: https://en.wikipedia.org/wiki/Lattice_tower\n A lattice tower is a freestanding framework tower.", + "n_clauses": 111, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.8462, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9038, + "max_entailment": 0.0103, + "best_clause": "==Background== === Ophelia mania in Paris=== The Parisian public's fascination with Ophelia, prototype of the femme fragile, began in the fall of 1827, when an English company directed by William Abbot came to Paris to give a season of Shakespeare in English at the Od\u00e9on.", + "n_clauses": 269, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.1105, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0875, + "max_entailment": 0.0524, + "best_clause": "Young people lacking money and living space to properly reproduce is just one of many reasons the birth rate plummeted starting in the year 2005.", + "n_clauses": 106, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.1649, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0095, + "max_entailment": 0.0039, + "best_clause": "Eiffel and his engineers, however, as experienced bridge builders, understood the importance of wind forces and knew that if they were going to build the tallest structure in the world they had to be certain it would withstand the wind.", + "n_clauses": 167, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2456, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.6682, + "max_entailment": 0.4328, + "best_clause": "*Godzilla: Monster of Monsters (1989), videogame: Planet X is said to initially exist between Neptune and Pluto and causes the two planets to switch positions in the solar system while Planet X itself becomes the literal tenth planet in the system and is shown to be artificial, though mountains and jungles exist on it.", + "n_clauses": 176, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.6316, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0072, + "max_entailment": 0.0131, + "best_clause": "A sudden power output surge took place, and when an attempt was made at an emergency shutdown, a more extreme spike in power output occurred which led to the rupture of a reactor vessel as well as a series of explosions.", + "n_clauses": 93, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3784, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0549, + "max_entailment": 0.0076, + "best_clause": "Under the first settlement orders to select a more secur\n\n Source: https://en.wikipedia.org/wiki/Jamestown,_Virginia\n Jamestown, located, on Jamestown Island in the Virginia Colony, was founded on May 14, 1607.", + "n_clauses": 118, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2885, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0282, + "max_entailment": 0.3582, + "best_clause": "Some researchers increasingly view them as part of an overlapping spectrum that also includes anxiety and psychosis.", + "n_clauses": 71, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2419, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.8231, + "max_entailment": 0.1767, + "best_clause": "The other most common usage of the term is in the context of World War III, a phrase usually used to describe any hypothetical future global conflict.", + "n_clauses": 107, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.1111, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.1236, + "max_entailment": 0.116, + "best_clause": "==References==\n\n=== E5 (War | background_source) ===\n475 BC\u2013221 BC) *7,000,000\u201320,000,000 - Conquests of Tamerlane (1360\u20131405) *5,000,000\u20139,000,000 - Russian Civil War and Foreign Intervention (1917\u20131921) *5,000,000 - Conquests of Menelik II of Ethiopia (1882\u20131898) *3,800,000\u20135,400,000 - Second Congo War (1998\u20132007) *3,500,000\u20136,000,000 - Napoleonic Wars (1804\u20131815) (see Napoleonic Wars casualties) *3,000,000\u201311,500,000 - Thirty Years' War (1618\u20131648) *3,000,000\u20137,000,000 - Yellow Turban Rebellion (China, 184\u2013205) *2,500,000\u20133,500,000 - Korean War (1950\u20131953) (see Cold War) *2,300,000\u20133,800,000 - Vietnam War (entire war 1945\u20131975) **300,000\u20131,300,000 - First Indochina War (1945\u20131954) **100,000\u2013300,000 - Vietnamese Civil War (1954\u20131960) **1,750,000\u20132,100,000 - American phase (1960\u20131973) **170,000 - Final phase (1973\u20131975) **175,000\u20131,150,000 - Secret War (1962\u20131975) *2,000,000\u20134,000,000 - Huguenot Wars *2,000,000 - Shaka's conquests (1816\u20131828) *2,000,000 - Mahmud of Ghazni's invasions of India (1000\u20131027) *300,000\u20133,000,000 - Bangladesh Liberation War (1971) *1,500,000\u20132,000,000 - Afghan Civil War (1979\u2013 ) **1,000,000\u20131,500,000 - Soviet intervention (1979\u20131989) *1,300,000\u20136,100,000 - Chinese Civil War (1928\u20131949) note that this figure excludes World War II casualties **300,000\u20133,100,000 - before 1937 **1,000,000\u20133,000,000 - after World War II *1,000,000\u20132,000,000 - Mexican Revolution (1910\u20131920) *1,000,000 - Iran\u2013Iraq War (1980\u20131988) *1,000,000 - Japanese invasions of Korea (1592\u20131598) *1,000,000 - Second Sudanese Civil War (1983\u20132005) *1,000,000 - Nigerian Civil War (1967\u20131970) *618,000\u2013970,000 - American Civil War (including 350,000 from disease) (1861\u20131865) *900,000\u20131,000,000 - Mozambique Civil War (1976\u20131993) *868,000 - Seven Years' War (1756\u20131763)\u20131,400,000 *800,000\u20131,000,000 - Rwandan Civil War (1990\u20131994) *800,000 - Congo Civil War (1991\u20131997) *600,000\u20131,300,000 - First Jewish-Roman War (see List of Roman wars) *580,000 - Bar Kokhba\u2019s revolt (132\u2013135CE) *570,000 - Eritrean War of Independence (1961\u20131991) *550,000 - Somali Civil War (1988\u2013 ) *500,000\u20131,000,000 - Spanish Civil War (1936\u20131939) *500,000 - Angolan Civil War (1975\u20132002) *500,000 - Ugandan Civil War (1979\u20131986) *400,000\u20131,000,000 - War of the Triple Alliance in Paraguay (1864\u20131870) *400,000 - War of the Spanish Succession (1701\u20131714) *371,000 - Continuation War (1941\u20131944) *350,000 - Great Northern War (1700\u20131721) *315,000\u2013735,000 - Wars of the Three Kingdoms (1639\u20131651) English campaign ~40,000, Scottish 73,000, Irish 200,000\u2013620,000 *300,000 - Russian-Circassian War (1763\u20131864) (see Caucasian War) *300,000 - First Burundi Civil War (1972) *300,000 - Darfur conflict (2003\u2013 ) *230,000\u20132,000,000 - [[Eighty Years'\n\n=== E6 (War | background_source) ===\nto coexist and prosper.", + "n_clauses": 307, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.0741, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.5577, + "max_entailment": 0.1532, + "best_clause": "His tenure saw national debates on immigration and [[Social Security (United States)|S\n\n Source: https://en.wikipedia.org/wiki/George_H._W._Bush\n George Herbert Walker Bush (born June 12, 1924, in Milton, Massachusetts) was the 41st President of the United States (1989\u20131993).", + "n_clauses": 92, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.1948, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.875, + "max_entailment": 0.9678, + "best_clause": "Built in the early 1990s, this structure is a scale model of the Eiffel Tower in Paris, France.", + "n_clauses": 271, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.95, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.5223, + "max_entailment": 0.014, + "best_clause": "||Germany ||Reken ||60 m || |- |Schomberg Observation Tower ||2005/2006 ||Germany ||Sundern ||60 m || |- |Aalborgt\u00e5rnet ||1933 ||Denmark ||Aalborg ||54.9 m || |- |Watkins' Tower ||1891 ||UK ||London ||46 m ||never completed, dismantled |- |Joseph's Cross ||1896 ||Germany ||Stolberg ||38 m || |- |Poppenberg Observation Tower ||1897 ||Germany ||Ilfeld ||33 m || |- |Lemberg Tower ||1899 ||Germany ||Lemberg Mountain ||33 m || |- |Wanne Observation Tower ||1888 ||Germany ||Villingen-Schwenningen ||30 m || |- |Gehrenberg Tower ||1903 ||Germany ||Markdorf ||30 m || |- |Tower of Unity ||1962 ||Germany ||Heldrastein ||30 m ||Former additionally guyed lattice tower, which was transformed into observation tower |- |Gustav-Vietor-Tower ||1882 ||Germany || Hohe Wurzel (Taunus) ||25 m || demolished in 2006 |- |Observation Tower Height of Goetzingen ||1883 ||Germany ||Neustadt/Saxony ||25 m || |- |Hochfirst Tower ||1890 ||Germany ||Titisee-Neustadt ||25 m ||Additionally guyed |- |B\u00fcchenbronn Observation Tower ||1883 ||Germany |\n\n=== E13 (Eiffel (company) | background_source) ===\nEiffel (French Eiffel Constructions m\u00e9talliques) is part of the Eiffage group and the descendant of the engineering company Soci\u00e9t\u00e9 des \u00c9tablissements Eiffel founded by Gustave Eiffel, designer of the Eiffel Tower.", + "n_clauses": 253, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3929, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0335, + "max_entailment": 0.4109, + "best_clause": "Today, in addition to certified Unix systems such as those already mentioned, Unix-like operating systems such as Linux and BSD descendants (FreeBSD, NetBSD, and OpenBSD) are commonly encountered.", + "n_clauses": 133, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.18, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.8845, + "max_entailment": 0.1312, + "best_clause": "==Military service== On March 21, 2007 the United States Navy Reserve announced the selection of Bush for training as an intelligence officer.", + "n_clauses": 293, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3125, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.7153, + "max_entailment": 0.9418, + "best_clause": "North of Aswan, the river bed is not rocky, but is\n\n Source: https://en.wikipedia.org/wiki/Nile_Basin_Initiative\nThe Nile Basin Initiative (NBI) is a partnership among the Nile riparian states that \u201cseeks to develop the river in a cooperative manner, share substantial socioeconomic benefits, and promote regional peace and security\u201d.", + "n_clauses": 80, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.4375, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.7159, + "max_entailment": 0.2531, + "best_clause": "He's been listed by Guido van Rossum together with Barry Warsaw as the probable inventor of the term Benevolent Dictator For Life (during his CNRI tenure).", + "n_clauses": 99, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2174, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0947, + "max_entailment": 0.8771, + "best_clause": "Stanley Kubrick's 2001: A Space Odyssey was another science fiction film that helped inspire the visual style of The Matrix.", + "n_clauses": 120, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.1947, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9516, + "max_entailment": 0.0075, + "best_clause": ";1980s: A restaurant and its supporting iron scaffolding midway up the tower was dismantled;", + "n_clauses": 193, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.449, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0324, + "max_entailment": 0.1712, + "best_clause": "Another argument adduced in favour of Linux is the variety of platforms whose hardware is supported, as well as software.", + "n_clauses": 203, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2951, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.5444, + "max_entailment": 0.1075, + "best_clause": "The meaning of life is deeply mixed with the philosophical and religious conceptions of existence, consciousness, and happiness, and touches on many other issues, such as symbolic meaning, ontology, value, purpose, ethics, good and evil, free will, conceptions of God, the existence of God, the soul, and the afterlife.", + "n_clauses": 111, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3214, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.7014, + "max_entailment": 0.0479, + "best_clause": "\"Henry VIII\" in Cambridge Modern History vol 2 (1903), a brief political history online edition * Graves, Michael.", + "n_clauses": 311, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.5, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.3719, + "max_entailment": 0.6637, + "best_clause": "1482) ** John Bourchier, 2nd Baron Berners, translator (died 1553) ** John Yonge, ecclesiastic and diplomatist (died 1516) ** William Latimer, churchman and scholar (died 1545) * 1469 ** 20 March - Cecily of York, princess (died 1507) ==Deaths== * 1460 ** 10 July (at the Battle of Northampton) *** Humphrey Stafford, 1st Duke of Buckingham, military leader (born 1402) *** John Talbot, 2nd Earl of Shrewsbury (born c.", + "n_clauses": 159, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.0584, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.2624, + "max_entailment": 0.1147, + "best_clause": "Source: https://en.wikipedia.org/wiki/Linux\n Linux (commonly in American English, also Torvalds used in English.", + "n_clauses": 19, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.1333, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.1329, + "max_entailment": 0.0087, + "best_clause": "This album also featured three previously released tracks on which the two co\n\n Source: https://en.wikipedia.org/wiki/Method_Man_(song)\n {{Infobox song | Name = Method Man | Cover = | Artist = Wu-Tang Clan | Album = Enter the Wu-Tang (36 Chambers) and Tical | Released = November 9, 1993 | track_no = 9 | Recorded = March 1993 Firehouse Studio in New York City | Genre = East Coast hip hop | Length = 5:50 | Writer = Robert Diggs Jason Hunter Lamont Hawkins Clifford Smith Corey Woods Dennis Coles Russell Jones Gary Grice | Composer = Method Man, RZA | Label = Loud Records | Producer = RZA | Chronology = Enter the Wu-Tang (36 Chambers) | track_no = 9 | prev = \"C.R.E.A.M.\" | prev_no = 8 | next = \"Protect Ya Neck\" | next_no = 10 }} \"Method Man\" is the B-side to the single \"Protect Ya Neck\" from critically acclaimed debut album by the Wu-Tang Clan titled Enter the Wu-Tang (36 Chambers).", + "n_clauses": 125, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.1727, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9967, + "max_entailment": 0.0019, + "best_clause": "* Microsoft Research Cambridge was founded in 1997 by Roger Needham and now numbers over 100 employees.", + "n_clauses": 170, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2222, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9456, + "max_entailment": 0.2289, + "best_clause": "The discovery of element 112 was acknowledged in 2009, and the name 'copernicium' and the atomic symbol 'Cn' were suggested for it.", + "n_clauses": 240, + "n_candidate_clauses": 6, + "best_clause_overlap": 1.0, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.5999, + "max_entailment": 0.2513, + "best_clause": "The United States Government also insists that U.S.", + "n_clauses": 95, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.6613, + "max_entailment": 0.3763, + "best_clause": "The $64,000 Question had the opposite problem: sponsor Revlon\u2013possibly under pressure from its chieftain, Charles Revson, who has been credited with expressing the desire for famous faces that prompted Challenge's expansion to include celebrities\u2013often tried to interfere with the production of The $64,000 Question, including and especially trying to bump contestants it simply disliked, no matter whether the audience liked them.", + "n_clauses": 122, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2222, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.2095, + "max_entailment": 0.0169, + "best_clause": "Below the Blue and White Nile confluence the only remaining major tributary is the Atbara River, which originates in Ethiopia north of Lake Tana, and is around long.", + "n_clauses": 181, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.325, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.2695, + "max_entailment": 0.0606, + "best_clause": "Other family members include Homer's mother Mona Simpson, Homer's \"Vegas wife\" Amber, Marge's mother Jacqueline Bouvier, and a whole range of minor relatives.", + "n_clauses": 298, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.4359, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.745, + "max_entailment": 0.8861, + "best_clause": "The remainder of the objects in orbit around the Sun are small Solar System bodies.
  • If \u03c8 is the angle between the north pole of the ecliptic and the north galactic pole then: ::, where 27\u00b0 07\u2032 42.01\u2033 and 12h 51m 26.282 are the declination and right ascension of the north galactic pole, while 66\u00b0 33\u2032 38.6\u2033 and 18h 0m 00 are those for the north pole of the ecliptic.", + "n_clauses": 158, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.5862, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9501, + "max_entailment": 0.0356, + "best_clause": "=== E1 (RMS Titanic | primary_answer_source) ===\nTitanic] * Titanic Historical Society * RMS Titanic, Inc Corporate information and the official Titanic archive * Surviving the Titanic - slideshow by Life magazine * Some Reflections on the Loss of the Titanic by Joseph Conrad, 1912 * PBS Online \u2013 Lost Liners *The Titanic Disaster, Steamship Lanes, and the Establishment of the Ice Patrol: The 1912 Report of the Hydrographer, U.S.", + "n_clauses": 171, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.55, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9799, + "max_entailment": 0.1275, + "best_clause": "Hay Plumb |Johnston Forbes-Robertson | |- bgcolor=#e3e3e3 |Hamlet |SilentItaly1917 |Eleuterio Rodolfi | | |- |Ha\n\n=== E11 (Hamlet (1948 film) | background_source) ===\nHamlet is a 1948 British film adaptation of William Shakespeare's play Hamlet, adapted and directed by and starring Sir Laurence Olivier.", + "n_clauses": 135, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.35, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.2908, + "max_entailment": 0.1957, + "best_clause": "Nucleotides (bases) are matched between strands through hydrogen bonds to form base pairs.", + "n_clauses": 96, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2436, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.2816, + "max_entailment": 0.0548, + "best_clause": "The gas giant planets (Jupiter, Saturn, Uranus, and Neptune) formed further out, beyond the frost line, the point between the orbits of Mars and Jupiter where the material is cool enough for volatile icy compounds to remain solid.", + "n_clauses": 226, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3621, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0125, + "max_entailment": 0.0077, + "best_clause": "That pretty much guarantees that Windows will be overcounted.|Caitlyn Martin}} ====Reasons for adoption==== Reasons to change from other operating systems to Linux include better system stability, virus, trojan, adware and spyware protection, low or no cost, that most distributions come complete with application software and hardware drivers, simplified updates for all installed software, free software licencing, availability of application repositories and access to the source code.", + "n_clauses": 261, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2055, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.4799, + "max_entailment": 0.0569, + "best_clause": "Source: https://en.wikipedia.org/wiki/Jurassic_Park_(NES_game)\n Jurassic Park is a video game based on the film and novel of the same name for the Nintendo Entertainment System (NES).", + "n_clauses": 97, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.1778, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0775, + "max_entailment": 0.9814, + "best_clause": "| orbit_ref = | epoch = J2000 | aphelion = | perihelion = | semimajor = | eccentricity = 0.048775 | inclination = 1.305\u00b0 to Ecliptic6.09\u00b0 to Sun's equator0.32\u00b0 to Invariable plane | asc_node = 100.492\u00b0 | arg_peri = 275.066\u00b0 | mean_anomaly = 18.818\u00b0 | period = 4,331.572\u00a0days11.85920\u00a0yr10,475.8 Jupiter solar days | synodic_period = 398.88\u00a0days | avg_speed = 13.07\u00a0km/s | satellites = 63 | physical_characteristics = yes | flattening = 0.06487 \u00b1 0.00015 | equatorial_radius = 71,492 \u00b1 4\u00a0km{{cite journal\n\n Source: https://en.wikipedia.org/wiki/Naming_of_moons\nThe naming of moons has been the responsibility of the IAU's committee for Planetary System Nomenclature since 1973.", + "n_clauses": 100, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.9286, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.2251, + "max_entailment": 0.073, + "best_clause": "AMD has claimed that Intel engaged in unfair competition by offering rebates to Japanese PC manufacturers who agreed to eliminate or limit purchases of microprocessors made by AMD or a smaller manufacturer, Transmeta.", + "n_clauses": 158, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.1106, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.884, + "max_entailment": 0.8753, + "best_clause": "*Paris (1789\u20131871) *Versailles (1871\u20131879) The French Third Republic established Versailles as its seat of government in March 1871 after the Paris Commune took control of Paris.", + "n_clauses": 135, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.7857, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9567, + "max_entailment": 0.0018, + "best_clause": "* Microsoft Research Cambridge was founded in 1997 by Roger Needham and now numbers over 100 employees.", + "n_clauses": 108, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.1579, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.739, + "max_entailment": 0.4563, + "best_clause": "Source: https://en.wikipedia.org/wiki/Berlin_Wall\n |- | |- | |- | |} The Berlin Wall () was a barrier constructed by the German Democratic Republic (GDR, East Germany) starting August 13, 1961, that completely cut off West Berlin from surrounding East Germany and from East Berlin.", + "n_clauses": 66, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.9, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0775, + "max_entailment": 0.0088, + "best_clause": "Later, the Han, Sui, Northern and Jin dynasties all repaired, rebuilt, or expanded sections of the Great Wall at great cost to defend themselves against northern invaders.", + "n_clauses": 133, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.1687, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9731, + "max_entailment": 0.8424, + "best_clause": "The company was originally named N3 Capital and headquartered in Fort Worth, Texas.", + "n_clauses": 293, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3103, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.3912, + "max_entailment": 0.0401, + "best_clause": "Below the Blue and White Nile confluence the only remaining major tributary is the Atbara River, which originates in Ethiopia north of Lake Tana, and is around long.", + "n_clauses": 257, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.5625, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.2427, + "max_entailment": 0.8606, + "best_clause": "His name is easily derived in form from Belleforest and the lost play from\n\n Source: https://en.wikipedia.org/wiki/Hamlet_in_performance\n Hamlet by William Shakespeare has been performed many times over since the beginning of the 17th century.", + "n_clauses": 119, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.75, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.2093, + "max_entailment": 0.8181, + "best_clause": "Applications included on the paldo Live/Install CD and in the repository: * Epiphany * Tomboy * OpenOffice.org * Totem (media player) * Pidgin (software) * Gedit Recent versions of selected paldo packages (paldo 1.22 stable release): * GNOME 2.30.1 * Firefox 3.6 * Linux 2.6.33.4 * GCC 4.4 * glibc 2.11 * X.org server 1.8.0 * OpenOffice.org 3.2.0 ==References==\n\n Source: https://en.wikipedia.org/wiki/Source_Mage_GNU/Linux\n Source Mage GNU/Linux is an operating system.", + "n_clauses": 102, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2821, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0552, + "max_entailment": 0.3433, + "best_clause": "* Other notable figures from the state span American political and cultural history, including Roger Sherman, Benedict Arnold, Nathan Hale, Eli Whitney, John Brown, Prudence Crandall, P.", + "n_clauses": 71, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2976, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.2472, + "max_entailment": 0.4947, + "best_clause": "This later beca\n\n=== E4 (Prague | background_source) ===\nSciences of the Czech Republic]] ==Colleges and universities== Several universities and colleges are located in the city: * Charles University (UK) founded in 1348 (the oldest university in Central and Eastern Europe) * Czech Technical University (\u010cVUT) founded in 1707 * Academy of Fine Arts (AVU) founded in 1800 * Academy of Arts, Architecture and Design (V\u0160UP) founded in 1885 * Institute of Chemical Technology (V\u0160CHT) founded in 1920 * Academy of Performing Arts (AMU) founded in 1945 * Czech University of Agriculture (\u010cZU) founded in 1906/1952 * University of Economics (V\u0160E) founded in 1953 * Anglo-American College (AAC) founded in 1990 * University of New York in Prague (UNYP) founded in 1998 * University of Northern Virginia in Prague (UNVA) founded in 1998 ==Science, research and hi-tech centres== The region city of Prague is an important centre of research.", + "n_clauses": 159, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.7895, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0861, + "max_entailment": 0.0577, + "best_clause": "Remarkably, the Hereford Magna Carta is the only one known to survive along with an early version of a Magna Carta 'users manual', a small document that was sent along with Magna Carta telling the Sheriff of the county to observe the conditions outlined in the document.", + "n_clauses": 161, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.5312, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.1258, + "max_entailment": 0.0637, + "best_clause": "==Tributaries and crossings== From origin to mouth, the Rosebud River receives the following tributaries or passes through these geographic features: {|class=wikitable |- !Tributary or feature !Location !Remarks |- | Origin | | |- | Highway 582 | | Bridge |- | Canadian Pacific Railway | | Bridge |- | Copeley Lake | |Left tributary |- | Canadian Pacific Railway | | Bridge |- | Highway 582 | | Bridge |- | Highway 2A | | Bridge |-\n\n=== E4 (Rosebud River | primary_answer_source) ===\n| Highway 2 | | tributary |- | Deadrick Creek | |Left tributary |- | Highway 581 | | Bridge |- | Sheep Coulee | |Right tributary |- | Highway 791 | | Bridge |- | Carstairs Creek | |Right tributary |- | CN Rail | | Bridge |- | Highway 9 | | Bridge |- | Crossfield Creek | | Right tributary |- | Highway 861 | | Bridge |- | Atusis Creek | | Left tributary |- | Serviceberry Creek | |Right tributary |- | Redland | | Flows by community |- | Rosebud | | Flows by community |- | Severn Creek | | Right tributary |- | Home Coulee | | Right tributary |- | Wayne | | Flows through community |- | Red Deer River | | River mouth |- |} ==See also== *List of rivers of Alberta ==References==\n\n=== E5 (Semantic interoperability | background_source) ===\nthat communicate with each other regularly, so as to allow refinement or clarification of meanings that are unclear, or addition of new meanings.", + "n_clauses": 137, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3958, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.3292, + "max_entailment": 0.3844, + "best_clause": "==Track listings== ;UK CD 1 #\"Why'd You Lie to Me\" (Album Version) \u2013 3:43 #\"Why'd You Lie to Me\" (M*A*S*H Master Mix) \u2013 7:03 #\"Bad Girls\" (Live at the Brits 2002 with Jamiroquai) \u2013 4:13 #\"Why'd You Lie to Me\" (Video) ;UK CD 2 #\"Why'd You Lie to Me\" (Album Version) \u2013 3:43 #\"Why'd You Lie to Me\" (Kardinal Beats Mix) \u2013 4:31 #\"[[Boom (song)|Boom\n\n Source: https://en.wikipedia.org/wiki/The_Cake\n The Cake are a 60s girl group made up of Jeanette Jacobs (1950-1980), Barbara Morillo and Eleanor Barooshian.", + "n_clauses": 133, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2273, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9046, + "max_entailment": 0.8734, + "best_clause": "The Beatles were inducted into the Rock and Roll Hall of Fame in 1988, their first year of eligibility.", + "n_clauses": 70, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2027, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.5872, + "max_entailment": 0.9091, + "best_clause": "Similarly, the continental United States refers to the 48 contiguous states in central North America and may include Alaska in the northwest of the continent (the two being separated by Canada), while excluding Hawaii in the middle of the Pacific Ocean.", + "n_clauses": 65, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.5882, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9549, + "max_entailment": 0.0469, + "best_clause": "Named after Michael Jordan, a basketball player with the Chicago Bulls, the restaurant was once one of the most popular tourist spots in Chicago.", + "n_clauses": 122, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.4444, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.6602, + "max_entailment": 0.019, + "best_clause": "in Captain John Smith Project Gutenberg Text, accessed 4 July 2006 ==External links== * Captain John Smith Chesapeake National Historic Trail Official Website * Friends of the John Smith Trail * NGS Then and Now - John Smith * Captain John Smith Trail in Virginia * John Smith Water Trail Blog * The Captain John Smith Water Trail * A Description of New England (1616) online text (PDF) * Our Most Politically Incorrect Founding Father (WorldNet Daily) * The Ugliest Monument in New England (seacoastnh.com) * The Ugliest Monument in New England II * John Smith Memorial Photo History * Captain John Smith Chesapeake NHT is administered by the Chesapeake Bay Gateways and Watertrails Network * John Smith 400 Project - 2007 Re-enactment Voyage * Smith Water Trail Loops * Complete text of the Generall Historie American Memory * Texts of Imagination & Empire, by Emily Rose, Princeton University Folger Shakespeare Library * Captain John Smith His Life and Legend da:John Smith (Jamestown) de:John Smith (Jamestown) es:John Smith (explorador) eo:John Smith fa:\u062c\u0627\u0646 \u0627\u0633\u0645\u06cc\u062a fr:John Smith of Jamestown id:John Smith (pengelana) it:John Smith di Jamestown nl:John Smith (ontdekkingsreiziger) ja:\u30b8\u30e7\u30f3\u30fb\u30b9\u30df\u30b9 (\u63a2\u691c\u5bb6) no:John Smith av Jamestown pl:John Smith (angielski \u017co\u0142nierz i kolonizator Wirginii) pt:John Smith ru:\u0421\u043c\u0438\u0442, \u0414\u0436\u043e\u043d (\u043a\u0430\u043f\u0438\u0442\u0430\u043d) simple:John Smith sv:John Smith (kolonisat\u00f6r)\n\n=== E2 (John Smith (explorer) | primary_answer_source) ===\nThe Ugliest Monument in New England] In 1914, the New Hampshire Society of Colonial Wars partially restored and rededicated the monument for the 300th anniversary celebration of his historic visit.", + "n_clauses": 205, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.1075, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.9824, + "max_entailment": 0.9272, + "best_clause": "== History == Chew Magna is t\n\n Source: https://en.wikipedia.org/wiki/Angelico_Carta\n Angelico (Angelo) Carta (b.1886) was an Italian military officer.", + "n_clauses": 72, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.8, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.179, + "max_entailment": 0.0701, + "best_clause": "Leia would go to Alderaan and grow up a princess, which was how she got the name and title, Princess Leia, the adopted daughter of Senator Bail Organa, and Luke would be taken to the desert planet of Tatooine to be raised as a moisture farmer by his Uncle Owen and Aunt Beru.", + "n_clauses": 267, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2903, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0, + "max_entailment": 0.0, + "best_clause": null, + "n_clauses": 63, + "n_candidate_clauses": 0, + "best_clause_overlap": 0.0, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "no_candidate_clauses" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.327, + "max_entailment": 0.911, + "best_clause": "Covering an area of about , Egypt is bordered by the Mediterranean Sea\n\n=== E3 (Continent | primary_answer_source) ===\nfirst distinction between continents was made by ancient Greek mariners who gave the names Europe and Asia to the lands on either side of the waterways of the Aegean Sea, the Dardanelles strait, the Sea of Marmara, the Bosporus strait and the Black Sea.", + "n_clauses": 108, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.5484, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9941, + "max_entailment": 0.041, + "best_clause": "Windows 7 was released to manufacturing on July 22, 2009, and reached general retail availability on October 22, 2009, les\n\n Source: https://en.wikipedia.org/wiki/Comparison_of_revision_control_software\n The following tables compare general and technical information for notable revision control and software configuration management (SCM) software.", + "n_clauses": 84, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.25, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0974, + "max_entailment": 0.8735, + "best_clause": "Interest in the field increased dramatically after nuclear fusion was reported in a tabletop experiment involving electrolysis of heavy water on a palladium (Pd) electrode by Martin Fleischmann, then one of the world's leading electro-chemists, and Stanley Pons in 1989.", + "n_clauses": 87, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.28, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0166, + "max_entailment": 0.0119, + "best_clause": "Microsoft would come to dominate other markets as well, notably the office suite market with Microsoft Office.", + "n_clauses": 153, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2632, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.6798, + "max_entailment": 0.9718, + "best_clause": "\"United States Chemical Warfare Policy in World War II: A Captive of Coalition Polic\n\n Source: https://en.wikipedia.org/wiki/Chemical_element\nA chemical element is a pure chemical substance consisting of one type of atom distinguished by its atomic number, which is the number of protons in its nucleus.", + "n_clauses": 106, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.9231, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0267, + "max_entailment": 0.044, + "best_clause": "The bowhead whale currently occupies a monotyp\n\n Source: https://en.wikipedia.org/wiki/Sei_whale\n The sei whale ( or ), Balaenoptera borealis, is a baleen whale, the third-largest rorqual after the blue whale and the fin whale.", + "n_clauses": 103, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.35, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.4602, + "max_entailment": 0.0255, + "best_clause": "Luke keeps his emotions under control until Vader senses Luke's feelings for his sister and threatens to turn her instead.", + "n_clauses": 195, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3818, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.016, + "max_entailment": 0.5192, + "best_clause": "Intel was an antitrust lawsuit, filed by Advanced Micro Devices (\"AMD\") against Intel Corporation in June 2005.", + "n_clauses": 88, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.163, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.1929, + "max_entailment": 0.7925, + "best_clause": "==References==\n\n=== E5 (War | background_source) ===\n475 BC\u2013221 BC) *7,000,000\u201320,000,000 - Conquests of Tamerlane (1360\u20131405) *5,000,000\u20139,000,000 - Russian Civil War and Foreign Intervention (1917\u20131921) *5,000,000 - Conquests of Menelik II of Ethiopia (1882\u20131898) *3,800,000\u20135,400,000 - Second Congo War (1998\u20132007) *3,500,000\u20136,000,000 - Napoleonic Wars (1804\u20131815) (see Napoleonic Wars casualties) *3,000,000\u201311,500,000 - Thirty Years' War (1618\u20131648) *3,000,000\u20137,000,000 - Yellow Turban Rebellion (China, 184\u2013205) *2,500,000\u20133,500,000 - Korean War (1950\u20131953) (see Cold War) *2,300,000\u20133,800,000 - Vietnam War (entire war 1945\u20131975) **300,000\u20131,300,000 - First Indochina War (1945\u20131954) **100,000\u2013300,000 - Vietnamese Civil War (1954\u20131960) **1,750,000\u20132,100,000 - American phase (1960\u20131973) **170,000 - Final phase (1973\u20131975) **175,000\u20131,150,000 - Secret War (1962\u20131975) *2,000,000\u20134,000,000 - Huguenot Wars *2,000,000 - Shaka's conquests (1816\u20131828) *2,000,000 - Mahmud of Ghazni's invasions of India (1000\u20131027) *300,000\u20133,000,000 - Bangladesh Liberation War (1971) *1,500,000\u20132,000,000 - Afghan Civil War (1979\u2013 ) **1,000,000\u20131,500,000 - Soviet intervention (1979\u20131989) *1,300,000\u20136,100,000 - Chinese Civil War (1928\u20131949) note that this figure excludes World War II casualties **300,000\u20133,100,000 - before 1937 **1,000,000\u20133,000,000 - after World War II *1,000,000\u20132,000,000 - Mexican Revolution (1910\u20131920) *1,000,000 - Iran\u2013Iraq War (1980\u20131988) *1,000,000 - Japanese invasions of Korea (1592\u20131598) *1,000,000 - Second Sudanese Civil War (1983\u20132005) *1,000,000 - Nigerian Civil War (1967\u20131970) *618,000\u2013970,000 - American Civil War (including 350,000 from disease) (1861\u20131865) *900,000\u20131,000,000 - Mozambique Civil War (1976\u20131993) *868,000 - Seven Years' War (1756\u20131763)\u20131,400,000 *800,000\u20131,000,000 - Rwandan Civil War (1990\u20131994) *800,000 - Congo Civil War (1991\u20131997) *600,000\u20131,300,000 - First Jewish-Roman War (see List of Roman wars) *580,000 - Bar Kokhba\u2019s revolt (132\u2013135CE) *570,000 - Eritrean War of Independence (1961\u20131991) *550,000 - Somali Civil War (1988\u2013 ) *500,000\u20131,000,000 - Spanish Civil War (1936\u20131939) *500,000 - Angolan Civil War (1975\u20132002) *500,000 - Ugandan Civil War (1979\u20131986) *400,000\u20131,000,000 - War of the Triple Alliance in Paraguay (1864\u20131870) *400,000 - War of the Spanish Succession (1701\u20131714) *371,000 - Continuation War (1941\u20131944) *350,000 - Great Northern War (1700\u20131721) *315,000\u2013735,000 - Wars of the Three Kingdoms (1639\u20131651) English campaign ~40,000, Scottish 73,000, Irish 200,000\u2013620,000 *300,000 - Russian-Circassian War (1763\u20131864) (see Caucasian War) *300,000 - First Burundi Civil War (1972) *300,000 - Darfur conflict (2003\u2013 ) *230,000\u20132,000,000 - [[Eighty Years'\n\n=== E6 (War | background_source) ===\nto coexist and prosper.", + "n_clauses": 225, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.038, + "max_entailment": 0.9023, + "best_clause": "==See also== * C preprocessor * C standard library * C syntax * Comparison of Pascal and C * Comparison of programming languages * International Obfuscated C Code Contest * List of compilers * List of C-based programming languages ==References== ==Further reading== * * * * {{cite journal|last=Thompson|first=Ken|title=A New C Compiler|publisher=AT&T Bell Laboratories|location=Murray Hill, New Jersey|url=http://doc.cat-v.org/bell_labs/new_c_compilers/new_c_compiler.pdf|authorlink=Ken\n\n=== E5 (D (programming language) | primary_answer_source) ===\nThe D programming language, also known simply as D, is an object-oriented, imperative, multi-paradigm system programming language designed by Walter Bright of Digital Mars.", + "n_clauses": 128, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2426, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.1919, + "max_entailment": 0.0524, + "best_clause": "arz:\u062d\u0645\u0636 \u0646\u0648\u0648\u0649 ms:DNA mn:\u0414\u041d\u0425 my:\u1012\u102e\u1021\u1014\u103a\u1021\u1031 nl:DNA ja:\u30c7\u30aa\u30ad\u30b7\u30ea\u30dc\u6838\u9178 no:DNA nn:DNA nov:DNA oc:Acid desoxiribonucle\u00efc om:DNA pnb:\u0688\u06cc \u0627\u06cc\u0646 \u0627\u06d2 pap:ADN ps:\u0689\u064a \u0627\u0646 \u0627\u06d0 (DNA) pms:DNA pl:Kwas deoksyrybonukleinowy pt:\u00c1cido desoxirribonucleico ro:ADN ru:\u0414\u0435\u0437\u043e\u043a\u0441\u0438\u0440\u0438\u0431\u043e\u043d\u0443\u043a\u043b\u0435\u0438\u043d\u043e\u0432\u0430\u044f \u043a\u0438\u0441\u043b\u043e\u0442\u0430 sah:\u0414\u041d\u0410 sq:ADN scn:DNA simple:DNA sk:Deoxyribonukleov\u00e1 kyselina sl:Deoksiribonukleinska kislina so:DNA sr:\u0414\u041d\u041a sh:DNK su:DNA fi:DNA sv:DNA tl:DNA ta:\u0b9f\u0bbf.\u0b8e\u0ba9\u0bcd.\u0b8f te:\u0c21\u0c40\u0c06\u0c15\u0c4d\u0c38\u0c40\u0c30\u0c48\u0c2c\u0c4b \u0c15\u0c47\u0c02\u0c26\u0c4d\u0c30\u0c15 \u0c06\u0c2e\u0c4d\u0c32\u0c02 th:\u0e14\u0e35\u0e40\u0e2d\u0e47\u0e19\u0e40\u0e2d tr:DNA uk:\u0414\u0435\u0437\u043e\u043a\u0441\u0438\u0440\u0438\u0431\u043e\u043d\u0443\u043a\u043b\u0435\u0457\u043d\u043e\u0432\u0430 \u043a\u0438\u0441\u043b\u043e\u0442\u0430 ur:\u0688\u06cc \u0627\u06cc\u0646 \u0627\u06d2 ug:\u062f\u06d0\u0626\u0648\u0643\u0633\u0649\u0631\u0649\u0628\u0648\u0646\u06c7\u0643\u0644\u06d0\u0626\u0649\u0643 \u0643\u0649\u0633\u0644\u0627\u062a\u0627 vi:ADN vls:DNA war:DNA yi:\u05d3\u05d9 \u05e2\u05df \u05d0\u05d9\u05d9 yo:DNA zh-yue:DNA bat-smg:DNR zh:\u8131\u6c27\u6838\u7cd6\u6838\u9178\n\n=== E2 (DNA | primary_answer_source) ===\ndoi = 10.1146/annurev.biochem.70.1.369}} These enzymes are also needed to relieve the twisting stresses introduced into DNA strands during processes such as transcription and DNA replication.", + "n_clauses": 130, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.1654, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.8813, + "max_entailment": 0.7216, + "best_clause": "Private broadcasting companies began operati\n\n Source: https://en.wikipedia.org/wiki/CN_Tower\n The CN Tower, located in Downtown Toronto, Ontario, Canada, is a communications and observation tower standing tall.", + "n_clauses": 88, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.8333, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.4333, + "max_entailment": 0.0361, + "best_clause": "The following outline is provided as an overview of and topical guide to Madagascar: == General reference == * Pronunciation: * Common English country name: Madagascar * Official English country name: The Republic of Madagascar * Common endonym(s): * Official endonym(s): * Adjectival(s): Malagasy * Demonym(s): * Etymology: Name of Madagascar * International rankings of Madagascar * ISO country codes: MG, MDG, 450 * ISO region codes: See ISO 3166-2:MG * Internet country code top-level domain: .mg == Geography of Madagascar == * Madagascar is: a country * Location: ** Eastern Hemisphere and Southern Hemisphere ** Africa (off its east coast) *** East Africa *** Southern Africa ** Indian Ocean ** Time zone: East Africa Time (UTC+03) ** Extreme points of Madagascar *** High: Maromokotro *** Low: Indian Ocean 0 m ** Land boundaries: none ** Coastline: Indian Ocean 4,828\u00a0km * Population of Madagascar: 19,683,000 - 55th most populous country * Area of Madagascar: 587,041\u00a0km2 * Atlas of Madagascar === Environment of Madagascar === * Climate of Madagascar * Environmental issues in Madagascar * Ecoregions in Madagascar * Renewable energy in Madagascar * Geology of Madagascar * Protected areas of Madagascar ** Biosphere reserves in Madagascar ** National parks of Madagascar * Wildlife of Madagascar ** Flora of Madagascar ** Fauna of Madagascar *** Birds of Madagascar *** Mammals of Madagascar ==== Natural geographic features of Madagascar ==== * Fjords of Madagascar * Glaciers in Madagascar: none The only glaciers in Africa are on Mt Kenya (in Kenya), on Kilimanjaro (in Tanzania), and in the Ruwenzori Mountains (which are\n\n=== E7 (Geography of Madagascar | primary_answer_source) ===\nMadagascar is an island in the Indian Ocean, off the eastern coast of southern Africa, east of Mozambique.", + "n_clauses": 80, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.7333, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.6023, + "max_entailment": 0.2301, + "best_clause": "The Mercury spacecraft was named Freedom 7 which performed a suborbital flight piloted by astronaut Alan Shepard, who became the first American in space.", + "n_clauses": 190, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.65, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0119, + "max_entailment": 0.403, + "best_clause": "Source: https://en.wikipedia.org/wiki/Programming_language\n A programming language is an artificial language designed to express computations that can be performed by a machine, particularly a computer.", + "n_clauses": 88, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2754, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.5998, + "max_entailment": 0.1855, + "best_clause": "He's been listed by Guido van Rossum together with Barry Warsaw as the probable inventor of the term Benevolent Dictator For Life (during his CNRI tenure).", + "n_clauses": 168, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.0962, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.458, + "max_entailment": 0.4094, + "best_clause": "Only systems fully compliant with and certified according to the Single UNIX Specification are qualified to use the trademark;", + "n_clauses": 72, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3333, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.3361, + "max_entailment": 0.2893, + "best_clause": "Obi-Wan Kenobi says the line to Anakin in Star Wars Episode II: Attack of the Clones, who repeats it back to him.", + "n_clauses": 121, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3182, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.2515, + "max_entailment": 0.0106, + "best_clause": "It also contained a large collection of Michael Jordan memorabilia, such as jerseys, trophies, shoes, photographs, Sports Illustrated magazine covers, and children's drawings of the basketball star.", + "n_clauses": 137, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.0905, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.054, + "max_entailment": 0.1527, + "best_clause": "The Chernobyl Forum is a regular meeting of IAEA, other United Nations organizations (FAO, UN-OCHA, UNDP, UNEP, UNSCEAR, WHO, and the World Bank), and the governments of Belarus, Russia, and Ukraine that issues regular scientific assessments of the evidence for health effects of the Chernobyl accident.{{Cite web|url=http://www-ns.iaea.org/meetings/rw-summaries/chernobyl_forum.htm |title=Chernobyl Forum summaries\n\n=== E2 (Chernobyl disaster | primary_answer_source) ===\n|publisher=Ns.iaea.org |date= |accessdate=2010-07-31}} The Chernobyl Forum concluded that twenty-eight emergency workers died from acute radiation syndrome including beta burns and 15 patients died from thyroid cancer, and it roughly estimated that cancer deaths caused by Chernobyl may reach a total of about 4,000 among the 600,000 people having received the greatest exposures.", + "n_clauses": 138, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2667, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.4365, + "max_entailment": 0.0159, + "best_clause": "It has been revealed that Maggie has outstanding artistic and academic abilities, much like her sister Lisa.", + "n_clauses": 181, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3462, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.387, + "max_entailment": 0.9069, + "best_clause": "The seven summits, the highest peaks\n\n Source: https://en.wikipedia.org/wiki/Mount_Kenya\n Mount Kenya is the highest mountain in Kenya and the second-highest in Africa, after Kilimanjaro.", + "n_clauses": 108, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.5217, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.8997, + "max_entailment": 0.8268, + "best_clause": "many young people today would refer to the 2040s\n\n=== E4 (1990s in Japan | primary_answer_source) ===\nas the \"peak of human civilization.\" It has been suggested that the population of Japan will fall from over 100 million in the 1990s to a mere 50 million by the year 2090.", + "n_clauses": 159, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.5, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.1607, + "max_entailment": 0.9268, + "best_clause": "==People== * Saint Veronica * Veronica (singer), American dance music singer * The Veronicas, a twin-sister pop rock group from Australia * Veronica Ballestrini, American singer * Veronica Belmont, Internet TV and webcasting host * Veronica Campbell-Brown, Jamaican track and field sprint athlete * Veronica Cartwright, American actress * Ver\u00f3nica Castro, Mexican actress * Veronica De La Cruz, CNN News anchor * Veronica Finn, former pop singer * Veronica Franco, poet and courtesan in sixteenth-century Venice * Veronica Guerin, a murdered Irish journalist * Veronica Giuliani, Italian mystic * Veronica Lake, American film actress * Veronica Mehta, British Asian singer * Ver\u00f3nica Orozco, Colombian actress and singer * Ver\u00f3nica P\u00e1ez, Argentine marathon runner * Veronica Rayne, American pornographic actress * Ver\u00f3nica Ribot, Argentine diver * Veronica Scopelliti, also known as Noemi, an Italian singer * Veronica Scott, fashion designer, Fuchsia CEO, television personality * Veronika Va\u0159ekov\u00e1, Czech model * Veronika Zemanov\u00e1, Czech model ==In fiction== * Veronica Lodge, a rich teenage girl in the Archie Comics universe * Veronica Mars, a television series starring Kristen Bell as the title character * Veronica Ronnie Mitchell, a character from the television soap opera EastEnders * Veronica (novel), a 2005 novel by Mary Gaitskill * Veronica Sawyer, played by Winona Ryder in the 1980s' teenage cult classic Heathers ==Botany== * Veronica (plant), a genus of plants * Hebe (genus), formerly known as Veronica : Some cultivars and species are still named as such: :* Veronica Lake Hebe, Veronica Hebe or Hebe Veronica is a garden cultivar of Hebe speciosa :* Shrubby Veronica, Hebe recurva ==Media== * Radio Veronica, a Dutch radio station (1960\u20131974) * Veronica (TV channel), a commercial TV channel in the Netherlands ==Music== * \"Veronica\" (song), by Elvis Costello ==Other== * Veronica (computer), a search engine * Ver\u00f3nica, a technique in Spanish-style bullfighting ==References== bg:\u0412\u0435\u0440\u043e\u043d\u0438\u043a\u0430 cs:Veronika da:Veronica (flertydig) de:Veronica es:Ver\u00f3nica eo:Veronika fr:V\u00e9ronique (homonymie) it:Veronica hu:Veronika nl:Veronica ja:\u30f4\u30a7\u30ed\u30cb\u30ab no:Veronica nn:Veronika pl:Weronika pt:Veronica qu:Veronica ru:\u0412\u0435\u0440\u043e\u043d\u0438\u043a\u0430 simple:Veronica sk:Veronika (prv\u00e9 meno) sl:Veronika sr:\u0412\u0435\u0440\u043e\u043d\u0438\u043a\u0430 fi:Veronica sv:Veronika (olika betydelser)\n\n=== E4 (The Veronicas | background_source) ===\na code allowing a free download of their single \"4ever\" in MP3 form.", + "n_clauses": 260, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.6667, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.1157, + "max_entailment": 0.0611, + "best_clause": "==See also== * Comparison of Microsoft Windows versions * History of Microsoft Windows * Microsoft Security Essentials (MSE) ==References== ==External links== * * Windows 7 Home Website - Microsoft * Engineering Windows 7 - MSDN Blogs * Windows 7 tools and resources * [http://www.windows7.cc Latest\n\n=== E2 (Windows 7 | background_source) ===\nthe computer.", + "n_clauses": 177, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3208, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.1919, + "max_entailment": 0.7469, + "best_clause": "===Mythology=== ====In various cultures==== In Persian culture the night starting winter is called Yalda (meaning: birth) and it is celebrated for thousands of years.", + "n_clauses": 293, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.06, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9551, + "max_entailment": 0.0591, + "best_clause": "==Legacy== Image:Berlin Wall.JPG|Remaining stretch of the\n\n=== E2 (Berlin Wall | background_source) ===\nPress]]|year=2003|isbn=0691096783|ref=harv|postscript=}} * * * * * * * * * * Taylor, Frederick.", + "n_clauses": 167, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.3333, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.5675, + "max_entailment": 0.3905, + "best_clause": "=== E1 (Henry VIII of England | background_source) ===\nthe Court of Henry VIII.\" History Today 1982 32(oct): 16\u201322.", + "n_clauses": 235, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.7179, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9726, + "max_entailment": 0.4739, + "best_clause": "\"I feel\n\n=== E2 (International reaction to the United States presidential election, 2008 | primary_answer_source) ===\nand said that he believes the already good relations between Slovakia and the United States will improve.", + "n_clauses": 119, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.4857, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9201, + "max_entailment": 0.3517, + "best_clause": "__TOC__ The exact meaning and origin of the name Kilimanjaro is unknown.", + "n_clauses": 146, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.6786, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.2961, + "max_entailment": 0.1831, + "best_clause": "There is no indication of an intimate dialogue between the woman and the observer as is the case in the Portrait of Baldassare Castiglione (Louvre) painted by Raphael about ten years after Mona Lisa, and undoubtedly influenced by Leonardo's portrait.", + "n_clauses": 127, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.2807, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.1711, + "max_entailment": 0.1595, + "best_clause": "Airbags protected its 200 pound ejectable capsule which survived an impact speed of over 30 miles per hour\u2014the speed of many automobile accidents causing fatalities on Earth.", + "n_clauses": 150, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.5405, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.032, + "max_entailment": 0.0674, + "best_clause": "====John Boone==== An American astronaut, and the first man on Mars, he returns a public hero and uses his considerable influence to lobby for a second mission, this time one of colonization.", + "n_clauses": 268, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.35, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "STRICT", + "is_fp_probe": true, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.1939, + "max_entailment": 0.018, + "best_clause": "==Charts== {| class=\"wikitable\" !Year !Chart !Peakposition |- |align=\"center\"|2010 |align=\"left\"|Billboard Alternative Songs |align=\"center\"|21 |- |align=\"center\"|2010 |align=\"left\"|Billboard Rock Songs |align=\"center\"|35 |- |} ==References==\n\n Source: https://en.wikipedia.org/wiki/All_Star_Superman\n All Star Superman is a twelve-issue comic book series featuring Superman that ran from November 2005 to October 2008.", + "n_clauses": 126, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.4545, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "HYBRID", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": false, + "max_contradiction": 0.0717, + "max_entailment": 0.0293, + "best_clause": "==External links== * ar:\u0643\u0631\u064a\u0633\u062a\u064a\u0627\u0646 \u062f\u0648\u0628\u0644\u0631 bar:Doppler Christian Andreas bs:Christian Doppler bg:\u041a\u0440\u0438\u0441\u0442\u0438\u0430\u043d \u0414\u043e\u043f\u043b\u0435\u0440 cs:Christian Doppler de:Christian Doppler el:\u039a\u03c1\u03af\u03c3\u03c4\u03b9\u03b1\u03bd \u039d\u03c4\u03cc\u03c0\u03bb\u03b5\u03c1 es:Christian Andreas Doppler eo:Christian Doppler eu:Christian Doppler fa:\u06a9\u0631\u06cc\u0633\u062a\u06cc\u0627\u0646 \u062f\u0648\u067e\u0644\u0631 fr:Christian Doppler ko:\ud06c\ub9ac\uc2a4\ud2f0\uc548 \ub3c4\ud50c\ub7ec hr:Christian Doppler it:Christian Doppler he:\u05db\u05e8\u05d9\u05e1\u05d8\u05d9\u05d0\u05df \u05d0\u05e0\u05d3\u05e8\u05d0\u05e1 \u05d3\u05d5\u05e4\u05dc\u05e8 ka:\u10d9\u10e0\u10d8\u10e1\u10e2\u10d8\u10d0\u10dc \u10d3\u10dd\u10de\u10da\u10d4\u10e0\u10d8 ht:Christian Doppler la:Christianus Doppler lv:Kristi\u0101ns Doplers lb:Christian Doppler lt:Christian Doppler hu:Christian Doppler mr:\u0915\u094d\u0930\u093f\u0938\u094d\u091a\u093f\u092f\u0928 \u0921\u0949\u092a\u0932\u0930 nl:Christian Doppler ja:\u30af\u30ea\u30b9\u30c1\u30e3\u30f3\u30fb\u30c9\u30c3\u30d7\u30e9\u30fc no:Christian Andreas Doppler nn:Christian Andreas Doppler nov:Christian Doppler pl:Christian Andreas Doppler pt:Johann Christian Andreas Doppler ro:Christian Doppler qu:Christian Doppler ru:\u0414\u043e\u043f\u043f\u043b\u0435\u0440, \u041a\u0440\u0438\u0441\u0442\u0438\u0430\u043d sk:Christian Johann Doppler sl:Christian Andreas Doppler sr:\u041a\u0440\u0438\u0441\u0442\u0438\u0458\u0430\u043d \u0414\u043e\u043f\u043b\u0435\u0440 fi:Christian Doppler sv:Christian Doppler tr:Christian Andreas Doppler uk:\u0425\u0440\u0438\u0441\u0442\u0456\u0430\u043d \u0414\u043e\u043f\u043b\u0435\u0440 zh:\u514b\u91cc\u65af\u7434\u00b7\u591a\u666e\u52d2\n\n=== E11 (Christian Doppler | background_source) ===\nChristian Andreas Doppler (29 November 1803 \u2013 17 March 1853) was an Austrian mathematician and physicist.", + "n_clauses": 200, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.5517, + "recombination_risk": true, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + }, + { + "id": "2026-05-12T20-53-11Z", + "bucket": "UNGROUNDED", + "is_fp_probe": false, + "src_file": "2026-05-12T20-53-11Z.jsonl", + "available": true, + "would_demote": true, + "max_contradiction": 0.9955, + "max_entailment": 0.0535, + "best_clause": "During the 1940s, \"That's the $64 question\" became a common catch phrase for a particularly difficult question or problem.", + "n_clauses": 123, + "n_candidate_clauses": 6, + "best_clause_overlap": 0.1667, + "recombination_risk": false, + "model_version": "nli-shadow-v1-minilm2-l6-h768", + "theta_contra": 0.5, + "theta_entail": 0.9, + "reason": "ok" + } + ] +} \ No newline at end of file diff --git a/bench/scripts/export_nli_onnx.py b/bench/scripts/export_nli_onnx.py new file mode 100644 index 0000000..7f2a61b --- /dev/null +++ b/bench/scripts/export_nli_onnx.py @@ -0,0 +1,88 @@ +#!/usr/bin/env python3 +"""Export the pinned #000049 shadow-NLI checkpoint to ONNX (+ optional +int8 dynamic quantization) — the §3 CPU speedup path. + +`onnxruntime` on a quantized cross-encoder is typically 2–4× faster than +torch on CPU and drops the torch forward path; `ShadowNLI._ensure_loaded` +will prefer the export automatically if it finds it at the conventional +location (`~/.arborist/models/nli//onnx/`, or wherever +`ARBORIST_NLI_ONNX_DIR` points). Run once after `make bootstrap-nli`: + + python3 bench/scripts/export_nli_onnx.py # export + int8 quantize + python3 bench/scripts/export_nli_onnx.py --no-quantize + python3 bench/scripts/export_nli_onnx.py --out /some/dir + +Requires `optimum[onnxruntime]` (in the `[nli]` extra). SHADOW +infrastructure — the ONNX model is the same pinned checkpoint, same +labels; nothing about audit_mode changes (cf. ticket #000049 §7). +""" +from __future__ import annotations + +import argparse +import sys +from pathlib import Path + +REPO = Path(__file__).resolve().parents[2] + + +def main(argv=None) -> int: + sys.path.insert(0, str(REPO)) + from arborist.qa.nli.shadow import load_manifest, ShadowNLI + + manifest = load_manifest() + repo_id = manifest["hf_repo"] + rev = manifest.get("pinned_revision") + default_out = ShadowNLI(manifest)._onnx_dir() + + ap = argparse.ArgumentParser() + ap.add_argument("--out", type=Path, default=default_out, + help=f"output dir (default: {default_out})") + ap.add_argument("--no-quantize", action="store_true", help="skip int8 dynamic quantization") + args = ap.parse_args(argv) + + try: + from transformers import AutoTokenizer + from optimum.onnxruntime import ORTModelForSequenceClassification + if not args.no_quantize: + from optimum.onnxruntime import ORTQuantizer + from optimum.onnxruntime.configuration import AutoQuantizationConfig + except ImportError as e: + print(f"[export-nli-onnx] missing dependency: {e}\n" + f" install with: pip install 'arborist[nli]' (pulls optimum[onnxruntime])", + file=sys.stderr) + return 2 + + out: Path = args.out + out.mkdir(parents=True, exist_ok=True) + print(f"[export-nli-onnx] {repo_id}@{rev or 'main'} → {out} (quantize={'no' if args.no_quantize else 'int8-dynamic'})", flush=True) + + tok = AutoTokenizer.from_pretrained(repo_id, revision=rev) + model = ORTModelForSequenceClassification.from_pretrained(repo_id, revision=rev, export=True) + model.save_pretrained(out) + tok.save_pretrained(out) + print(f"[export-nli-onnx] fp32 ONNX written ({sum(f.stat().st_size for f in out.glob('*.onnx'))/1e6:.1f} MB of .onnx)", flush=True) + + if not args.no_quantize: + quantizer = ORTQuantizer.from_pretrained(out) + qconfig = AutoQuantizationConfig.avx2(is_static=False, per_channel=False) + quantizer.quantize(save_dir=out, quantization_config=qconfig) + print(f"[export-nli-onnx] int8 quantized; dir now {sum(f.stat().st_size for f in out.rglob('*.onnx'))/1e6:.1f} MB of .onnx", flush=True) + + # sanity: load via ShadowNLI's ONNX path and run one pair + import os + os.environ["ARBORIST_NLI_ONNX_DIR"] = str(out) + n = ShadowNLI(manifest) + n._ensure_loaded() + if not n.available or not (n.backend or "").startswith("onnx"): + print(f"[export-nli-onnx] WARNING: ShadowNLI did not pick up the ONNX export " + f"(available={n.available}, backend={n.backend}, reason={n._reason})", file=sys.stderr) + return 1 + pe, pn, pc = n._nli("Jupiter is the largest planet.", "Mercury is the largest planet.") + print(f"[export-nli-onnx] sanity OK — backend={n.backend} device={n.device}; " + f"NLI(Jupiter-is-largest, Mercury-is-largest) → contradiction={pc:.3f} entail={pe:.3f}") + print(f"[export-nli-onnx] done. ShadowNLI will now auto-prefer {out} (or set ARBORIST_NLI_ONNX_DIR).") + return 0 + + +if __name__ == "__main__": + raise SystemExit(main()) diff --git a/docs/TICKETS.md b/docs/TICKETS.md index 11aed02..6307fc5 100644 --- a/docs/TICKETS.md +++ b/docs/TICKETS.md @@ -104,7 +104,7 @@ Newest first. Update on every open/close. | #000052 | Relevance + coherence meta-cognition (answer-*shape* signals) | in progress — **§3.1 `diagnose_coherence` landed** (lexical, no model: `circular` / `phrase_component_reuse` / `vacuous`; in `arborist/qa/inspect.py`, surfaced via `inspect_cache_key` + `arborist inspect` `· incoherent: `; 9 tests; demote-policy hook deliberately not wired — advisory only). Joins the `diagnose_deflection` / `diagnose_metaphor_deflection` / `diagnose_title_relevance` / soft-preflight family of read-only, demote-only, never-in-proof-path sidecars; `phrase_component_reuse` catches the motivating field case (a subject quoting a phrase, a predicate reusing one of that phrase's own tokens as a bare `the ` referent). **Still open: (2) `diagnose_relevance`** — semantic (not just lexical) "aboutness": does the answer address the question; is each claim about its cited source? Today's checks (subject-anchor token overlap, stemmed title-stem overlap) are *lexical* and a token collision defeats them — a small *aboutness/reranker* model (NOT NLI — entailment ≠ topicality) under #000049 §7's discipline cage verbatim (demotion-only, hash-pinned, `relevance_model_version`→`governance_policy_hash` iff it touches `audit_mode`, shadow-first, `[…]` extra, the §7 #20 haystack lesson — never over the whole context); gated on evidence, travels with #000049's model question. Motivating field case (2026-05-12, fox): the `claim_lattice` query that returned *"the phrase 'Zionist entity' is sometimes used as the entity, referring to the State of Israel"* at `EVIDENCE-WARRANTED-PARTIAL 2/3` — incoherent + token-collision recombination that NLI can't catch (returns *neutral*, not *contradiction*) and both lexical relevance checks waved through. Flags an upstream retrieval ticket (polysemy / title-token-soup) as the root-cause fix, not scoped here. #000049 sibling | 2026-05-12 | — | | #000051 | Federated vecpack distribution (gossip the embedding backfill) | open · awaiting go/no-go · doc-only scaffold. Makes `chunk_vecs` a distributable artifact: backfill once on any CPU box (cloud / Prometheus-Σ sweep — #000037 §3.1), publish a **vecpack** `(shard_root, vec_backend_version, [(leaf_hash, embedding_blob)…])` over the mesh wire layer, every peer pulls + bulk-loads (sub-ms/chunk on the receiver — the laptop never runs the transformer). Keyed on `leaf_hash` (portable) not `chunk_id` (shard-local). Vecpacks are **soft data** — embeddings are `UNGROUNDED`, never proof path — so a cheap structural sanity gate (chunk exists locally w/ matching leaf_hash, right blob length for (dim,quant), finite norm, backend_version matches) suffices, no Merkle-proof-grade verification needed. Supplies #000050's prereq #1 ("a vecpack exists & is imported on the bench box", not "fox embedded the corpus locally"). GPU producer (the fast path): bge-small-en-v1.5 batched on a CUDA box (4090) ≈ 10³–10⁴ chunks/s → full 6.24M-chunk corpus in *minutes*, not days — drop a CUDA `Embedder` into `default_embedder()`; CUDA stack lives only on the producer box, never in arborist's `python+sqlite3` core. The mechanism behind whitepaper §1's "the embedding pass runs off the device". #000039 / #000050 sibling | 2026-05-12 | — | | #000050 | Vec RRF hybrid fusion (#000039 Phase 2) | open · awaiting go/no-go · doc-only scaffold; design in #000039 §4.2 (RRF) + §8 (the gate). Wire `VecBackend` as a 5th retrieval route in `query.py`, RRF-merged (route provenance carried) with the 4 FTS5 routes; UNGROUNDED hits, additive not replacement. Phase-2 sub-items now explicit: **accept-path-5** in `_filter_by_title_relevance` (low-title-overlap vec hits survive only via a stronger span-level warrant, never similarity-score alone — else the title gate drops exactly the semantic candidates vec exists for & the bench shows no lift); **six** vec config fields fold into `governance_policy_hash` (recipe-named quant `int8sym`) **+ a cache-write guard** blocking `providence_cache` persistence for vec/hybrid runs until that's wired; **run-DAG records the vec stage** (backend version, six fields, top_k, query-embedding hash, candidate chunk_ids+distances). **Gated** on (a) a corpus backfill **distributed via #000051** AND (b) a **four-condition** recall bench (A FTS5-only / B vec-only / C RRF hybrid / D candidate-union-no-RRF) clearing the 5pp floor incl. C-beats-D, on semantic-allusion + curated + **adversarial-semantic-neighbor** fixtures (else park, vec stays opt-in `--backend vec`; if C≈D ship the union, drop RRF). #000039 follow-up | 2026-05-12 | — | -| #000049 | Attribution-aware grounding check (the recombination boundary) | open · boundary accepted · production no-go · shadow-path approved (de novo review 2026-05-13 — ticket §7) · doc-only; the home for #000048's deferred §2.3 — closing the 2 recombination over-grounds in `falsification-hard` (hard-003 Mercury / hard-005 Einstein) needs an attribution / dependency-parse or mini-NLI check, which is *not lexical* (#000048 §5). Discipline question answered: a small fixed purpose-built NLI/entailment *model* may influence `audit_mode` only as an opt-in, hash-pinned, governance-hashed, **demotion-only contradiction veto** after shadow-mode evidence (never promotes — `MODEL_ASSISTED_DEMOTION`, never `MODEL_ASSISTED_PROMOTION`). Production verifier unchanged; `falsification-hard` stays 10/12 as an honest boundary marker. Roadmap: Phase 0 (this amendment) → Phase 1 (shadow design: NLI manifest, fetch/verify, `nli_pair@v1` canonicalization, recombination-risk trigger) → Phase 2 (bench-only shadow impl, `[nli]` extra, `make fetch-nli`) → Phase 3 (demotion-only runtime, gated) → Phase 4 (mesh blob sync); §7 #12 six-condition bench gate required before Phases 2–4; if NLI ever affects `audit_mode`, `nli_policy_hash` folds into `governance_policy_hash`. **Phase-2 candidate bench done 2026-05-12** (`~/git/arborist-nli-bench/`, commits `829f9a4` + `a1cb28d`; ticket §7 #18): checkpoint-agnostic harness runs the §7 #5 clause-level algorithm over 28 synth recombination cases (incl. the 2 fixtures + harder shapes) + 26 legit cases (true summaries + near-miss decoys). 4 working candidates; `nli-MiniLM2-L6-H768` (82M, 45ms p50 CPU), `deberta-v3-base-mnli-fever-anli` (184M, 223ms), `bart-large-mnli` (407M, 259ms) all 28/28 catch · 0/26 FP with the standard θe=0.9 entailment guard; `cross-encoder/nli-deberta-v3-base` 27/28; deberta-large repo-id TODO. **Key finding: the §7 #5 two-threshold rule is load-bearing** — 3 of 4 candidates argmax-contradict 1/26 legit cases on the *wrong* source clause (competing-superlative confusion, e.g. "largest hot desert" vs "largest desert overall"); the entailment guard filters every one because another clause restates the claim → 0% guarded FP vs ~4% single-threshold. Picture: recombination is *easy* for any modern NLI checkpoint — differentiator is cost/robustness, MiniLM is the cost-pick, bart-large the threshold-robust pick. **Phase-2 shadow scaffold landed in arborist 2026-05-12** (ticket §7 #19): `arborist/qa/nli/` (manifest pins MiniLM @ a fixed HF revision + θc 0.5/θe 0.9 + 2 alternates; `ShadowNLI`/`shadow_check` lazy-imports `transformers`+`torch` behind a new `[nli]` extra, degrades to `available=False` when absent — SHADOW ONLY, never an `audit_mode` input, manifest not yet in `governance_policy_hash` per §7 #2) + `bench/scripts/nli_shadow_sweep.py` + `make bootstrap-nli` / `make bench-nli-shadow` + 16 tests. Synthetic sweep (116 records): 28/28 recombination demoted, 0/26 FP on legit summaries, 0/9 fires on already-`STRICT_SPAN`. **First bench-qa-traffic sweep** (§7 #20 — `ARBORIST_NLI_SHADOW=1 make bench-qa-smoke`, 15 cells; `query.py` surfaces verifier-input text gated off-by-default, `qa_sweep.py` carries it, `nli_shadow_sweep.py` reads it): the *naive* "NLI on every context clause" scaffold has a **~30% would-demote rate on STRICT answers** — a haystack/multiple-comparisons artifact (real Wikipedia contexts → 100–336 clauses; `max`-over-all almost always hits a tangential "contradiction"). Candidate-clause restriction added (§7 #21 — NLI runs on the top-6 source clauses by content-token overlap, not the whole context; `max_candidate_clauses=6`): STRICT would-demote 30% → 20% on the smoke, overall 47% → 33% — **helps, not fixed**; recombination-risk split doesn't separate either. Residual STRICT false-contras land at ~0.83–0.92, so θc would need ≈ 0.90 (up from the clean-set 0.5): at θc=0.90 the data in hand gives 27/28 synthetic recombination recall, 0/26 synthetic legit FP, 0/10 smoke STRICT FP — but n=10 is far too small to set a threshold on. Remaining: a fuller `ARBORIST_NLI_SHADOW=1 make bench-qa` run → ~hundreds of STRICT cells → sweep θc/θe → confirm → set it; until then θc stays 0.5 and runtime NLI demotion stays off. Standing lesson: the clean synthetic eval (§7 #18) does not predict bench-qa-traffic precision. Production verifier unchanged; `falsification-hard` stays 10/12. #000048 follow-up | 2026-05-12 | — | +| #000049 | Attribution-aware grounding check (the recombination boundary) | open · boundary accepted · production no-go · shadow-path approved (de novo review 2026-05-13 — ticket §7) · doc-only; the home for #000048's deferred §2.3 — closing the 2 recombination over-grounds in `falsification-hard` (hard-003 Mercury / hard-005 Einstein) needs an attribution / dependency-parse or mini-NLI check, which is *not lexical* (#000048 §5). Discipline question answered: a small fixed purpose-built NLI/entailment *model* may influence `audit_mode` only as an opt-in, hash-pinned, governance-hashed, **demotion-only contradiction veto** after shadow-mode evidence (never promotes — `MODEL_ASSISTED_DEMOTION`, never `MODEL_ASSISTED_PROMOTION`). Production verifier unchanged; `falsification-hard` stays 10/12 as an honest boundary marker. Roadmap: Phase 0 (this amendment) → Phase 1 (shadow design: NLI manifest, fetch/verify, `nli_pair@v1` canonicalization, recombination-risk trigger) → Phase 2 (bench-only shadow impl, `[nli]` extra, `make fetch-nli`) → Phase 3 (demotion-only runtime, gated) → Phase 4 (mesh blob sync); §7 #12 six-condition bench gate required before Phases 2–4; if NLI ever affects `audit_mode`, `nli_policy_hash` folds into `governance_policy_hash`. **Phase-2 candidate bench done 2026-05-12** (`~/git/arborist-nli-bench/`, commits `829f9a4` + `a1cb28d`; ticket §7 #18): checkpoint-agnostic harness runs the §7 #5 clause-level algorithm over 28 synth recombination cases (incl. the 2 fixtures + harder shapes) + 26 legit cases (true summaries + near-miss decoys). 4 working candidates; `nli-MiniLM2-L6-H768` (82M, 45ms p50 CPU), `deberta-v3-base-mnli-fever-anli` (184M, 223ms), `bart-large-mnli` (407M, 259ms) all 28/28 catch · 0/26 FP with the standard θe=0.9 entailment guard; `cross-encoder/nli-deberta-v3-base` 27/28; deberta-large repo-id TODO. **Key finding: the §7 #5 two-threshold rule is load-bearing** — 3 of 4 candidates argmax-contradict 1/26 legit cases on the *wrong* source clause (competing-superlative confusion, e.g. "largest hot desert" vs "largest desert overall"); the entailment guard filters every one because another clause restates the claim → 0% guarded FP vs ~4% single-threshold. Picture: recombination is *easy* for any modern NLI checkpoint — differentiator is cost/robustness, MiniLM is the cost-pick, bart-large the threshold-robust pick. **Phase-2 shadow scaffold landed in arborist 2026-05-12** (ticket §7 #19): `arborist/qa/nli/` (manifest pins MiniLM @ a fixed HF revision + θc 0.5/θe 0.9 + 2 alternates; `ShadowNLI`/`shadow_check` lazy-imports `transformers`+`torch` behind a new `[nli]` extra, degrades to `available=False` when absent — SHADOW ONLY, never an `audit_mode` input, manifest not yet in `governance_policy_hash` per §7 #2) + `bench/scripts/nli_shadow_sweep.py` + `make bootstrap-nli` / `make bench-nli-shadow` + 16 tests. Synthetic sweep (116 records): 28/28 recombination demoted, 0/26 FP on legit summaries, 0/9 fires on already-`STRICT_SPAN`. **First bench-qa-traffic sweep** (§7 #20 — `ARBORIST_NLI_SHADOW=1 make bench-qa-smoke`, 15 cells; `query.py` surfaces verifier-input text gated off-by-default, `qa_sweep.py` carries it, `nli_shadow_sweep.py` reads it): the *naive* "NLI on every context clause" scaffold has a **~30% would-demote rate on STRICT answers** — a haystack/multiple-comparisons artifact (real Wikipedia contexts → 100–336 clauses; `max`-over-all almost always hits a tangential "contradiction"). Candidate-clause restriction (§7 #21 — NLI runs on the top-6 source clauses by content-token overlap, `max_candidate_clauses=6`) + speedup (§7 #22 — batched forwards, `ARBORIST_NLI_DEVICE` cuda auto-detect, ONNX-int8 export via `make export-nli-onnx`: torch-cpu-batch1 ~120ms/pair → onnx-int8-cpu-batched ~32ms/pair, seconds on a 4090; `optimum[onnxruntime]` added to `[nli]`; 24 tests) landed. **Verdict at proper n** (§7 #22 — 223-cell `ARBORIST_NLI_SHADOW=1 make bench-qa BENCH_QA_N=1` sweep: 89 STRICT / 90 HYBRID / 44 UNGROUNDED; also surfaced + fixed a lone-surrogate bug in real Wikipedia context that `qa_sweep` now scrubs): NLI-as-runtime-veto on STRICT answers has a ~26% false-positive rate at θc 0.5, ~8% at θc 0.90, ~0% only at θc 0.99 — and θc 0.99 gives up most recombination recall (hard synthetic recombinations bottom out ~0.76). **Fails the §7 #12 gate on this design** (~8–26% false-demote on confidently-grounded answers); recombination-risk split doesn't rescue it. Only untried path that might pass: a Phase-3 runtime hook running NLI on the clauses the lexical verifier actually matched (1–3, the right ones), not top-6-by-overlap — a verifier-side change. Until then: runtime NLI demotion stays off; the 2 fixtures stay permanent boundary markers; shadow telemetry is a monitoring signal, not a gate; θc stays 0.5. Standing lesson: the clean synthetic eval (§7 #18) does not predict bench-qa-traffic precision. Production verifier unchanged; `falsification-hard` stays 10/12. #000048 follow-up | 2026-05-12 | — | | #000048 | Verifier upgrade — recombination-aware grounding + clause segmentation | **closed · 2026-05-12** — steps 2.1 + 2.4 landed 2026-05-11 (12 of 16 residual items: 4 HYBRID_ENTITY over-grounds + 8 Formulate mis-segments → `formulate-hard` 12/12, `falsification-hard` 10/12; each bench-gated, no STRICT-rate regression — 2.1's gate fired on 0 QA answers, 2.4's segmenter touched 7 of 450 lattice cells both verdict changes correct). Step 2.2 (single-clause-containment paraphrase check) attempted + reverted — catches the 2 recombination fixtures but also rejects legit cross-sentence summaries with no threshold separating the two; recombination-vs-summary isn't lexical (§5 "What we learned"). The attribution-aware path moved to **#000049** (fox 2026-05-12). 2 live-pack `expected_reason` updated HYBRID_ENTITY→UNGROUNDED; 12+ tests; `make bench-5f-falsification-hard` / `bench-5f-formulate-hard` / `bench-fork-baseline-hard`. #000046 follow-up; #000047 closed | 2026-05-11 | — | | #000047 | ForkScore `_delta_*` aggregator (mean vs max vs sum) | **closed · 2026-05-11** — Option D: `WeightSet.delta_aggregator` ∈ {`mean`,`max`,`sum`} (default `mean` unchanged → no `ESTIMATOR_VERSION` bump), `fork_score._delta_5{s,t,f}` dispatch via `_aggregate`, recorded in `ScoredFork.weights`, per-sub `HARD_REGRESSION_FLOOR` flags aggregator-independent; bench data behind keeping `mean` in `5f-threshold-calibration-2026-05-11.md` §5; 8+1 tests. #000012-revision / #000025 §10.14 follow-up | 2026-05-11 | — | | #000046 | Harder 5S/5T/5F fixture tier (below-ceiling baselines) | **closed · 2026-05-11** — Phase 1 `falsification-hard-v1.jsonl` (12 near-misses) + Phase 2 `formulate-hard-v1.jsonl` (12 mis-segments, rate 4/12) + Phase 3 `verify_quotes` paraphrase numeric-agreement gate (`_numeric_signature`; demotes a token-covering span asserting a digit-number the source lacks modulo thousands-comma) → falsification-hard rate 4/12 → 6/12 on a real change; bench-gated (`make bench-qa` n=3×75×3 before/after — no STRICT-rate regression on legit answers; only gate-caused QA shift was correctly demoting a fictional-year claim STRICT→HYBRID); `fork_score` γ·Δ5f went positive on it. Headroom now down to 2 falsification-hard over-grounds (#000048 step 2.1 closed the 4 entity over-grounds; step 2.4 closed the 8 Formulate mis-segments → that pack 12/12; step 2.2 attempted + reverted — the last 2 recombination fixtures need an attribution-aware verifier, now tracked as **#000049**, and stand as documented residue). `make bench-5f-falsification-hard` / `bench-5f-formulate-hard` / `bench-fork-baseline-hard`; 7+ tests. #000025 §10.14 follow-up; #000047 closed; #000048 closed | 2026-05-11 | — | diff --git a/docs/tickets/ticket-000049-attribution-aware-grounding-check.md b/docs/tickets/ticket-000049-attribution-aware-grounding-check.md index f55c4ac..31dbd9e 100644 --- a/docs/tickets/ticket-000049-attribution-aware-grounding-check.md +++ b/docs/tickets/ticket-000049-attribution-aware-grounding-check.md @@ -17,15 +17,20 @@ recombination-risk gating is **load-bearing, not optional** — Phase 3 (and the next Phase-2 step) must restrict the NLI call to the clauses the lexical verifier actually matched and/or a deterministic recombination-risk trigger; do NOT enable runtime NLI demotion on the current scaffold. -Candidate-clause restriction added (§7 #21 — `ShadowNLI.check` now NLI's -only the top-6 source clauses by overlap, not the whole context): STRICT -would-demote 30% → 20% on the smoke — *helps, not fixed*; the data points -to θc ≈ 0.90 (up from the clean-set 0.5) to zero out the bench-qa-traffic -STRICT FPs at 27/28 synthetic recombination recall, but n=10 is too small -to set it on. Remaining: a fuller `ARBORIST_NLI_SHADOW=1 make bench-qa` -run → sweep θc on hundreds of STRICT cells → confirm → set it. Runtime NLI -demotion stays off. Production verifier unchanged; `falsification-hard` -stays 10/12. +Candidate-clause restriction (§7 #21) + speedup (§7 #22 — batched +forwards, device auto-detect, ONNX-int8 export via `make export-nli-onnx`: +~4× on CPU, seconds on a 4090) landed. **Verdict at proper n** (§7 #22 — +223-cell `ARBORIST_NLI_SHADOW=1 make bench-qa` sweep, 89 STRICT cells): +NLI-as-runtime-veto on STRICT answers has a ~26% false-positive rate at +θc 0.5, ~8% at θc 0.90, ~0% only at θc 0.99 — but θc 0.99 gives up most +recombination recall (hard synthetic recombinations bottom out ~0.76). +**Fails the §7 #12 gate on this design.** Only untried path that might +pass: a Phase-3 runtime hook running NLI on the clauses the lexical +verifier actually matched (1–3, the right ones), not top-6-by-overlap — +a verifier-side change. Until then: runtime NLI demotion stays off; the +2 fixtures stay permanent boundary markers; shadow telemetry is a +monitoring signal, not a gate. Production verifier unchanged; +`falsification-hard` stays 10/12. **Opened:** 2026-05-12 **Scope:** Decide whether — and if so how — to add a verifier check that catches a *recombination*: a claim whose content tokens are all @@ -679,7 +684,7 @@ to `available=False` when `[nli]` absent); `[nli]` extra in `bench/scripts/nli_shadow_sweep.py` + `make bench-nli-shadow` (the gate-item-4 instrument — sweeps `(answer, context)` records, reports the *would-demote* rate bucketed by verifier label; renders even -without `[nli]`, marked `available:false`); 22 tests in +without `[nli]`, marked `available:false`); 24 tests in `tests/test_nli_shadow.py` (pure-Python parts + graceful degradation + the bench-sweep parser — run in the default suite). @@ -823,3 +828,64 @@ bench-qa-traffic precision — every gate number that matters has to come from a shadow run on `bench-qa` pipeline output, not from contrived fixtures. Production verifier unchanged; `falsification-hard` stays 10/12. + +**22. Full-ish bench-qa shadow sweep + speedup (2026-05-12).** + +*Speedup (the §3 plan).* `ShadowNLI` now (1) **batches** the forward +passes — `_nli_batch(pairs)` runs ⌈N/`batch_size`⌉ batched forwards +instead of N batch-1 ones (`ARBORIST_NLI_BATCH=64` default); (2) +**auto-detects device** (`ARBORIST_NLI_DEVICE` env, else cuda if +available else cpu — `.to("cuda")` + cuda inputs on the torch path, +`CUDAExecutionProvider` on the ONNX path); (3) **prefers an ONNX +export** if one exists — `bench/scripts/export_nli_onnx.py` / +`make export-nli-onnx` exports the pinned checkpoint to ONNX + int8- +dynamic-quantizes it into `~/.arborist/models/nli//onnx/` (operator +state, **not** committed — same discipline as the textbook manifest / +`[vec]`), and `_ensure_loaded` loads `model_quantized.onnx` via +`optimum.onnxruntime` (backend `onnx-int8`), falling back silently to +torch when no export / no `optimum`. Measured: torch-cpu-batch1 ≈ 120 +ms/pair → **onnx-int8-cpu-batched ≈ 32 ms/pair** (~4×); on a CUDA box +(the 4090) batched inference is ~10⁴–10⁵ pairs/s — the whole sweep is +seconds. `optimum[onnxruntime]` added to the `[nli]` extra; 24 tests in +`tests/test_nli_shadow.py`. + +*The gate-item-4 number, at proper n.* `ARBORIST_NLI_SHADOW=1 make +bench-qa BENCH_QA_N=1` → 75 q × 3 modes, of which 223 cells completed +(89 STRICT / 90 HYBRID / 44 UNGROUNDED — the run also surfaced a +lone-surrogate bug in real Wikipedia context that `qa_sweep` now +scrubs). Shadow sweep over those 223 (`bench/results/nli-shadow-sweep-benchqa-n1.json`, +candidate-clause restriction on, θe = 0.9): + +| audit_mode | n | would_demote @ θc 0.5 | reading | +|---|---|---|---| +| STRICT | 89 | **23 (25.8%)** | the false-positive rate — confirms the smoke at proper n | +| HYBRID | 90 | 36 (40%) | already-demoted; further demotion less harmful | +| UNGROUNDED | 44 | 28 (64%) | already-rejected; NLI agreeing is fine | + +θc-sweep on the 89 STRICT cells (FP rate): 0.5→25.8%, 0.7→19.1%, +0.8→12.4%, 0.85→11.2%, **0.90→7.9%**, 0.95→5.6%, 0.97→2.2%, 0.99→0%. +`max_contradiction` on STRICT: p50 0.29, p90 0.88, p95 0.96, max +0.99. So **even with the candidate-clause restriction, NLI-as-runtime- +veto on STRICT answers is *not* gate-passable at any θc that still +catches recombination** — the synthetic recombinations bottom out at +~0.76 on the hard cases (~0.98 on easy), so a θc high enough to get the +STRICT FP rate to ≈0 (0.99) gives up most of the recall the veto exists +for; θc = 0.90 is the least-bad point (~8% STRICT FP, ~96% synthetic +recall) but ~8% false-demote on confidently-grounded answers is well +above any acceptable gate. The recombination-risk split doesn't rescue +it (STRICT FP: 20/65 risk vs 3/24 no-risk — both nonzero). + +**Verdict.** This *hardens* §7 #21's conclusion at real n: +NLI-as-runtime-demotion-veto, on the current standalone-lexical +candidate-clause design, **fails the §7 #12 gate** (item 2/4: a +~8–26% false-positive rate on STRICT). The recombination boundary is +*not* closed by this approach. What remains untried — and the only +path that might pass: a **Phase-3 runtime hook** that runs NLI on the +clauses the *lexical verifier actually matched a span/quote/entity +against* (1–3 clauses, the right ones), not "top-6 by token overlap" +(6 clauses, several merely lexically-overlapping) — a verifier-side +change, not a standalone proxy. Until that's built and re-measured: +**runtime NLI demotion stays off; the 2 fixtures stay permanent +boundary markers; the shadow telemetry is a monitoring signal, not a +gate.** θc stays 0.5 in the manifest. Production verifier unchanged; +`falsification-hard` stays 10/12. diff --git a/pyproject.toml b/pyproject.toml index 17985c3..97e134c 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -89,12 +89,19 @@ nli = [ # NLI tests via pytest.importorskip when this extra is absent. # Install with: # pip install 'arborist[nli]' - # Phase 3 (if it happens) should ONNX-export the pinned checkpoint - # and switch this to onnxruntime-cpu to drop torch (cf. [vec]). + # `optimum[onnxruntime]` gives the ONNX-export + int8-quantize path + # (`bench/scripts/export_nli_onnx.py`, `make export-nli-onnx`): + # `onnxruntime` on a quantized cross-encoder is ~2-4x faster on CPU + # than the torch forward path; `ShadowNLI._ensure_loaded` auto-prefers + # an export if it finds one. torch is still here because `optimum`'s + # exporter uses it, and it's the fallback when no export exists; a + # Phase-3 runtime could ship an `[nli-onnx]`-only extra (onnxruntime, + # no torch) once the export is committed/distributed (cf. [vec]). "transformers>=4.40", "torch>=2.2", "sentencepiece>=0.2", "protobuf>=4.0", + "optimum[onnxruntime]>=1.20", ] dev = [ "pytest>=8", diff --git a/tests/test_nli_shadow.py b/tests/test_nli_shadow.py index c919b8a..2fa64ed 100644 --- a/tests/test_nli_shadow.py +++ b/tests/test_nli_shadow.py @@ -136,6 +136,36 @@ def test_shadownli_construction_never_raises_and_starts_unavailable(): assert nli.available is False # not loaded until first check assert nli.model_version == load_manifest()["nli_model_version"] assert nli.theta_contra == 0.5 and nli.theta_entail == 0.9 + assert nli.device_pref in ("auto", "cpu", "cuda") # default 'auto' + assert nli.batch_size >= 1 + assert nli.backend is None # set at load → "torch" / "onnx" / "onnx-int8" + assert nli._onnx_dir().name == "onnx" # conventional export location + + +def test_shadownli_device_and_onnx_dir_env_overrides(monkeypatch, tmp_path): + monkeypatch.setenv("ARBORIST_NLI_DEVICE", "cpu") + monkeypatch.setenv("ARBORIST_NLI_ONNX_DIR", str(tmp_path / "x")) + monkeypatch.setenv("ARBORIST_NLI_BATCH", "8") + nli = ShadowNLI() + assert nli.device_pref == "cpu" and nli.batch_size == 8 + assert nli._onnx_dir() == tmp_path / "x" + + +def test_nli_batch_matches_single_when_available(): + nli = ShadowNLI() + nli._ensure_loaded() + if not nli.available: + pytest.skip("[nli] extra not installed") + pairs = [("Jupiter is the largest planet.", "Mercury is the largest planet."), + ("Paris is the capital of France.", "Paris is the capital of France.")] + batched = nli._nli_batch(pairs) + singles = [nli._nli(p, h) for p, h in pairs] + for b, s in zip(batched, singles): + # batching pads the shorter sequence; with attention masking that's + # ~a no-op for fp32, and within quantization noise for int8 ONNX — + # the operative thing (argmax label, gate decision) must not move. + assert max(range(3), key=lambda i: b[i]) == max(range(3), key=lambda i: s[i]) + assert all(abs(x - y) < 0.05 for x, y in zip(b, s)) def test_check_returns_shadowresult_and_degrades_gracefully():