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

Decision ·

Cut 7 = cut 6 + FACTS r6 (adopted on gates: 0 fires on held-out sets); no relaxed lowercase rule; fine-tune data 1k go; "no device exists"

Chapter 7 · A phone on a desk, and in a handkept

From the record

Context
Cut 7 = cut 6 + FACTS r6; v0.3 to be written outside the Claude family; "no device exists"
Why
deterministic facts lever; no phone
What followed
cut 7 frozen; fine-tune data failed review same day
Reversible
yes
Status
kept
Alternatives considered
  • wait for more recall
  • re-run full claim runs (burns held-out again)
  • no FACTS; r7

Linked facts · 3

  • Freeze cut 7 = cut 6 + FACTS r6 on deterministic gates alone; full claim runs deferred to v0.3 (why: FACTS fires 0/110 and 0/58 on the claim sets, so claim numbers are cut 6's)Freeze cut 7 = cut 6 + FACTS r6 on deterministic gates alone; full claim runs deferred to v0.3 (why: FACTS fires 0/110 and 0/58 on the claim sets, so claim numbers are cut 6's)Date2026-10-07Kinda record, not a measurement (set, status, judge, n, seeds: not recorded)Caveatoutcome: Cut 7 is the frozen claim build ever sinceSourcenot in the public repositories yetOpen the data file
  • Adopt cut 7 = cut 6 + FACTS r6 on gates alone (why: FACTS fires 0/110 v0.2, 0/58 V-para → metrics unchanged; product gain (instant table answers))Adopt cut 7 = cut 6 + FACTS r6 on gates alone (why: FACTS fires 0/110 v0.2, 0/58 V-para → metrics unchanged; product gain (instant table answers))Date2026-10-07Kinda record, not a measurement (set, status, judge, n, seeds: not recorded)Caveatoutcome: cut 7 = frozen claim build; FACTS recall line closedSourceresearch record arms/facts/FACTS-r6-SET4.md:1,24-28Open the data file
  • Cut 7 = cut 6 + FACTS r6 (adopted on gates: 0 fires on held-out sets); no relaxed lowercase rule; fine-tune data 1k go; "no device exists" — why: deterministic facts lever; no phone — outcome: cut 7 frozen; fine-tune dat…Cut 7 = cut 6 + FACTS r6 (adopted on gates: 0 fires on held-out sets); no relaxed lowercase rule; fine-tune data 1k go; "no device exists" — why: deterministic facts lever; no phone — outcome: cut 7 frozen; fine-tune data failed review same dayDate2026-10-07 09:23Kinda record, not a measurement (set, status, judge, n, seeds: not recorded)Sourcenot in the public repositories yetOpen the data file