# FROZEN TRANSCRIPT — cold_run_guardians.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 10 token probes fired  [zero-report law satisfied]

STEP 1 — PARSE. Verse-initial KI ("when") found at: 22:6, 22:9, 22:13
paragraphs: ['22:6-8', '22:9-12', '22:13-14']

STEP 2 — EXTRACT. Branch table read from the ink:
  P1 22:6   events=['theft']  outcome=['PAY']
  P1 22:7   events=['owner-flag']  outcome=['OATH']
  P1 22:8   events=['every-matter']  outcome=['PAY']
  P2 22:9   events=['captured', 'died', 'injured']  outcome=-
  P2 22:10  events=['owner-flag']  outcome=['NO-PAY', 'OATH']
  P2 22:11  events=['owner-flag', 'theft']  outcome=['PAY']
  P2 22:12  events=['torn']  outcome=['NO-PAY']
  P3 22:13  events=['borrow', 'died', 'injured', 'owner-flag']  outcome=['PAY']
  P3 22:14  events=['hire-clause', 'owner-flag']  outcome=['NO-PAY']

STEP 3 — THE TEACHER'S RECORDED MOVES
  P3 self-labels: the borrow-verb is in the ink (22:13) -> BORROWER  [INK]
  DIFF on theft: P1 -> oath route (22:7), P2 -> PAY (22:11).
  Recorded rule [Bava Metzia 94b:8-9]: stricter on theft = the
  compensated keeper  ->  P2 = PAID, P1 = UNPAID   [DIFF-INFERENCE]
  SEAL [94b:10]: "all benefit is his" — borrower pays even on
  accident (22:13 PAY on died/injured confirmed in ink)
  ROUTE [Mishnah Bava Metzia 7:8]: the renter (hire-clause in the
  ink at 22:14) follows the paid keeper's row; the routing dispute
  is recorded at Bava Metzia 93a

STEP 4 — GRADE vs the Mishnah (Shevuot 8:1 / Bava Metzia 7:8)
  unpaid    accidents=OATH[ok]  theft=OATH[ok]  loss=OATH[ok]
  paid      accidents=OATH[ok]  theft=PAY[ok]  loss=PAY[ok]
  renter    accidents=OATH[ok]  theft=PAY[ok]  loss=PAY[ok]
  borrower  accidents=PAY[ok]  theft=PAY[ok]  loss=PAY[ok]

RESULT: 12/12 cells match the Mishnah's table.

PROVENANCE of every cell:
  borrower  accidents <- INK 22:13
  borrower  loss      <- COMPARISON [Bava Metzia 94b:19 + benefit seal 94b:10]
  borrower  theft     <- COMPARISON [Bava Metzia 94b:19 + benefit seal 94b:10]
  paid      accidents <- INK 22:9-10
  paid      loss      <- A-FORTIORI [Bava Metzia 94b:15: if theft, near-accident, pays — loss, near-negligence, all the more so]
  paid      theft     <- INK 22:11
  renter    accidents <- ROUTED [Mishnah Bava Metzia 7:8; ink hook: the hire-clause, 22:14]
  renter    loss      <- ROUTED [Mishnah Bava Metzia 7:8; ink hook: the hire-clause, 22:14]
  renter    theft     <- ROUTED [Mishnah Bava Metzia 7:8; ink hook: the hire-clause, 22:14]
  unpaid    accidents <- INK 22:8 "every matter of trespass"
  unpaid    loss      <- INK 22:8 "every matter of trespass"
  unpaid    theft     <- INK 22:7