Potiphar's house: the refusal on the chain (39:1-23) FROZEN

וַיְמָאֵן וַיֹּאמֶר אֶל־אֵשֶׁת אֲדֹנָיו · va-yemaen va-yomer el-eshet adonav · 'and he refused, and said to his master's wife'

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_62_potifar_house — Potiphar's house: the refusal on the chain (39:1-23) [frozen]

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

=== S1 — after STEP_Gn_39_1 — bought by Potiphar
    וְיוֹסֵ֖ף הוּרַ֣ד מִצְרָ֑יְמָה וַיִּקְנֵ֡הוּ (ve-yosef hurad mitzrayma-ה va-yiqne-hu)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S2 — after STEP_Gn_39_2 — the LORD with him
    וַיְהִ֤י יְהוָה֙ אֶת יוֹסֵ֔ף (va-yehi YHWH et-yosef)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S3 — after STEP_Gn_39_3 — the master sees
    וַיַּ֣רְא אֲדֹנָ֔יו כִּ֥י יְהוָ֖ה (va-yar adonay-v ki YHWH)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S4 — after STEP_Gn_39_4 — appointed over the house
    וַיִּמְצָ֨א יוֹסֵ֥ף חֵ֛ן בְּעֵינָ֖יו (va-yimtza yosef chen be-enay-v)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S5 — after STEP_Gn_39_5 — the blessing for his sake
    וַיְהִ֡י מֵאָז֩ הִפְקִ֨יד אֹת֜וֹ (va-yehi me-az hifqid et-o)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S6 — after STEP_Gn_39_6 — the beauty note
    וַיַּעֲזֹ֣ב כָּל אֲשֶׁר לוֹ֮ (va-yaazov kal-asher-l-o)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S7 — after STEP_Gn_39_7 — the demand pushed
    וַיְהִ֗י אַחַר֙ הַדְּבָרִ֣ים הָאֵ֔לֶּה (va-yehi achar ha-devarim ha-ele)
    PASS  LET(shikhva_imi) pushed and OPEN  (queue=['shikhva_imi'])
    PASS  no test, no name.  (tests=0 names=0)

=== S8 — after STEP_Gn_39_8 — the chain refusal
    וַיְמָאֵ֓ן וַיֹּ֨אמֶר֙ אֶל אֵ֣שֶׁת (va-yemaen va-yomer el-eshet)
    PASS  LET(shikhva_imi) pushed and OPEN  (queue=['shikhva_imi'])
    PASS  no test, no name.  (tests=0 names=0)

=== S9 — after STEP_Gn_39_9 — the great evil named
    אֵינֶ֨נּוּ גָד֜וֹל בַּבַּ֣יִת הַזֶּה֮ (ene-nu gadol ba-bayit ha-ze)
    PASS  LET(shikhva_imi) pushed and OPEN  (queue=['shikhva_imi'])
    PASS  no test, no name.  (tests=0 names=0)

=== S10 — after STEP_Gn_39_10 — day by day
    וַיְהִ֕י כְּדַבְּרָ֥הּ אֶל יוֹסֵ֖ף (va-yehi ke-dabra-ה el-yosef)
    PASS  LET(shikhva_imi) pushed and OPEN  (queue=['shikhva_imi'])
    PASS  no test, no name.  (tests=0 names=0)

=== S11 — after STEP_Gn_39_11 — the empty house
    וַיְהִי֙ כְּהַיּ֣וֹם הַזֶּ֔ה וַיָּבֹ֥א (va-yehi ke-ha-yom ha-ze va-yavo)
    PASS  LET(shikhva_imi) pushed and OPEN  (queue=['shikhva_imi'])
    PASS  no test, no name.  (tests=0 names=0)

=== S12 — after STEP_Gn_39_12 — the garment seized
    וַתִּתְפְּשֵׂ֧הוּ בְּבִגְד֛וֹ לֵאמֹ֖ר שִׁכְבָ֣ה (va-titpse-hu be-vigd-o le-mor shikhva-ה)
    PASS  LET(shikhva_imi) pushed and OPEN  (queue=['shikhva_imi', 'shikhva_imi'])
    PASS  no test, no name.  (tests=0 names=0)

