RatLabA Boar Research
Closed recordas of what’s still open →

Experiment ·

AR

Does a deterministic arithmetic calculator (rate x quantity -> time, ceil-division) plus a detector numeric guard answer the v0.1 arithmetic items exactly with 0 false fires, vs cut 2 (no calculator)?

From the record

What was tested
AR
Result
n/a at L0 (deterministic); L1 component vit-sci-003 rubric +3.33 (1.00 -> 4.33, item ratio 0.200 -> 0.867)
Verdict
adopted: shipped or recommended by its frozen rule
Detail
lever-adopted (L0 PASS on A1, A3-A6; A2 FAIL reported separately; L1 AR ADOPT; shipped in cut 3)
Set
v0.1 EN public 60; arms/probes/arithmetic.probes.jsonl (dev); arms/probes/arithmetic.heldout.jsonl; the retrieval research agent aligned-en 1010; terse-live EN 213; the evaluation/safety research agent emergency-dev EN 105 / all 300; the evaluation/safety research agent chat-slice EN 66
Judge
none (deterministic gate)
n
60 v0.1 EN + 30 pos/15 neg dev probes + 1,467 non-arithmetic dev messages + 300 emergency-dev + 32 pos/18 neg held-out…
Seeds
n/a (deterministic); L1 s44+s45
Pre-registered
yes, sha256-frozen

Linked facts · 1

  • Cut lineage.Cut lineage.cut 1 → 1b → 2 → 3 (VG v3 + AR + snakebite) → 4 (KVFIX + INSTANT-FRAG + INSTANT-SUBJ) → 5 (KV no-source prefix + gate skip) → 6 (DETMAX) → 7 (FACTS r6)Date2026-10-03..07Kinda record, not a measurement (set, status, judge, n, seeds: not recorded)Caveatbase = public upstream commit 0cfd4a77Sourceresearch record README.mdOpen the data file