Send me away: the speckled wage and the peeled rods (30:25-43) FROZEN

שַׁלְּחֵנִי וְאֵלְכָה · shalcheni ve-elkha · 'Send me away, that I may go'

Derivation log (steps A–J)

Boot steps — the operator lines (hand-derived, owner-approved)

Scenarios (the unit's own test suite)

Machine verification — run_unit.py (computed live, not stored)

unit: gen_52_send_me_speckled_wage_rods — Send me away: the speckled wage and the peeled rods (30:25-43) [frozen]

final state: WORLD=[] (+0 presupposed) | REGISTRY={} | TESTS=0 PASS | LEDGER days=[] | FLAGS=[]

=== S1 — after STEP_Gn_30_25 — send-me pushed at Joseph's birth; depth 1
    שַׁלְּחֵ֨נִי֙ וְאֵ֣לְכָ֔ה (shalcheni ve-elkha)
    PASS  LET(shalcheni(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S2 — after STEP_Gn_30_26 — wives-and-children pushed; depth 2
    תְּנָ֞ה אֶת נָשַׁ֣י וְאֶת יְלָדַ֗י (tena et-nashai ve-et-yeladai)
    PASS  LET(shalcheni(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)'])
    PASS  LET(tena_nashai_viladai(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S3 — after STEP_Gn_30_27 — Laban's divination; depth still 2
    נִחַ֕שְׁתִּי וַיְבָרֲכֵ֥נִי יְהוָ֖ה בִּגְלָלֶֽךָ (nichashti va-yevarakheni YHWH biglalekha)
    PASS  LET(shalcheni(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)'])
    PASS  LET(tena_nashai_viladai(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S4 — after STEP_Gn_30_28 — designate-your-wage pushed; depth 3
    נָקְבָ֧ה שְׂכָרְךָ֛ עָלַ֖י וְאֶתֵּֽנָה (naqva sekharkha alay ve-etena)
    PASS  LET(shalcheni(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)', 'naqva_sekhar(yaaqov)'])
    PASS  LET(tena_nashai_viladai(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)', 'naqva_sekhar(yaaqov)'])
    PASS  LET(naqva_sekhar(yaaqov)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)', 'naqva_sekhar(yaaqov)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S5 — after STEP_Gn_30_29 — the service audit; depth still 3
    אַתָּ֣ה יָדַ֔עְתָּ אֵ֖ת אֲשֶׁ֣ר עֲבַדְתִּ֑יךָ (ata yadata et asher avadticha)
    PASS  LET(shalcheni(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)', 'naqva_sekhar(yaaqov)'])
    PASS  LET(tena_nashai_viladai(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)', 'naqva_sekhar(yaaqov)'])
    PASS  LET(naqva_sekhar(yaaqov)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)', 'naqva_sekhar(yaaqov)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S6 — after STEP_Gn_30_30 — the break-out audit; depth still 3
    וַיִּפְרֹ֣ץ לָרֹ֔ב וַיְבָ֧רֶךְ יְהוָ֛ה אֹתְךָ֖ לְרַגְלִ֑י (va-yifrotz la-rov va-yevarekh YHWH otkha le-ragli)
    PASS  LET(shalcheni(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)', 'naqva_sekhar(yaaqov)'])
    PASS  LET(tena_nashai_viladai(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)', 'naqva_sekhar(yaaqov)'])
    PASS  LET(naqva_sekhar(yaaqov)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)', 'naqva_sekhar(yaaqov)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S7 — after STEP_Gn_30_31 — give-me-nothing; self-commitment fenced; depth 3
    לֹא תִתֶּן לִ֣י מְא֔וּמָה (lo-titen li meuma)
    PASS  LET(shalcheni(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)', 'naqva_sekhar(yaaqov)'])
    PASS  LET(tena_nashai_viladai(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)', 'naqva_sekhar(yaaqov)'])
    PASS  LET(naqva_sekhar(yaaqov)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)', 'naqva_sekhar(yaaqov)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S8 — after STEP_Gn_30_32 — the wage NAMED; naqva_sekhar pops; depth 2
    וְהָיָ֖ה שְׂכָרִֽי (ve-haya sekhari)
    PASS  LET(shalcheni(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)'])
    PASS  LET(tena_nashai_viladai(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S9 — after STEP_Gn_30_33 — righteousness, tomorrow, and theft debut; depth 2
    וְעָֽנְתָה בִּ֤י צִדְקָתִי֙ בְּי֣וֹם מָחָ֔ר (ve-anta-bi-y tzidqati be-yom machar)
    PASS  LET(shalcheni(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)'])
    PASS  LET(tena_nashai_viladai(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S10 — after STEP_Gn_30_34 — the deal accepted on yehi; depth 2
    ל֖וּ יְהִ֥י כִדְבָרֶֽךָ (lu yehi khi-devarekha)
    PASS  LET(shalcheni(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)'])
    PASS  LET(tena_nashai_viladai(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S11 — after STEP_Gn_30_35 — the same-day removal; depth 2
    וַיָּ֣סַר בַּיּוֹם֩ הַה֨וּא (va-yasar ba-yom ha-hu)
    PASS  LET(shalcheni(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)'])
    PASS  LET(tena_nashai_viladai(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S12 — after STEP_Gn_30_36 — three days' way; the remnant; depth 2
    וַיָּ֗שֶׂם דֶּ֚רֶךְ שְׁלֹ֣שֶׁת יָמִ֔ים בֵּינ֖וֹ וּבֵ֣ין יַעֲקֹ֑ב (va-yasem derekh sheloshet yamim beno u-ven yaaqov)
    PASS  LET(shalcheni(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)'])
    PASS  LET(tena_nashai_viladai(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S13 — after STEP_Gn_30_37 — the white peeled from the rods; depth 2
    וַיְפַצֵּ֤ל בָּהֵן֙ פְּצָל֣וֹת לְבָנ֔וֹת מַחְשֹׂף֙ הַלָּבָ֔ן (va-yefatzel ba-hen petzalot levanot machsof ha-lavan)
    PASS  LET(shalcheni(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)'])
    PASS  LET(tena_nashai_viladai(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S14 — after STEP_Gn_30_38 — rods at the troughs; depth 2
    וַיַּצֵּ֗ג אֶת הַמַּקְלוֹת֙ אֲשֶׁ֣ר פִּצֵּ֔ל בָּרֳהָטִ֖ים בְּשִֽׁקֲת֣וֹת הַמָּ֑יִם (va-yatzeg et-ha-maqlot asher pitzel ba-rohatim be-shiqatot ha-mayim)
    PASS  LET(shalcheni(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)'])
    PASS  LET(tena_nashai_viladai(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S15 — after STEP_Gn_30_39 — the flock bears the deal's adjectives; depth 2
    וַתֵּלַ֣דְןָ הַצֹּ֔אן עֲקֻדִּ֥ים נְקֻדִּ֖ים וּטְלֻאִֽים (va-teladna ha-tzon aqudim nequdim u-teluim)
    PASS  LET(shalcheni(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)'])
    PASS  LET(tena_nashai_viladai(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S16 — after STEP_Gn_30_40 — Jacob separates droves; depth 2
    וְהַכְּשָׂבִים֮ הִפְרִ֣יד יַעֲקֹב֒ (ve-ha-kesavim hifrid yaaqov)
    PASS  LET(shalcheni(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)'])
    PASS  LET(tena_nashai_viladai(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S17 — after STEP_Gn_30_41 — rods for the strong ones; depth 2
    וְשָׂ֨ם יַעֲקֹ֧ב אֶת הַמַּקְל֛וֹת (ve-sam yaaqov et-ha-maqlot)
    PASS  LET(shalcheni(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)'])
    PASS  LET(tena_nashai_viladai(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S18 — after STEP_Gn_30_42 — the sort: feeble to Laban, strong to Jacob
    וְהָיָ֤ה הָעֲטֻפִים֙ לְלָבָ֔ן וְהַקְּשֻׁרִ֖ים לְיַעֲקֹֽב (ve-haya ha-atufim le-lavan ve-ha-qeshurim le-yaaqov)
    PASS  LET(shalcheni(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)'])
    PASS  LET(tena_nashai_viladai(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S19 — after STEP_Gn_30_43 — the doubled break-out; two cards stay open
    וַיִּפְרֹ֥ץ הָאִ֖ישׁ מְאֹ֣ד מְאֹ֑ד (va-yifrotz ha-ish meod meod)
    PASS  LET(shalcheni(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)'])
    PASS  LET(tena_nashai_viladai(lavan)) pushed and OPEN  (queue=['shalcheni(lavan)', 'tena_nashai_viladai(lavan)'])
    PASS  no test, no name.  (tests=0 names=0)

ALL SCENARIOS GREEN

Python rendering — the unit as a program

Generated from the frozen YAML by render_unit_py.py (the YAML stays canonical — this layer is derived, like this page). Runnable: python3 logic/py_units/gen_52_send_me_speckled_wage_rods.py — replays the six registers and asserts the interpreter's machine truth.

#!/usr/bin/env python3
# =============================================================================
# gen_52_send_me_speckled_wage_rods — 30:25-43
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_52_send_me_speckled_wage_rods.yaml) is CANONICAL
# (Pre-Code); this file is a derived, runnable rendering. Do not edit —
# regenerate. The assertion block at the bottom is baked from the Stage D
# interpreter's actual final state: running this file re-proves the unit.
# Experimental model — not binding religious law.
# =============================================================================
"""Send me away: the speckled wage and the peeled rods (30:25-43)"""
from machine import Machine

m = Machine("gen_52_send_me_speckled_wage_rods")

# -------------------------- Gen.30.25 · THE_SEND_ME_DEMAND -----------------
# וַיְהִי כַּאֲשֶׁר יָלְדָה רָחֵל אֶת־יוֹסֵף וַיֹּאמֶר יַעֲקֹב אֶל־לָבָן
# שַׁלְּחֵנִי וְאֵלְכָה אֶל־מְקוֹמִי וּלְאַרְצִי
# "[EN-AID] And it was, when Rachel had borne Joseph, that Jacob said to
# Laban: Send me away, that I may go to my own place and to my land."
m.step("Gen.30.25")
# ‹שַׁלְּחֵנִי וְאֵלְכָה אֶל־מְקוֹמִי וּלְאַרְצִי› (“send-me/my and-go to
# place-me/my and-to-earth-me/my”) — Jacob speaks a demand — LET:
# shalcheni(Laban)
m.declare("yaaqov", "LET",
          "shalcheni(lavan)")

# -------------------------- Gen.30.26 · THE_WIVES_AND_CHILDREN_DEMAND ------
# תְּנָה אֶת־נָשַׁי וְאֶת־יְלָדַי אֲשֶׁר עָבַדְתִּי אֹתְךָ בָּהֵן וְאֵלֵכָה
# כִּי אַתָּה יָדַעְתָּ אֶת־עֲבֹדָתִי אֲשֶׁר עֲבַדְתִּיךָ
# "[EN-AID] Give my wives and my children, for whom I have served you, and
# let me go; for you know my service which I have served you."
m.step("Gen.30.26")
# ‹תְּנָה אֶת־נָשַׁי וְאֶת־יְלָדַי› (“set-ward obj-marker woman-me/my and-
# obj-marker child-me/my”) — Jacob speaks a demand — LET: tena-nashai-
# viladai(Laban)
m.declare("yaaqov", "LET",
          "tena_nashai_viladai(lavan)")

# -------------------------- Gen.30.27 · THE_DIVINATION_CONFESSION ----------
# וַיֹּאמֶר אֵלָיו לָבָן אִם־נָא מָצָאתִי חֵן בְּעֵינֶיךָ נִחַשְׁתִּי
# וַיְבָרֲכֵנִי יְהוָה בִּגְלָלֶךָ
# "[EN-AID] And Laban said to him: If now I have found favor in your eyes —
# I have divined that YHWH has blessed me for your sake."
m.step("Gen.30.27")
# ‹נִחַשְׁתִּי וַיְבָרֲכֵנִי יְהוָה בִּגְלָלֶךָ› (“hiss and-bless-me/my YHWH
# in-circumstance-you/your”) — fact holds: berakh-the-LORD-biglal-
# Jacob(Laban)
m.fact("berakh_YHWH_biglal_yaaqov(lavan)")

# -------------------------- Gen.30.28 · THE_WAGE_DESIGNATION_DEMAND --------
# וַיֹּאמַר נָקְבָה שְׂכָרְךָ עָלַי וְאֶתֵּנָה
# "[EN-AID] And he said: Designate your wage upon me, and I will give it."
m.step("Gen.30.28")
# ‹נָקְבָה שְׂכָרְךָ עָלַי וְאֶתֵּנָה› (“puncture-ward wage-you/your over-
# me/my and-set”) — Laban speaks a demand — LET: naqva-sekhar(Jacob)
m.declare("lavan", "LET",
          "naqva_sekhar(yaaqov)")

# -------------------------- Gen.30.29 · THE_SERVICE_AUDIT ------------------
# וַיֹּאמֶר אֵלָיו אַתָּה יָדַעְתָּ אֵת אֲשֶׁר עֲבַדְתִּיךָ וְאֵת
# אֲשֶׁר־הָיָה מִקְנְךָ אִתִּי
# "[EN-AID] And he said to him: You know how I have served you, and how your
# livestock has fared with me."
m.step("Gen.30.29")
# ‹אַתָּה יָדַעְתָּ אֵת אֲשֶׁר עֲבַדְתִּיךָ› (“you know obj-marker which
# work/serve-you/your”) — fact holds: know-avodati(Laban)
m.fact("yadata_avodati(lavan)")

# -------------------------- Gen.30.30 · THE_BREAK_OUT_AUDIT ----------------
# כִּי מְעַט אֲשֶׁר־הָיָה לְךָ לְפָנַי וַיִּפְרֹץ לָרֹב וַיְבָרֶךְ יְהוָה
# אֹתְךָ לְרַגְלִי וְעַתָּה מָתַי אֶעֱשֶׂה גַם־אָנֹכִי לְבֵיתִי
# "[EN-AID] For the little you had before me has broken out into abundance,
# and YHWH has blessed you at my foot; and now, when shall I do for my own
# house also?"
m.step("Gen.30.30")
# ‹וַיִּפְרֹץ לָרֹב וַיְבָרֶךְ יְהוָה אֹתְךָ לְרַגְלִי› (“and-break-out to-
# abundance and-bless YHWH obj-marker-you/your to-foot-me/my”) — fact holds:
# paratz-to-abundance-to-ragli(miqne-Laban)
m.fact("paratz_la_rov_le_ragli(miqne_lavan)")

# -------------------------- Gen.30.31 · THE_NOTHING_WAGE -------------------
# וַיֹּאמֶר מָה אֶתֶּן־לָךְ וַיֹּאמֶר יַעֲקֹב לֹא־תִתֶּן־לִי מְאוּמָה
# אִם־תַּעֲשֶׂה־לִּי הַדָּבָר הַזֶּה אָשׁוּבָה אֶרְעֶה צֹאנְךָ אֶשְׁמֹר
# "[EN-AID] And he said: What shall I give you? And Jacob said: You shall
# not give me anything. If you will do this thing for me, I will again feed
# and keep your flock:"
m.step("Gen.30.31")
# ‹לֹא־תִתֶּן־לִי מְאוּמָה› (“not set to-me/my speck”) — fact holds: not-
# set-to-me-speck(exchange)
m.fact("lo_titen_li_meuma(exchange)")

# -------------------------- Gen.30.32 · THE_WAGE_NAMED_POP -----------------
# אֶעֱבֹר בְּכָל־צֹאנְךָ הַיּוֹם הָסֵר מִשָּׁם כָּל־שֶׂה נָקֹד וְטָלוּא
# וְכָל־שֶׂה־חוּם בַּכְּשָׂבִים וְטָלוּא וְנָקֹד בָּעִזִּים וְהָיָה שְׂכָרִי
# "[EN-AID] I will pass through all your flock today, removing from there
# every speckled and spotted lamb, and every dark lamb among the sheep, and
# the spotted and speckled among the goats; and that shall be my wage."
m.step("Gen.30.32")
# ‹וְהָיָה שְׂכָרִי› (“and-be wage-me/my”) — demand settled (popped from the
# queue): naqva-sekhar(Jacob)
m.result("naqva_sekhar(yaaqov)", tmark="t3")

# -------------------------- Gen.30.33 · THE_RIGHTEOUSNESS_CLAUSE -----------
# וְעָנְתָה־בִּי צִדְקָתִי בְּיוֹם מָחָר כִּי־תָבוֹא עַל־שְׂכָרִי לְפָנֶיךָ
# כֹּל אֲשֶׁר־אֵינֶנּוּ נָקֹד וְטָלוּא בָּעִזִּים וְחוּם בַּכְּשָׂבִים
# גָּנוּב הוּא אִתִּי
# "[EN-AID] And my righteousness will answer for me on a day to come, when
# you come concerning my wage before you: every one that is not speckled and
# spotted among the goats and dark among the sheep, it is stolen with me."
m.step("Gen.30.33")
# ‹וְעָנְתָה־בִּי צִדְקָתִי בְּיוֹם מָחָר› (“and-eye in-me/my rightness-
# me/my in-day deferred”) — fact holds: tzedaqa-ana-in-day-deferred(Jacob)
m.fact("tzedaqa_ana_be_yom_machar(yaaqov)")

# -------------------------- Gen.30.34 · THE_YEHI_ACCEPTANCE ----------------
# וַיֹּאמֶר לָבָן הֵן לוּ יְהִי כִדְבָרֶךָ
# "[EN-AID] And Laban said: Behold, would that it be according to your
# word."
m.step("Gen.30.34")
# ‹לוּ יְהִי כִדְבָרֶךָ› (“conditional-particle be like-word/thing-
# you/your”) — fact holds: conditional-particle-be-khi-devarekha(Laban)
m.fact("lu_yehi_khi_devarekha(lavan)")

# -------------------------- Gen.30.35 · THE_SAME_DAY_REMOVAL ---------------
# וַיָּסַר בַּיּוֹם הַהוּא אֶת־הַתְּיָשִׁים הָעֲקֻדִּים וְהַטְּלֻאִים וְאֵת
# כָּל־הָעִזִּים הַנְּקֻדּוֹת וְהַטְּלֻאֹת כֹּל אֲשֶׁר־לָבָן בּוֹ וְכָל־חוּם
# בַּכְּשָׂבִים וַיִּתֵּן בְּיַד־בָּנָיו
# "[EN-AID] And he removed on that day the striped and spotted he-goats and
# all the speckled and spotted she-goats — every one that had white in it —
# and every dark one among the sheep, and gave them into the hand of his
# sons."
m.step("Gen.30.35")
# ‹וַיָּסַר בַּיּוֹם הַהוּא› (“and-turn-aside in-day that”) — fact holds:
# hesir-Laban-in-the-day-the-he/it(the-striped)
m.fact("hesir_lavan_ba_yom_ha_hu(ha_aqudim)")

# -------------------------- Gen.30.36 · THE_THREE_DAYS_GAP -----------------
# וַיָּשֶׂם דֶּרֶךְ שְׁלֹשֶׁת יָמִים בֵּינוֹ וּבֵין יַעֲקֹב וְיַעֲקֹב רֹעֶה
# אֶת־צֹאן לָבָן הַנּוֹתָרֹת
# "[EN-AID] And he set a way of three days between himself and Jacob; and
# Jacob was shepherding the remnant of Laban's flock."
m.step("Gen.30.36")
# ‹וַיָּשֶׂם דֶּרֶךְ שְׁלֹשֶׁת יָמִים בֵּינוֹ וּבֵין יַעֲקֹב› (“and-put/set
# way/road three day between-him/its and-between Jacob”) — fact holds:
# way/road-three-day(ben-Laban-and-between-Jacob)
m.fact("derekh_sheloshet_yamim(ben_lavan_u_ven_yaaqov)")

# -------------------------- Gen.30.37 · THE_WHITE_PEELED -------------------
# וַיִּקַּח־לוֹ יַעֲקֹב מַקַּל לִבְנֶה לַח וְלוּז וְעֶרְמוֹן וַיְפַצֵּל
# בָּהֵן פְּצָלוֹת לְבָנוֹת מַחְשֹׂף הַלָּבָן אֲשֶׁר עַל־הַמַּקְלוֹת
# "[EN-AID] And Jacob took himself fresh rods of poplar and almond and
# plane, and peeled white peelings in them, laying bare the white which was
# on the rods."
m.step("Gen.30.37")
# ‹וַיְפַצֵּל בָּהֵן פְּצָלוֹת לְבָנוֹת מַחְשֹׂף הַלָּבָן› (“and-peel in-
# them/their peeling white peeling the-white”) — fact holds: peel-peeling-
# the-Laban(shoot)
m.fact("pitzel_machsof_ha_lavan(maqlot)")

# -------------------------- Gen.30.38 · THE_TROUGH_SIGHTLINE ---------------
# וַיַּצֵּג אֶת־הַמַּקְלוֹת אֲשֶׁר פִּצֵּל בָּרֳהָטִים בְּשִׁקֲתוֹת הַמָּיִם
# אֲשֶׁר תָּבֹאןָ הַצֹּאן לִשְׁתּוֹת לְנֹכַח הַצֹּאן וַיֵּחַמְנָה בְּבֹאָן
# לִשְׁתּוֹת
# "[EN-AID] And he set the rods which he had peeled in the runnels, in the
# watering troughs where the flock came to drink, in front of the flock; and
# they came to heat when they came to drink."
m.step("Gen.30.38")
# ‹וַיַּצֵּג אֶת־הַמַּקְלוֹת אֲשֶׁר פִּצֵּל בָּרֳהָטִים בְּשִׁקֲתוֹת
# הַמָּיִם› (“and-place-permanently obj-marker the-shoot which peel in-
# channel in-trough the-waters”) — fact holds: shoot-in-the-rehatim(to-
# front-part-the-flock)
m.fact("maqlot_ba_rehatim(le_nokhach_ha_tzon)")

# -------------------------- Gen.30.39 · THE_FLOCK_CONCEIVES_STRIPED --------
# וַיֶּחֱמוּ הַצֹּאן אֶל־הַמַּקְלוֹת וַתֵּלַדְןָ הַצֹּאן עֲקֻדִּים נְקֻדִּים
# וּטְלֻאִים
# "[EN-AID] And the flock conceived-heat at the rods; and the flock bore
# striped, speckled, and spotted."
m.step("Gen.30.39")
# ‹וַתֵּלַדְןָ הַצֹּאן עֲקֻדִּים נְקֻדִּים וּטְלֻאִים› (“and-bear-young the-
# flock striped spotted and-cover-with-pieces”) — fact holds: bear-young-
# striped-spotted-cover-with-pieces(the-flock)
m.fact("teladna_aqudim_nequdim_teluim(ha_tzon)")

# -------------------------- Gen.30.40 · THE_SEPARATION ---------------------
# וְהַכְּשָׂבִים הִפְרִיד יַעֲקֹב וַיִּתֵּן פְּנֵי הַצֹּאן אֶל־עָקֹד
# וְכָל־חוּם בְּצֹאן לָבָן וַיָּשֶׁת־לוֹ עֲדָרִים לְבַדּוֹ וְלֹא שָׁתָם
# עַל־צֹאן לָבָן
# "[EN-AID] And Jacob separated the lambs, and set the faces of the flock
# toward the striped and every dark one in Laban's flock; and he set himself
# droves alone, and did not set them with Laban's flock."
m.step("Gen.30.40")
# ‹וְהַכְּשָׂבִים הִפְרִיד יַעֲקֹב› (“and-the-young-sheep break-through
# Jacob”) — fact holds: break-through-arrangement-alone(Jacob)
m.fact("hifrid_adarim_levado(yaaqov)")

# -------------------------- Gen.30.41 · THE_STRONG_ONES --------------------
# וְהָיָה בְּכָל־יַחֵם הַצֹּאן הַמְקֻשָּׁרוֹת וְשָׂם יַעֲקֹב אֶת־הַמַּקְלוֹת
# לְעֵינֵי הַצֹּאן בָּרֳהָטִים לְיַחְמֵנָּה בַּמַּקְלוֹת
# "[EN-AID] And it was, whenever the bound-strong of the flock conceived,
# that Jacob set the rods before the eyes of the flock in the runnels, to
# make them conceive among the rods."
m.step("Gen.30.41")
# ‹וְשָׂם יַעֲקֹב אֶת־הַמַּקְלוֹת› (“and-put/set Jacob obj-marker the-
# shoot”) — fact holds: shoot-to-eye-the-tie(Jacob)
m.fact("maqlot_le_ene_ha_mequsharot(yaaqov)")

# -------------------------- Gen.30.42 · THE_SORT ---------------------------
# וּבְהַעֲטִיף הַצֹּאן לֹא יָשִׂים וְהָיָה הָעֲטֻפִים לְלָבָן וְהַקְּשֻׁרִים
# לְיַעֲקֹב
# "[EN-AID] And when the flock were feeble, he did not set them; and the
# feeble were Laban's, and the bound-strong Jacob's."
m.step("Gen.30.42")
# ‹וְהָיָה הָעֲטֻפִים לְלָבָן וְהַקְּשֻׁרִים לְיַעֲקֹב› (“and-be the-shroud
# to-Laban and-the-tie to-Jacob”) — fact holds: shroud-to-Laban-tie-to-
# Jacob(the-flock)
m.fact("atufim_le_lavan_qeshurim_le_yaaqov(ha_tzon)")

# -------------------------- Gen.30.43 · THE_BREAK_OUT_DOUBLED --------------
# וַיִּפְרֹץ הָאִישׁ מְאֹד מְאֹד וַיְהִי־לוֹ צֹאן רַבּוֹת וּשְׁפָחוֹת
# וַעֲבָדִים וּגְמַלִּים וַחֲמֹרִים
# "[EN-AID] And the man broke out exceedingly, exceedingly; and he had many
# flocks, and maidservants and menservants, and camels and donkeys."
m.step("Gen.30.43")
# ‹וַיִּפְרֹץ הָאִישׁ מְאֹד מְאֹד› (“and-break-out the-man very very”) —
# fact holds: paratz-very-very(the-man)
m.fact("paratz_meod_meod(ha_ish)")

# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
    m.report()
    assert m.created_set() == set()
    assert m.presupposed_set() == set()
    assert m.REGISTRY["names"] == {}
    assert m.REGISTRY["writes"] == 0
    assert m.tests_list() == []
    assert m.open_demands() == ['shalcheni(lavan)', 'tena_nashai_viladai(lavan)']
    assert len(m.SPECS["log"]) == 3
    assert sorted(m.LEDGER) == []
    assert m.flag_counts() == {}
    assert sorted(m.WORLD["facts"]) == sorted(['berakh_YHWH_biglal_yaaqov(lavan)', 'yadata_avodati(lavan)', 'paratz_la_rov_le_ragli(miqne_lavan)', 'lo_titen_li_meuma(exchange)', 'tzedaqa_ana_be_yom_machar(yaaqov)', 'lu_yehi_khi_devarekha(lavan)', 'hesir_lavan_ba_yom_ha_hu(ha_aqudim)', 'derekh_sheloshet_yamim(ben_lavan_u_ven_yaaqov)', 'pitzel_machsof_ha_lavan(maqlot)', 'maqlot_ba_rehatim(le_nokhach_ha_tzon)', 'teladna_aqudim_nequdim_teluim(ha_tzon)', 'hifrid_adarim_levado(yaaqov)', 'maqlot_le_ene_ha_mequsharot(yaaqov)', 'atufim_le_lavan_qeshurim_le_yaaqov(ha_tzon)', 'paratz_meod_meod(ha_ish)'])
    assert m.WORLD["invariants"] == []
    assert m.WORLD["partitions"] == []
    assert len(m.EVENTS) == 4
    print("ALL ASSERTIONS GREEN — rendering matches the frozen unit's machine truth")

Rendered 2026-08-09 by render_unit_html.py · the YAML is canonical, this page is read-only display · English = aid only · not binding religious law.