=== S13 — after STEP_Gn_39_13 — the evidence read
    וַיְהִי֙ כִּרְאוֹתָ֔הּ כִּֽי עָזַ֥ב (va-yehi ki-reota-ה ki-azav)
    PASS  LET(shikhva_imi) pushed and OPEN  (queue=['shikhva_imi', 'shikhva_imi'])
    PASS  no test, no name.  (tests=0 names=0)

=== S14 — after STEP_Gn_39_14 — the household speech
    וַתִּקְרָ֞א לְאַנְשֵׁ֣י בֵיתָ֗הּ וַתֹּ֤אמֶר (va-tiqra le-anshe veta-ה va-tomer)
    PASS  LET(shikhva_imi) pushed and OPEN  (queue=['shikhva_imi', 'shikhva_imi'])
    PASS  no test, no name.  (tests=0 names=0)

=== S15 — after STEP_Gn_39_15 — the raised voice
    וַיְהִ֣י כְשָׁמְע֔וֹ כִּֽי הֲרִימֹ֥תִי (va-yehi khe-sham-o ki-harimoti)
    PASS  LET(shikhva_imi) pushed and OPEN  (queue=['shikhva_imi', 'shikhva_imi'])
    PASS  no test, no name.  (tests=0 names=0)

=== S16 — after STEP_Gn_39_16 — the garment waits
    וַתַּנַּ֥ח בִּגְד֖וֹ אֶצְלָ֑הּ עַד (va-tanach bigd-o etzla-ה ad-)
    PASS  LET(shikhva_imi) pushed and OPEN  (queue=['shikhva_imi', 'shikhva_imi'])
    PASS  no test, no name.  (tests=0 names=0)

=== S17 — after STEP_Gn_39_17 — the second telling
    וַתְּדַבֵּ֣ר אֵלָ֔יו כַּדְּבָרִ֥ים הָאֵ֖לֶּה (va-tedaber elay-v ka-devarim ha-ele)
    PASS  LET(shikhva_imi) pushed and OPEN  (queue=['shikhva_imi', 'shikhva_imi'])
    PASS  no test, no name.  (tests=0 names=0)

=== S18 — after STEP_Gn_39_18 — the quoted cry
    וַיְהִ֕י כַּהֲרִימִ֥י קוֹלִ֖י וָאֶקְרָ֑א (va-yehi ka-harimi-y qoli-y va-eqra)
    PASS  LET(shikhva_imi) pushed and OPEN  (queue=['shikhva_imi', 'shikhva_imi'])
    PASS  no test, no name.  (tests=0 names=0)

=== S19 — after STEP_Gn_39_19 — the anger
    וַיְהִי֩ כִשְׁמֹ֨עַ אֲדֹנָ֜יו אֶת (va-yehi khi-shemoa adonay-v et-)
    PASS  LET(shikhva_imi) pushed and OPEN  (queue=['shikhva_imi', 'shikhva_imi'])
    PASS  no test, no name.  (tests=0 names=0)

=== S20 — after STEP_Gn_39_20 — into the round house
    וַיִּקַּח֩ אֲדֹנֵ֨י יוֹסֵ֜ף אֹת֗וֹ (va-yiqach adone yosef et-o)
    PASS  LET(shikhva_imi) pushed and OPEN  (queue=['shikhva_imi', 'shikhva_imi'])
    PASS  no test, no name.  (tests=0 names=0)

=== S21 — after STEP_Gn_39_21 — kindness in the pit
    וַיְהִ֤י יְהוָה֙ אֶת יוֹסֵ֔ף (va-yehi YHWH et-yosef)
    PASS  LET(shikhva_imi) pushed and OPEN  (queue=['shikhva_imi', 'shikhva_imi'])
    PASS  no test, no name.  (tests=0 names=0)

=== S22 — after STEP_Gn_39_22 — all in his hand again
    וַיִּתֵּ֞ן שַׂ֤ר בֵּית הַסֹּ֨הַר֙ (va-yiten sar bet-ha-sohar)
    PASS  LET(shikhva_imi) pushed and OPEN  (queue=['shikhva_imi', 'shikhva_imi'])
    PASS  no test, no name.  (tests=0 names=0)

