# FROZEN TRANSCRIPT — cold_run_mishpatim.py, run 2026-09-02 in the derivation workshop
# against the full-Tanakh word database (23,213 verses, lemma-tagged,
# rebuilt from the Open Scriptures Hebrew Bible source). Every probe
# fired before any result was trusted (the zero-report law).

probes: all 26 token probes fired  [zero-report law satisfied]

FUNCTION: slave-release  (answer sheet: Mishnah Kiddushin 1:2)
  release by YEARS (the timer)       FREE-YEAR-7 [ok]  <- INK 21:2: six [8337] + seventh [7637] + free [2670] all in the verse
  release by DEDUCTION (buy-out)     DEDUCT     [ok]  <- RECORDED [Kiddushin 16a:11]: from 21:8 "let her be redeemed" [6299], applied by comparison
  release by JUBILEE                 FREE-AT-JUBILEE [ok]  <- IMPORT [Leviticus 25; Kiddushin 15a:19: written even for the pierced "forever"]
  -> 3/3

FUNCTION: four-damages class map  (answer sheet: Mishnah Bava Kamma 1:1)
  class OX (case opener found)       MODULE     [ok]  <- INK: verse-initial KI + the class noun in its opener verse
  class PIT (case opener found)      MODULE     [ok]  <- INK: verse-initial KI + the class noun in its opener verse
  class GRAZING (case opener found)  MODULE     [ok]  <- INK: verse-initial KI + the class noun in its opener verse
  class FIRE (case opener found)     MODULE     [ok]  <- INK: verse-initial KI + the class noun in its opener verse
  common output: pay from the BEST   BEST-OF-LAND [ok]  <- INK 22:4 "best of his field, best of his vineyard" [4315 x2] + GENERALIZED [Bava Kamma 6b]
  -> 5/5

FUNCTION: goring-ox state machine  (answer sheet: Mishnah Bava Kamma 1:4 + 2:4)
  innocuous state: HALF, from the body HALF-FROM-BODY [ok]  <- INK 21:35: "divide" [2673] the live ox — the split is the payment and its cap
  forewarned state: FULL damages     FULL       [ok]  <- INK 21:36: "he shall pay [7999] ox for ox"
  transition threshold = 3 gorings   THREE      [ok]  <- RECORDED [Bava Kamma 23b:17-18]: yesterday [8543] + day-before [8032] + "not secured" = 3; two named tokenizations (Abaye/Rava)
  reverse transition (back to innocuous) REVERTS    [ok]  <- ANSWER-KEY [Mishnah Bava Kamma 2:4]: three days of restraint; semantics debate recorded at 24a:9
  human victim: stoning + ransom branch STONE+RANSOM [ok]  <- INK 21:29-30: stoned [5619], owner liable, IM-branch: ransom [3724]
  slave victim: fixed thirty shekels 30-SHEKELS [ok]  <- INK 21:32: thirty [7970] shekels [8255] — the fixed fine the Mishnah repeats
  -> 6/6

FUNCTION: injury indemnities  (answer sheet: Mishnah Bava Kamma 8:1)
  MEDICAL costs                      PAY        [ok]  <- INK 21:19: "and healing he shall heal" [7495]
  LOSS OF LIVELIHOOD                 PAY        [ok]  <- INK 21:19: "his idleness he shall give" [7674]
  DAMAGE (the tariff, as money)      PAY-MONEY  [ok]  <- RECORDED [Bava Kamma 83b-84a]: derived THROUGH THE CALL SITE — Leviticus 24:21-22, the formula's second occurrence
  PAIN                               PAY        [ok]  <- RECORDED [Bava Kamma 85a]: from "wound for wound" [6482], 21:25
  HUMILIATION                        PAY        [ok]  <- IMPORT [Deuteronomy 25:11-12, the recorded source in the sugya]
  -> 5/5

FUNCTION: theft multiples  (answer sheet: Mishnah Bava Kamma 7:1)
  DOUBLE payment (base)              X2         [ok]  <- INK 22:3: "he shall pay double" [8147]
  FIVEFOLD for the ox                X5         [ok]  <- INK 21:37: five [2568] cattle [1241] for the ox
  FOURFOLD for the sheep             X4         [ok]  <- INK 21:37: four [702] of the flock [6629] for the sheep
  scope: 4/5 ONLY ox and sheep       RESTRICTED [ok]  <- INK-PATTERN 21:37: the constants attach to those two nouns alone — Mishnah 7:1 states it "as it is stated"
  -> 4/4

============================================================
MISHPATIM PASS: 23/23 cells across 5 functions
  + the guardians run (separate machine): 12/12
PROVENANCE FRACTIONS (this pass): INK 15 | RECORDED 5 | ROUTED/IMPORT 3