=== S23 — after STEP_Gn_39_23 — the unseen overseer
    אֵ֣ין שַׂ֣ר בֵּית הַסֹּ֗הַר (en sar bet-ha-sohar)
    PASS  LET(shikhva_imi) pushed and OPEN  (queue=['shikhva_imi', 'shikhva_imi'])
    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_62_potifar_house.py — replays the six registers and asserts the interpreter's machine truth.

#!/usr/bin/env python3
# =============================================================================
# gen_62_potifar_house — 39:1-23
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_62_potifar_house.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.
# =============================================================================
"""Potiphar's house: the refusal on the chain (39:1-23)"""
from machine import Machine

m = Machine("gen_62_potifar_house")

# -------------------------- Gen.39.1 · BOUGHT_BY_POTIPHAR ------------------
# וְיוֹסֵף הוּרַד מִצְרָיְמָה וַיִּקְנֵהוּ פּוֹטִיפַר סְרִיס פַּרְעֹה שַׂר
# הַטַּבָּחִים אִישׁ מִצְרִי מִיַּד הַיִּשְׁמְעֵאלִים אֲשֶׁר הוֹרִדֻהוּ
# שָׁמָּה
# "[EN-AID] And Joseph was brought down to Egypt; and Potiphar, Pharaoh's
# officer, the chief of the slaughterers, an Egyptian man, bought him from
# the hand of the Ishmaelites who had brought him down there."
m.step("Gen.39.1")
# ‹וְיוֹסֵף הוּרַד מִצְרָיְמָה וַיִּקְנֵהוּ פּוֹטִיפַר› (“and-Joseph go-down
# Egypt-ward and-erect-him/its Potiphar”) — fact holds: go-down-mitzrayma-
# and-yiqnehu-Potiphar(Joseph)
m.fact("hurad_mitzrayma_va_yiqnehu_potifar(yosef)")

# -------------------------- Gen.39.2 · THE_LORD_WITH_HIM -------------------
# וַיְהִי יְהוָה אֶת־יוֹסֵף וַיְהִי אִישׁ מַצְלִיחַ וַיְהִי בְּבֵית אֲדֹנָיו
# הַמִּצְרִי
# "[EN-AID] And the LORD was with Joseph, and he was a prospering man; and
# he was in the house of his master the Egyptian."
m.step("Gen.39.2")
# ‹וַיְהִי יְהוָה אֶת־יוֹסֵף וַיְהִי אִישׁ מַצְלִיחַ› (“and-be YHWH with
# Joseph and-be man push-forward”) — fact holds: the-LORD-with-Joseph-man-
# matzliach
m.fact("YHWH_et_yosef_ish_matzliach")

# -------------------------- Gen.39.3 · THE_MASTER_SEES ---------------------
# וַיַּרְא אֲדֹנָיו כִּי יְהוָה אִתּוֹ וְכֹל אֲשֶׁר־הוּא עֹשֶׂה יְהוָה
# מַצְלִיחַ בְּיָדוֹ
# "[EN-AID] And his master saw that the LORD was with him, and all that he
# did the LORD made prosper in his hand."
m.step("Gen.39.3")
# ‹וַיַּרְא אֲדֹנָיו כִּי יְהוָה אִתּוֹ› (“and-see lord-him/its that YHWH
# with-him/its”) — fact holds: bad-adonav-that-the-LORD-with-him
m.fact("raa_adonav_ki_YHWH_ito")

# -------------------------- Gen.39.4 · APPOINTED_OVER_THE_HOUSE ------------
# וַיִּמְצָא יוֹסֵף חֵן בְּעֵינָיו וַיְשָׁרֶת אֹתוֹ וַיַּפְקִדֵהוּ
# עַל־בֵּיתוֹ וְכָל־יֶשׁ־לוֹ נָתַן בְּיָדוֹ
# "[EN-AID] And Joseph found favor in his eyes, and he served him; and he
# appointed him over his house, and all he had he gave into his hand."
m.step("Gen.39.4")
# ‹וַיַּפְקִדֵהוּ עַל־בֵּיתוֹ וְכָל־יֶשׁ־לוֹ נָתַן בְּיָדוֹ› (“and-
# count/visit-him/its over house-him/its and-all there-is to-him/its set in-
# hand-him/its”) — fact holds: count/visit-over-beto-and-all-set-in-his-hand
m.fact("hifqid_al_beto_ve_khol_natan_be_yado")

# -------------------------- Gen.39.5 · THE_BLESSING_FOR_HIS_SAKE -----------
# וַיְהִי מֵאָז הִפְקִיד אֹתוֹ בְּבֵיתוֹ וְעַל כָּל־אֲשֶׁר יֶשׁ־לוֹ
# וַיְבָרֶךְ יְהוָה אֶת־בֵּית הַמִּצְרִי בִּגְלַל יוֹסֵף וַיְהִי בִּרְכַּת
# יְהוָה בְּכָל־אֲשֶׁר יֶשׁ־לוֹ בַּבַּיִת וּבַשָּׂדֶה
# "[EN-AID] And it was, from the time he appointed him in his house and over
# all that he had, the LORD blessed the Egyptian's house for Joseph's sake;
# and the LORD's blessing was on all he had, in the house and in the field."
m.step("Gen.39.5")
# ‹וַיְבָרֶךְ יְהוָה אֶת־בֵּית הַמִּצְרִי בִּגְלַל יוֹסֵף› (“and-bless YHWH
# obj-marker house the-Egyptian in-circumstance Joseph”) — fact holds:
# berakh-the-LORD-house-the-Egyptian-biglal-Joseph
m.fact("berakh_YHWH_bet_ha_mitzri_biglal_yosef")

# -------------------------- Gen.39.6 · THE_BEAUTY_NOTE ---------------------
# וַיַּעֲזֹב כָּל־אֲשֶׁר־לוֹ בְּיַד־יוֹסֵף וְלֹא־יָדַע אִתּוֹ מְאוּמָה כִּי
# אִם־הַלֶּחֶם אֲשֶׁר־הוּא אוֹכֵל וַיְהִי יוֹסֵף יְפֵה־תֹאַר וִיפֵה מַרְאֶה
# "[EN-AID] And he left all that he had in Joseph's hand, and knew nothing
# with him except the bread that he ate; and Joseph was beautiful of form
# and beautiful of appearance."
m.step("Gen.39.6")
# ‹וַיְהִי יוֹסֵף יְפֵה־תֹאַר וִיפֵה מַרְאֶה› (“and-be Joseph beautiful
# outline and-beautiful appearance”) — fact holds: beautiful-outline-vi-yfe-
# appearance(Joseph)
m.fact("yefe_toar_vi_yfe_mare(yosef)")

# -------------------------- Gen.39.7 · THE_DEMAND_PUSHED -------------------
# וַיְהִי אַחַר הַדְּבָרִים הָאֵלֶּה וַתִּשָּׂא אֵשֶׁת־אֲדֹנָיו אֶת־עֵינֶיהָ
# אֶל־יוֹסֵף וַתֹּאמֶר שִׁכְבָה עִמִּי
# "[EN-AID] And it was after these things, and his master's wife lifted her
# eyes to Joseph, and said: Lie with me."
m.step("Gen.39.7")
# ‹וַתֹּאמֶר שִׁכְבָה עִמִּי› (“and-say lie-down-ward with-me/my”) — woman-
# adonav speaks a demand — LET: shikhva-imi
m.declare("eshet_adonav", "LET",
          "shikhva_imi")

# -------------------------- Gen.39.8 · THE_CHAIN_REFUSAL -------------------
# וַיְמָאֵן וַיֹּאמֶר אֶל־אֵשֶׁת אֲדֹנָיו הֵן אֲדֹנִי לֹא־יָדַע אִתִּי
# מַה־בַּבָּיִת וְכֹל אֲשֶׁר־יֶשׁ־לוֹ נָתַן בְּיָדִי
# "[EN-AID] And he refused, and said to his master's wife: Behold, my master
# knows not what is with me in the house, and all that he has he gave into
# my hand."
m.step("Gen.39.8")
# ‹וַיְמָאֵן וַיֹּאמֶר› (“and-refuse and-say”) — fact holds: and-refuse-
# lo!-adoni(Joseph)
m.fact("va_yemaen_hen_adoni(yosef)")

# -------------------------- Gen.39.9 · THE_GREAT_EVIL_NAMED ----------------
# אֵינֶנּוּ גָדוֹל בַּבַּיִת הַזֶּה מִמֶּנִּי וְלֹא־חָשַׂךְ מִמֶּנִּי
# מְאוּמָה כִּי אִם־אוֹתָךְ בַּאֲשֶׁר אַתְּ־אִשְׁתּוֹ וְאֵיךְ אֶעֱשֶׂה
# הָרָעָה הַגְּדֹלָה הַזֹּאת וְחָטָאתִי לֵאלֹהִים
# "[EN-AID] There is none greater in this house than I, and he has withheld
# nothing from me except you, in that you are his wife; and how shall I do
# this great evil, and sin against God?"
m.step("Gen.39.9")
# ‹וְאֵיךְ אֶעֱשֶׂה הָרָעָה הַגְּדֹלָה הַזֹּאת וְחָטָאתִי לֵאלֹהִים› (“and-
# how? make the-bad the-great the-this and-sin to-God”) — fact holds:
# how?-make-the-bad-the-great-and-sin-to-God
m.fact("ekh_eese_ha_raa_ha_gedola_ve_chatati_le_Elohim")

# -------------------------- Gen.39.10 · DAY_BY_DAY -------------------------
# וַיְהִי כְּדַבְּרָהּ אֶל־יוֹסֵף יוֹם יוֹם וְלֹא־שָׁמַע אֵלֶיהָ לִשְׁכַּב
# אֶצְלָהּ לִהְיוֹת עִמָּהּ
# "[EN-AID] And it was, as she spoke to Joseph day by day, he did not listen
# to her, to lie beside her, to be with her."
m.step("Gen.39.10")
# ‹וַיְהִי כְּדַבְּרָהּ אֶל־יוֹסֵף יוֹם יוֹם› (“and-be like-speak-her/its to
# Joseph day day”) — fact holds: and-not-hear-eleha-day-day(Joseph)
m.fact("ve_lo_shama_eleha_yom_yom(yosef)")

# -------------------------- Gen.39.11 · THE_EMPTY_HOUSE --------------------
# וַיְהִי כְּהַיּוֹם הַזֶּה וַיָּבֹא הַבַּיְתָה לַעֲשׂוֹת מְלַאכְתּוֹ וְאֵין
# אִישׁ מֵאַנְשֵׁי הַבַּיִת שָׁם בַּבָּיִת
# "[EN-AID] And it was, on this day, that he came into the house to do his
# work; and no man of the men of the house was there in the house."
m.step("Gen.39.11")
# ‹וְאֵין אִישׁ מֵאַנְשֵׁי הַבַּיִת שָׁם בַּבָּיִת› (“and-there-is-not man
# from-man the-house there in-house”) — fact holds: and-there-is-not-man-
# come/bring-house
m.fact("ve_en_ish_ba_bayit")

# -------------------------- Gen.39.12 · THE_GARMENT_SEIZED -----------------
# וַתִּתְפְּשֵׂהוּ בְּבִגְדוֹ לֵאמֹר שִׁכְבָה עִמִּי וַיַּעֲזֹב בִּגְדוֹ
# בְּיָדָהּ וַיָּנָס וַיֵּצֵא הַחוּצָה
# "[EN-AID] And she seized him by his garment, saying: Lie with me. And he
# left his garment in her hand, and fled and went outside."
m.step("Gen.39.12")
# ‹וַתִּתְפְּשֵׂהוּ בְּבִגְדוֹ לֵאמֹר שִׁכְבָה עִמִּי› (“and-manipulate-
# him/its in-garment-him/its to-say lie-down-ward with-me/my”) — woman-
# adonav speaks a demand — LET: shikhva-imi
m.declare("eshet_adonav", "LET",
          "shikhva_imi")
# ‹וַיַּעֲזֹב בִּגְדוֹ בְּיָדָהּ וַיָּנָס וַיֵּצֵא הַחוּצָה› (“and-loosen
# garment-him/its in-hand-her/its and-flit and-bring-forth the-outside-
# ward”) — event: loosen — agent Joseph; theme beged
m.event("azav", agent="yosef", themes=["beged"])

# -------------------------- Gen.39.13 · THE_EVIDENCE_READ ------------------
# וַיְהִי כִּרְאוֹתָהּ כִּי־עָזַב בִּגְדוֹ בְּיָדָהּ וַיָּנָס הַחוּצָה
# "[EN-AID] And it was, when she saw that he had left his garment in her
# hand, and fled outside,"
m.step("Gen.39.13")
# ‹וַיְהִי כִּרְאוֹתָהּ כִּי־עָזַב בִּגְדוֹ בְּיָדָהּ› (“and-be like-see-
# her/its that loosen garment-him/its in-hand-her/its”) — fact holds: raata-
# that-loosen-bigdo-in-yadah
m.fact("raata_ki_azav_bigdo_be_yadah")

# -------------------------- Gen.39.14 · THE_HOUSEHOLD_SPEECH ---------------
# וַתִּקְרָא לְאַנְשֵׁי בֵיתָהּ וַתֹּאמֶר לָהֶם לֵאמֹר רְאוּ הֵבִיא לָנוּ
# אִישׁ עִבְרִי לְצַחֶק בָּנוּ בָּא אֵלַי לִשְׁכַּב עִמִּי וָאֶקְרָא בְּקוֹל
# גָּדוֹל
# "[EN-AID] that she called to the men of her house and said to them,
# saying: See — he brought us a Hebrew man to mock us; he came to me to lie
# with me, and I called with a great voice."
m.step("Gen.39.14")
# ‹רְאוּ הֵבִיא לָנוּ אִישׁ עִבְרִי לְצַחֶק בָּנוּ› (“see come/bring to-
# us/our man Hebrew to-laugh-outright in-us/our”) — fact holds: qara-to-man-
# veta-come/bring-lanu-man-Hebrew
m.fact("qara_le_anshe_veta_hevi_lanu_ish_ivri")

# -------------------------- Gen.39.15 · THE_RAISED_VOICE -------------------
# וַיְהִי כְשָׁמְעוֹ כִּי־הֲרִימֹתִי קוֹלִי וָאֶקְרָא וַיַּעֲזֹב בִּגְדוֹ
# אֶצְלִי וַיָּנָס וַיֵּצֵא הַחוּצָה
# "[EN-AID] And it was, when he heard that I raised my voice and called,"
m.step("Gen.39.15")
# ‹כִּי־הֲרִימֹתִי קוֹלִי וָאֶקְרָא› (“that rise-high voice/sound-me/my and-
# call”) — fact holds: rise-high-qoli-and-call(woman-adonav)
m.fact("harimoti_qoli_va_eqra(eshet_adonav)")

# -------------------------- Gen.39.16 · THE_GARMENT_WAITS ------------------
# וַתַּנַּח בִּגְדוֹ אֶצְלָהּ עַד־בּוֹא אֲדֹנָיו אֶל־בֵּיתוֹ
# "[EN-AID] And she laid his garment beside her until his master came to his
# house."
m.step("Gen.39.16")
# ‹וַתַּנַּח בִּגְדוֹ אֶצְלָהּ› (“and-deposit garment-him/its side-her/its”)
# — fact holds: and-deposit-bigdo-etzlah-until-come/bring-adonav
m.fact("va_tanach_bigdo_etzlah_ad_bo_adonav")

# -------------------------- Gen.39.17 · THE_SECOND_TELLING -----------------
# וַתְּדַבֵּר אֵלָיו כַּדְּבָרִים הָאֵלֶּה לֵאמֹר בָּא־אֵלַי הָעֶבֶד
# הָעִבְרִי אֲשֶׁר־הֵבֵאתָ לָּנוּ לְצַחֶק בִּי
# "[EN-AID] And she spoke to him according to these words, saying: The
# Hebrew slave whom you brought us came to me, to mock me."
m.step("Gen.39.17")
# ‹בָּא־אֵלַי הָעֶבֶד הָעִבְרִי אֲשֶׁר־הֵבֵאתָ לָּנוּ לְצַחֶק› (“come/bring
# to-me/my the-servant the-Hebrew which come/bring to-us/our to-laugh-
# outright”) — fact holds: come/bring-elay-the-servant-the-Hebrew-to-laugh-
# outright-bi
m.fact("ba_elay_ha_eved_ha_ivri_le_tzacheq_bi")

# -------------------------- Gen.39.18 · THE_QUOTED_CRY ---------------------
# וַיְהִי כַּהֲרִימִי קוֹלִי וָאֶקְרָא וַיַּעֲזֹב בִּגְדוֹ אֶצְלִי וַיָּנָס
# הַחוּצָה
# "[EN-AID] And it was, as I raised my voice and called, that he left his
# garment beside me and fled outside."
m.step("Gen.39.18")
# ‹וַיְהִי כַּהֲרִימִי קוֹלִי וָאֶקְרָא› (“and-be like-rise-high-me/my
# voice/sound-me/my and-call”) — fact holds: like-harimi-qoli-and-loosen-
# bigdo-etzli
m.fact("ka_harimi_qoli_va_yaazov_bigdo_etzli")

# -------------------------- Gen.39.19 · THE_ANGER --------------------------
# וַיְהִי כִשְׁמֹעַ אֲדֹנָיו אֶת־דִּבְרֵי אִשְׁתּוֹ אֲשֶׁר דִּבְּרָה אֵלָיו
# לֵאמֹר כַּדְּבָרִים הָאֵלֶּה עָשָׂהּ לִי עַבְדֶּךָ וַיִּחַר אַפּוֹ
# "[EN-AID] And it was, when his master heard the words of his wife which
# she spoke to him, saying: According to these words your slave did to me —
# his anger burned."
m.step("Gen.39.19")
# ‹עַבְדֶּךָ וַיִּחַר› (“servant-you/your and-glow”) — fact holds: and-glow-
# apo(adonav)
m.fact("va_yichar_apo(adonav)")

# -------------------------- Gen.39.20 · INTO_THE_ROUND_HOUSE ---------------
# וַיִּקַּח אֲדֹנֵי יוֹסֵף אֹתוֹ וַיִּתְּנֵהוּ אֶל־בֵּית הַסֹּהַר מְקוֹם
# אֲשֶׁר־אסורי אֲסִירֵי הַמֶּלֶךְ אֲסוּרִים וַיְהִי־שָׁם בְּבֵית הַסֹּהַר
# "[EN-AID] And Joseph's master took him and gave him to the prison-house,
# the place where the king's prisoners were bound; and he was there in the
# prison-house."
m.step("Gen.39.20")
# ‹מְקוֹם אֲשֶׁר־אסורי אֲסִירֵי הַמֶּלֶךְ אֲסוּרִים› (“place which yoke
# bound the-king yoke”) — fact holds: netano-to-house-the-dungeon(lord-
# Joseph)
m.fact("netano_el_bet_ha_sohar(adone_yosef)")

# -------------------------- Gen.39.21 · CHESED_IN_THE_PIT ------------------
# וַיְהִי יְהוָה אֶת־יוֹסֵף וַיֵּט אֵלָיו חָסֶד וַיִּתֵּן חִנּוֹ בְּעֵינֵי
# שַׂר בֵּית־הַסֹּהַר
# "[EN-AID] And the LORD was with Joseph, and extended kindness to him, and
# gave his favor in the eyes of the chief of the prison-house."
m.step("Gen.39.21")
# ‹וַיְהִי יְהוָה אֶת־יוֹסֵף וַיֵּט אֵלָיו חָסֶד› (“and-be YHWH with Joseph
# and-stretch to-him/its kindness”) — fact holds: and-stretch-to-him-
# kindness-and-chino-in-eye-officer-house-the-dungeon
m.fact("va_yet_elav_chased_ve_chino_be_ene_sar_bet_ha_sohar")

# -------------------------- Gen.39.22 · ALL_IN_HIS_HAND_AGAIN --------------
# וַיִּתֵּן שַׂר בֵּית־הַסֹּהַר בְּיַד־יוֹסֵף אֵת כָּל־הָאֲסִירִם אֲשֶׁר
# בְּבֵית הַסֹּהַר וְאֵת כָּל־אֲשֶׁר עֹשִׂים שָׁם הוּא הָיָה עֹשֶׂה
# "[EN-AID] And the chief of the prison-house gave into Joseph's hand all
# the prisoners in the prison-house; and all that they did there, he was the
# doer."
m.step("Gen.39.22")
# ‹אֵת כָּל־הָאֲסִירִם אֲשֶׁר בְּבֵית הַסֹּהַר› (“obj-marker all the-bound
# which in-house the-dungeon”) — fact holds: set-in-hand-Joseph-with-all-
# the-bound
m.fact("natan_be_yad_yosef_et_kal_ha_asirim")

# -------------------------- Gen.39.23 · THE_UNSEEN_OVERSEER ----------------
# אֵין שַׂר בֵּית־הַסֹּהַר רֹאֶה אֶת־כָּל־מְאוּמָה בְּיָדוֹ בַּאֲשֶׁר יְהוָה
# אִתּוֹ וַאֲשֶׁר־הוּא עֹשֶׂה יְהוָה מַצְלִיחַ
# "[EN-AID] The chief of the prison-house saw not any thing in his hand, in
# that the LORD was with him; and what he did, the LORD made prosper."
m.step("Gen.39.23")
# ‹בַּאֲשֶׁר יְהוָה אִתּוֹ וַאֲשֶׁר־הוּא עֹשֶׂה יְהוָה מַצְלִיחַ› (“in-who
# YHWH with-him/its and-which he/it make YHWH push-forward”) — fact holds:
# the-LORD-with-him-and-which-he/it-make-the-LORD-matzliach
m.fact("YHWH_ito_va_asher_hu_ose_YHWH_matzliach")

# -------------------------- 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() == ['shikhva_imi', 'shikhva_imi']
    assert len(m.SPECS["log"]) == 2
    assert sorted(m.LEDGER) == []
    assert m.flag_counts() == {}
    assert sorted(m.WORLD["facts"]) == sorted(['hurad_mitzrayma_va_yiqnehu_potifar(yosef)', 'YHWH_et_yosef_ish_matzliach', 'raa_adonav_ki_YHWH_ito', 'hifqid_al_beto_ve_khol_natan_be_yado', 'berakh_YHWH_bet_ha_mitzri_biglal_yosef', 'yefe_toar_vi_yfe_mare(yosef)', 'va_yemaen_hen_adoni(yosef)', 'ekh_eese_ha_raa_ha_gedola_ve_chatati_le_Elohim', 've_lo_shama_eleha_yom_yom(yosef)', 've_en_ish_ba_bayit', 'raata_ki_azav_bigdo_be_yadah', 'qara_le_anshe_veta_hevi_lanu_ish_ivri', 'harimoti_qoli_va_eqra(eshet_adonav)', 'va_tanach_bigdo_etzlah_ad_bo_adonav', 'ba_elay_ha_eved_ha_ivri_le_tzacheq_bi', 'ka_harimi_qoli_va_yaazov_bigdo_etzli', 'va_yichar_apo(adonav)', 'netano_el_bet_ha_sohar(adone_yosef)', 'va_yet_elav_chased_ve_chino_be_ene_sar_bet_ha_sohar', 'natan_be_yad_yosef_et_kal_ha_asirim', 'YHWH_ito_va_asher_hu_ose_YHWH_matzliach'])
    assert m.WORLD["invariants"] == []
    assert m.WORLD["partitions"] == []
    assert len(m.EVENTS) == 3
    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.