The inadvertence tree: four ranked cases, zero statutes (4:1-35) - the casuistic probe FROZEN

נֶפֶשׁ כִּי־תֶחֱטָא בִשְׁגָגָה · nefesh ki-techeta vi-shegaga · 'A soul, when it sins in inadvertence'

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: lev_04_inadvertence_case_tree — The inadvertence tree: four ranked cases, zero statutes (4:1-35) - the casuistic probe [frozen]

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

=== S1 — after STEP_Lv_4_1 — the frame: one narrative verb
    וַיְדַבֵּ֥ר יְהוָ֖ה אֶל מֹשֶׁ֥ה לֵּאמֹֽר (va-yedaber YHWH el-moshe le-mor)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S2 — after STEP_Lv_4_2 — the relay card pushed; the intake case installed
    נֶ֗פֶשׁ כִּֽי תֶחֱטָ֤א בִשְׁגָגָה֙ (nefesh ki-techeta vi-shegaga)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts case-shegaga HOLD  (1 facts)
    PASS  STATUTES 0 standing  (statutes=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S3 — after STEP_Lv_4_3 — branch one: the anointed priest
    אִ֣ם הַכֹּהֵ֧ן הַמָּשִׁ֛יחַ יֶחֱטָ֖א לְאַשְׁמַ֣ת הָעָ֑ם (im ha-kohen ha-mashicha yecheta le-ashmat ha-am)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts case-mashiach HOLD  (2 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S4 — after STEP_Lv_4_4 — the sin-offering brought to the door
    וְהֵבִ֣יא אֶת הַפָּ֗ר אֶל פֶּ֛תַח אֹ֥הֶל מוֹעֵ֖ד לִפְנֵ֣י יְהוָ֑ה (ve-hevi et-ha-par el-petach ohel moed li-fene YHWH)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts handler-petach HOLD  (3 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S5 — after STEP_Lv_4_5 — the blood enters the tent
    וְלָקַ֛ח הַכֹּהֵ֥ן הַמָּשִׁ֖יחַ מִדַּ֣ם הַפָּ֑ר וְהֵבִ֥יא אֹת֖וֹ אֶל אֹ֥הֶל מוֹעֵֽד (ve-laqach ha-kohen ha-mashicha mi-dam ha-par ve-hevi oto el-ohel moed)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts handler-laqach HOLD  (4 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S6 — after STEP_Lv_4_6 — seven times before the veil
    וְטָבַ֧ל הַכֹּהֵ֛ן אֶת אֶצְבָּע֖וֹ בַּדָּ֑ם (ve-taval ha-kohen et-etzbao ba-dam)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts handler-parokhet HOLD  (5 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S7 — after STEP_Lv_4_7 — incense horns and olah base
    וְנָתַן֩ הַכֹּהֵ֨ן מִן הַדָּ֜ם עַל קַ֠רְנוֹת מִזְבַּ֨ח קְטֹ֤רֶת הַסַּמִּים֙ (ve-natan ha-kohen min-ha-dam al-qarnot mizbach qetoret ha-samim)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts handler-qetoret HOLD  (6 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S8 — after STEP_Lv_4_8 — the fat lifted
    וְאֶת כָּל חֵ֛לֶב פַּ֥ר הַֽחַטָּ֖את יָרִ֣ים מִמֶּ֑נּוּ (ve-et-kal chelev par ha-chatat yarim mimenu)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts handler-mekhase HOLD  (7 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S9 — after STEP_Lv_4_9 — kidneys and lobe
    וְאֵת֙ שְׁתֵּ֣י הַכְּלָיֹ֔ת וְאֶת הַחֵ֨לֶב֙ אֲשֶׁ֣ר עֲלֵיהֶ֔ן אֲשֶׁ֖ר עַל (ve-et shete ha-kelayot ve-et-ha-chelev asher alehen asher al)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts handler-yesirena HOLD  (8 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S10 — after STEP_Lv_4_10 — the first subroutine call
    כַּאֲשֶׁ֣ר יוּרַ֔ם מִשּׁ֖וֹר זֶ֣בַח הַשְּׁלָמִ֑ים (ka-asher yuram mi-shor zevach ha-shelamim)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts handler-yuram HOLD  (9 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S11 — after STEP_Lv_4_11 — the verbless carcass list
    וְאֶת ע֤וֹר הַפָּר֙ וְאֶת כָּל בְּשָׂר֔וֹ עַל רֹאשׁ֖וֹ וְעַל כְּרָעָ֑יו וְקִרְבּ֖וֹ וּפִרְשֽׁוֹ (ve-et-or ha-par ve-et-kal besaro al-rosho ve-al-keraav ve-qirbo u-firsho)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts handler-yuram HOLD  (9 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S12 — after STEP_Lv_4_12 — outside the camp; no pardon closes branch one
    וְהוֹצִ֣יא אֶת כָּל הַ֠פָּר אֶל מִח֨וּץ לַֽמַּחֲנֶ֜ה אֶל מָק֤וֹם טָהוֹר֙ (ve-hotzi et-kal ha-par el-mi-chutz la-machane el-maqom tahor)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts handler-shefekh HOLD  (10 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S13 — after STEP_Lv_4_13 — branch two: the congregation's hidden thing
    וְאִ֨ם כָּל עֲדַ֤ת יִשְׂרָאֵל֙ יִשְׁגּ֔וּ וְנֶעְלַ֣ם דָּבָ֔ר מֵעֵינֵ֖י הַקָּהָ֑ל (ve-im kal-adat yisrael yishgu ve-nelam davar me-ene ha-qahal)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts case-nelam HOLD  (11 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S14 — after STEP_Lv_4_14 — the sin becomes known
    וְנֽוֹדְעָה֙ הַֽחַטָּ֔את אֲשֶׁ֥ר חָטְא֖וּ עָלֶ֑יהָ וְהִקְרִ֨יבוּ (ve-noda ha-chatat asher chatu aleha ve-hiqrivu)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts handler-noda HOLD  (12 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S15 — after STEP_Lv_4_15 — the elders' hands
    וְ֠סָמְכוּ זִקְנֵ֨י הָעֵדָ֧ה אֶת יְדֵיהֶ֛ם עַל רֹ֥אשׁ הַפָּ֖ר לִפְנֵ֣י יְהוָ֑ה (ve-samkhu ziqne ha-eda et-yedehem al-rosh ha-par li-fene YHWH)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts handler-ziqne HOLD  (13 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S16 — after STEP_Lv_4_16 — the anointed carries the blood in
    וְהֵבִ֛יא הַכֹּהֵ֥ן הַמָּשִׁ֖יחַ מִדַּ֣ם הַפָּ֑ר אֶל אֹ֖הֶל מוֹעֵֽד (ve-hevi ha-kohen ha-mashicha mi-dam ha-par el-ohel moed)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts handler-mashiach HOLD  (14 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S17 — after STEP_Lv_4_17 — the veil's second seven
    וְטָבַ֧ל הַכֹּהֵ֛ן אֶצְבָּע֖וֹ מִן הַדָּ֑ם וְהִזָּ֞ה שֶׁ֤בַע (ve-taval ha-kohen etzbao min-ha-dam ve-hiza sheva)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts handler-ha_parokhet HOLD  (15 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S18 — after STEP_Lv_4_18 — horns and base again
    וּמִן הַדָּ֞ם יִתֵּ֣ן עַל קַרְנֹ֣ת הַמִּזְבֵּ֗חַ אֲשֶׁר֙ לִפְנֵ֣י יְהוָ֔ה אֲשֶׁ֖ר בְּאֹ֣הֶל מוֹעֵ֑ד (u-min-ha-dam yiten al-qarnot ha-mizbecha asher li-fene YHWH asher be-ohel moed)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts handler-yiten HOLD  (16 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S19 — after STEP_Lv_4_19 — the fat-rite compressed
    וְאֵ֥ת כָּל חֶלְבּ֖וֹ יָרִ֣ים מִמֶּ֑נּוּ וְהִקְטִ֖יר הַמִּזְבֵּֽחָה (ve-et kal-chelbo yarim mimenu ve-hiqtir ha-mizbechah)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts handler-hiqtir_ha_mizbecha HOLD  (17 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S20 — after STEP_Lv_4_20 — branch two calls branch one; the first pardon
    וְעָשָׂ֣ה לַפָּ֔ר כַּאֲשֶׁ֤ר עָשָׂה֙ לְפַ֣ר הַֽחַטָּ֔את כֵּ֖ן יַעֲשֶׂה לּ֑וֹ (ve-asa la-par ka-asher asa le-far ha-chatat ken yaase-lo)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts handler-nislach_lahem HOLD  (18 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S21 — after STEP_Lv_4_21 — 'the first bull' cited; the assembly's chatat
    וְהוֹצִ֣יא אֶת הַפָּ֗ר אֶל מִחוּץ֙ לַֽמַּחֲנֶ֔ה וְשָׂרַ֣ף אֹת֔וֹ כַּאֲשֶׁ֣ר שָׂרַ֔ף אֵ֖ת הַפָּ֣ר הָרִאשׁ֑וֹן (ve-hotzi et-ha-par el-mi-chutz la-machane ve-saraf oto ka-asher saraf et ha-par ha-rishon)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts handler-ha_rishon HOLD  (19 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S22 — after STEP_Lv_4_22 — branch three: the leader, opened by asher
    אֲשֶׁ֥ר נָשִׂ֖יא יֶֽחֱטָ֑א (asher nasi yecheta)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts case-nasi HOLD  (20 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S23 — after STEP_Lv_4_23 — made known: the male goat
    אֽוֹ הוֹדַ֤ע אֵלָיו֙ חַטָּאת֔וֹ אֲשֶׁ֥ר חָטָ֖א בָּ֑הּ (o-hoda elav chatato asher chata bah)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts handler-seir HOLD  (21 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S24 — after STEP_Lv_4_24 — slaughtered at the olah's place
    וְסָמַ֤ךְ יָדוֹ֙ עַל רֹ֣אשׁ הַשָּׂעִ֔יר וְשָׁחַ֣ט אֹת֔וֹ בִּמְק֛וֹם אֲשֶׁר יִשְׁחַ֥ט אֶת הָעֹלָ֖ה לִפְנֵ֣י יְהוָ֑ה (ve-samakh yado al-rosh ha-sair ve-shachat oto bi-meqom asher-yishchat et-ha-ola li-fene YHWH)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts handler-bi_meqom HOLD  (22 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S25 — after STEP_Lv_4_25 — the outer horns
    וְלָקַ֨ח הַכֹּהֵ֜ן מִדַּ֤ם הַֽחַטָּאת֙ בְּאֶצְבָּע֔וֹ וְנָתַ֕ן עַל קַרְנֹ֖ת מִזְבַּ֣ח הָעֹלָ֑ה (ve-laqach ha-kohen mi-dam ha-chatat be-etzbao ve-natan al-qarnot mizbach ha-ola)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts handler-qarnot HOLD  (23 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S26 — after STEP_Lv_4_26 — the leader forgiven, singular
    וְאֶת כָּל חֶלְבּוֹ֙ יַקְטִ֣יר הַמִּזְבֵּ֔חָה כְּחֵ֖לֶב זֶ֣בַח הַשְּׁלָמִ֑ים וְכִפֶּ֨ר עָלָ֧יו הַכֹּהֵ֛ן מֵחַטָּאת֖וֹ וְנִסְלַ֥ח לֽוֹ (ve-et-kal chelbo yaqtir ha-mizbechah ke-chelev zevach ha-shelamim ve-khiper alav ha-kohen me-chatato ve-nislach lo)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts handler-nislach_lo HOLD  (24 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S27 — after STEP_Lv_4_27 — branch four: one soul of the land
    וְאִם נֶ֧פֶשׁ אַחַ֛ת תֶּחֱטָ֥א בִשְׁגָגָ֖ה מֵעַ֣ם הָאָ֑רֶץ (ve-im-nefesh achat techeta vi-shegaga me-am ha-aretz)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts case-am_ha_aretz HOLD  (25 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S28 — after STEP_Lv_4_28 — the she-goat, unblemished, female
    א֚וֹ הוֹדַ֣ע אֵלָ֔יו חַטָּאת֖וֹ אֲשֶׁ֣ר חָטָ֑א וְהֵבִ֨יא קָרְבָּנ֜וֹ שְׂעִירַ֤ת עִזִּים֙ תְּמִימָ֣ה נְקֵבָ֔ה (o hoda elav chatato asher chata ve-hevi qarbano seirat izim temima neqeva)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts handler-temima HOLD  (26 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S29 — after STEP_Lv_4_29 — the animal called by its office
    וְסָמַךְ֙ אֶת יָד֔וֹ עַ֖ל רֹ֣אשׁ הַֽחַטָּ֑את וְשָׁחַט֙ אֶת הַ֣חַטָּ֔את בִּמְק֖וֹם הָעֹלָֽה (ve-samakh et-yado al rosh ha-chatat ve-shachat et-ha-chatat bi-meqom ha-ola)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts handler-shachat HOLD  (27 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S30 — after STEP_Lv_4_30 — her blood at horns and base
    וְלָקַ֨ח הַכֹּהֵ֤ן מִדָּמָהּ֙ בְּאֶצְבָּע֔וֹ וְנָתַ֕ן עַל קַרְנֹ֖ת מִזְבַּ֣ח הָעֹלָ֑ה וְאֶת כָּל דָּמָ֣הּ יִשְׁפֹּ֔ךְ אֶל יְס֖וֹד הַמִּזְבֵּֽחַ (ve-laqach ha-kohen mi-damah be-etzbao ve-natan al-qarnot mizbach ha-ola ve-et-kal damah yishpokh el-yesod ha-mizbecha)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts handler-damah HOLD  (28 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S31 — after STEP_Lv_4_31 — the one pleasing aroma; pardon three
    וְאֶת כָּל חֶלְבָּ֣הּ יָסִ֗יר כַּאֲשֶׁ֨ר הוּסַ֣ר חֵלֶב֮ מֵעַ֣ל זֶ֣בַח הַשְּׁלָמִים֒ וְהִקְטִ֤יר הַכֹּהֵן֙ הַמִּזְבֵּ֔חָה לְרֵ֥יחַ נִיחֹ֖חַ לַיהוָ֑ה וְכִפֶּ֥ר עָלָ֛יו הַכֹּהֵ֖ן וְנִסְלַ֥ח לֽוֹ (ve-et-kal chelbah yasir ka-asher husar chelev me-al zevach ha-shelamim ve-hiqtir ha-kohen ha-mizbechah le-recha nichocha la-YHWH ve-khiper alav ha-kohen ve-nislach lo)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts handler-nichocha HOLD  (29 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S32 — after STEP_Lv_4_32 — the lamb fork
    וְאִם כֶּ֛בֶשׂ יָבִ֥יא קָרְבָּנ֖וֹ לְחַטָּ֑את נְקֵבָ֥ה תְמִימָ֖ה יְבִיאֶֽנָּה (ve-im-keves yavi qarbano le-chatat neqeva temima yeviena)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts case-keves HOLD  (30 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S33 — after STEP_Lv_4_33 — the last leaning at the referenced place
    וְסָמַךְ֙ אֶת יָד֔וֹ עַ֖ל רֹ֣אשׁ הַֽחַטָּ֑את וְשָׁחַ֤ט אֹתָהּ֙ לְחַטָּ֔את בִּמְק֕וֹם אֲשֶׁ֥ר יִשְׁחַ֖ט אֶת הָעֹלָֽה (ve-samakh et-yado al rosh ha-chatat ve-shachat otah le-chatat bi-meqom asher yishchat et-ha-ola)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts handler-le_chatat HOLD  (31 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S34 — after STEP_Lv_4_34 — base-pouring five of five
    וְלָקַ֨ח הַכֹּהֵ֜ן מִדַּ֤ם הַֽחַטָּאת֙ בְּאֶצְבָּע֔וֹ וְנָתַ֕ן עַל קַרְנֹ֖ת מִזְבַּ֣ח הָעֹלָ֑ה וְאֶת כָּל דָּמָ֣הּ יִשְׁפֹּ֔ךְ אֶל יְס֖וֹד הַמִּזְבֵּֽחַ (ve-laqach ha-kohen mi-dam ha-chatat be-etzbao ve-natan al-qarnot mizbach ha-ola ve-et-kal damah yishpokh el-yesod ha-mizbecha)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts handler-yesod HOLD  (32 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S35 — after STEP_Lv_4_35 — the wall: four pardons, zero statutes, one open card
    וְאֶת כָּל חֶלְבָּ֣ה יָסִ֗יר כַּאֲשֶׁ֨ר יוּסַ֥ר חֵֽלֶב הַכֶּשֶׂב֮ מִזֶּ֣בַח הַשְּׁלָמִים֒ וְהִקְטִ֨יר הַכֹּהֵ֤ן אֹתָם֙ הַמִּזְבֵּ֔חָה עַ֖ל אִשֵּׁ֣י יְהוָ֑ה וְכִפֶּ֨ר עָלָ֧יו הַכֹּהֵ֛ן עַל חַטָּאת֥וֹ אֲשֶׁר חָטָ֖א וְנִסְלַ֥ח לֽוֹ (ve-et-kal chelbah yasir ka-asher yusar chelev-ha-kesev mi-zevach ha-shelamim ve-hiqtir ha-kohen otam ha-mizbechah al ishe YHWH ve-khiper alav ha-kohen al-chatato asher-chata ve-nislach lo)
    PASS  LET(daber_el_bene_yisrael(moshe)) pushed and OPEN  (queue=['daber_el_bene_yisrael(moshe)'])
    PASS  Facts handler-ishe HOLD  (33 facts)
    PASS  STATUTES 0 standing  (statutes=0)
    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/lev_04_inadvertence_case_tree.py — replays the six registers and asserts the interpreter's machine truth.

#!/usr/bin/env python3
# =============================================================================
# lev_04_inadvertence_case_tree — 4:1-35
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/lev_04_inadvertence_case_tree.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.
# =============================================================================
"""The inadvertence tree: four ranked cases, zero statutes (4:1-35) - the casuistic probe"""
from machine import Machine

m = Machine("lev_04_inadvertence_case_tree")

# -------------------------- Lev.4.1 · THE_FRAME ----------------------------
# וַיְדַבֵּר יְהוָה אֶל־מֹשֶׁה לֵּאמֹר
# "[EN-AID] And the LORD spoke to Moses, saying:"
m.step("Lev.4.1")
# ‹וַיְדַבֵּר יְהוָה אֶל־מֹשֶׁה לֵּאמֹר› (“and-speak YHWH to Moses to-say”)
# — event: speak — agent the-LORD
m.event("speak", agent="YHWH")
# ‹אֶל־מֹשֶׁה› (“to Moses”) — reads without prior install (flag, not fix):
# Moses
m.presupposed("moshe")

# -------------------------- Lev.4.2 · THE_RELAY_AND_THE_INTAKE -------------
# דַּבֵּר אֶל־בְּנֵי יִשְׂרָאֵל לֵאמֹר נֶפֶשׁ כִּי־תֶחֱטָא בִשְׁגָגָה מִכֹּל
# מִצְוֺת יְהוָה אֲשֶׁר לֹא תֵעָשֶׂינָה וְעָשָׂה מֵאַחַת מֵהֵנָּה
# "[EN-AID] Speak to the sons of Israel, saying: a soul, when it sins in
# inadvertence from any of the commandments of the LORD which shall not be
# done, and does from one of them -"
m.step("Lev.4.2")
# ‹דַּבֵּר אֶל־בְּנֵי יִשְׂרָאֵל לֵאמֹר› (“speak to son Israel to-say”) —
# the-LORD speaks a demand — LET: speak-to-son-Israel(Moses)
m.declare("YHWH", "LET",
          "daber_el_bene_yisrael(moshe)")
# ‹נֶפֶשׁ כִּי־תֶחֱטָא בִשְׁגָגָה מִכֹּל מִצְוֺת יְהוָה אֲשֶׁר לֹא
# תֵעָשֶׂינָה וְעָשָׂה מֵאַחַת מֵהֵנָּה› (“living-being that sin in-mistake
# from-all commandment YHWH which not make and-make from-one from-
# themselves”) — case living-being, sin-vi-shegaga-from-all-commandment
# routes to and-make-from-one-from-themselves
m.case("nefesh, techeta_vi_shegaga_mi_kol_mitzvot", "ve_asa_me_achat_me_hena")

# -------------------------- Lev.4.3 · BRANCH_ONE_THE_ANOINTED --------------
# אִם הַכֹּהֵן הַמָּשִׁיחַ יֶחֱטָא לְאַשְׁמַת הָעָם וְהִקְרִיב עַל חַטָּאתוֹ
# אֲשֶׁר חָטָא פַּר בֶּן־בָּקָר תָּמִים לַיהוָה לְחַטָּאת
# "[EN-AID] If the anointed priest sins to the guilt of the people, he shall
# offer for his sin which he has sinned a bull, a son of the herd,
# unblemished, to the LORD for a sin-offering."
m.step("Lev.4.3")
# ‹אִם הַכֹּהֵן הַמָּשִׁיחַ יֶחֱטָא לְאַשְׁמַת הָעָם› (“if the-priest the-
# anointed sin to-guiltiness the-people”) — case the-priest-the-mashiach,
# if-sin-to-guiltiness-the-people routes to bullock-son-herd-entire-to-sin-
# offering
m.case("ha_kohen_ha_mashiach, im_yecheta_le_ashmat_ha_am", "par_ben_baqar_tamim_le_chatat")

# -------------------------- Lev.4.4 · TO_THE_DOOR --------------------------
# וְהֵבִיא אֶת־הַפָּר אֶל־פֶּתַח אֹהֶל מוֹעֵד לִפְנֵי יְהוָה וְסָמַךְ
# אֶת־יָדוֹ עַל־רֹאשׁ הַפָּר וְשָׁחַט אֶת־הַפָּר לִפְנֵי יְהוָה
# "[EN-AID] And he shall bring the bull to the entrance of the tent of
# meeting before the LORD, and lean his hand on the bull's head, and
# slaughter the bull before the LORD."
m.step("Lev.4.4")
# ‹וְהֵבִיא אֶת־הַפָּר אֶל־פֶּתַח אֹהֶל מוֹעֵד לִפְנֵי יְהוָה› (“and-
# come/bring obj-marker the-bullock to opening tent seasons to-face YHWH”) —
# standing handler — if bullock-the-sin-offering then come/bring-to-opening-
# tent-seasons ∧ lay-his-hand-over-head ∧ slaughter-to-me-fene-the-LORD
m.handler("par_ha_chatat",
          "hevi_el_petach_ohel_moed ∧ samakh_yado_al_rosh ∧ shachat_li_fene_YHWH")

# -------------------------- Lev.4.5 · BLOOD_ENTERS -------------------------
# וְלָקַח הַכֹּהֵן הַמָּשִׁיחַ מִדַּם הַפָּר וְהֵבִיא אֹתוֹ אֶל־אֹהֶל מוֹעֵד
# "[EN-AID] And the anointed priest shall take of the bull's blood and bring
# it into the tent of meeting."
m.step("Lev.4.5")
# ‹וְלָקַח הַכֹּהֵן הַמָּשִׁיחַ מִדַּם הַפָּר וְהֵבִיא אֹתוֹ אֶל־אֹהֶל
# מוֹעֵד› (“and-take the-priest the-anointed from-blood the-bullock and-
# come/bring obj-marker-him/its to tent seasons”) — standing handler — if
# blood-the-bullock then take-the-mashiach ∧ come/bring-it-to-tent-seasons
m.handler("dam_ha_par",
          "laqach_ha_mashiach ∧ hevi_oto_el_ohel_moed")

# -------------------------- Lev.4.6 · SEVEN_BEFORE_THE_VEIL ----------------
# וְטָבַל הַכֹּהֵן אֶת־אֶצְבָּעוֹ בַּדָּם וְהִזָּה מִן־הַדָּם שֶׁבַע
# פְּעָמִים לִפְנֵי יְהוָה אֶת־פְּנֵי פָּרֹכֶת הַקֹּדֶשׁ
# "[EN-AID] And the priest shall dip his finger in the blood and sprinkle of
# the blood seven times before the LORD, before the veil of the sanctuary."
m.step("Lev.4.6")
# ‹וְטָבַל הַכֹּהֵן אֶת־אֶצְבָּעוֹ בַּדָּם וְהִזָּה מִן־הַדָּם שֶׁבַע
# פְּעָמִים לִפְנֵי יְהוָה אֶת־פְּנֵי פָּרֹכֶת הַקֹּדֶשׁ› (“and-dip the-
# priest obj-marker something-to-sieze-with-him/its in-blood and-spirt from
# the-blood seven stroke to-face YHWH with face separatrix the-holiness”) —
# standing handler — if blood then dip-etzbao ∧ spirt-seven-stroke-obj-
# marker-face-separatrix-the-holiness
m.handler("ba_dam",
          "taval_etzbao ∧ hiza_sheva_peamim_et_pene_parokhet_ha_qodesh")

# -------------------------- Lev.4.7 · HORNS_AND_BASE -----------------------
# וְנָתַן הַכֹּהֵן מִן־הַדָּם עַל־קַרְנוֹת מִזְבַּח קְטֹרֶת הַסַּמִּים
# לִפְנֵי יְהוָה אֲשֶׁר בְּאֹהֶל מוֹעֵד וְאֵת כָּל־דַּם הַפָּר יִשְׁפֹּךְ
# אֶל־יְסוֹד מִזְבַּח הָעֹלָה אֲשֶׁר־פֶּתַח אֹהֶל מוֹעֵד
# "[EN-AID] And the priest shall put of the blood on the horns of the altar
# of fragrant incense before the LORD in the tent of meeting; and all the
# bull's blood he shall pour out at the base of the altar of burnt-offering
# which is at the entrance of the tent of meeting."
m.step("Lev.4.7")
# ‹וְנָתַן הַכֹּהֵן מִן־הַדָּם עַל־קַרְנוֹת מִזְבַּח קְטֹרֶת הַסַּמִּים
# לִפְנֵי יְהוָה אֲשֶׁר בְּאֹהֶל מוֹעֵד› (“and-set the-priest from the-blood
# over horn altar fumigation the-aroma to-face YHWH which in-tent seasons”)
# — standing handler — if from-the-blood then set-over-horn-altar-the-
# fumigation ∧ spill-forth-to-foundation-altar-the-burnt-offering
m.handler("min_ha_dam",
          "natan_al_qarnot_mizbach_ha_qetoret ∧ yishpokh_el_yesod_mizbach_ha_ola")

# -------------------------- Lev.4.8 · THE_FAT_LIFTED -----------------------
# וְאֶת־כָּל־חֵלֶב פַּר הַחַטָּאת יָרִים מִמֶּנּוּ אֶת־הַחֵלֶב הַמְכַסֶּה
# עַל־הַקֶּרֶב וְאֵת כָּל־הַחֵלֶב אֲשֶׁר עַל־הַקֶּרֶב
# "[EN-AID] And all the fat of the sin-offering bull he shall lift from it:
# the fat that covers the entrails, and all the fat that is on the
# entrails,"
m.step("Lev.4.8")
# ‹וְאֶת־כָּל־חֵלֶב פַּר הַחַטָּאת יָרִים מִמֶּנּוּ› (“and-obj-marker all
# fat bullock the-sin-offering rise-high from-us/our”) — standing handler —
# if fat-bullock-the-sin-offering then rise-high-obj-marker-the-fat-the-
# plump
m.handler("chelev_par_ha_chatat",
          "yarim_et_ha_chelev_ha_mekhase")

# -------------------------- Lev.4.9 · KIDNEYS_AND_LOBE ---------------------
# וְאֵת שְׁתֵּי הַכְּלָיֹת וְאֶת־הַחֵלֶב אֲשֶׁר עֲלֵיהֶן אֲשֶׁר
# עַל־הַכְּסָלִים וְאֶת־הַיֹּתֶרֶת עַל־הַכָּבֵד עַל־הַכְּלָיוֹת יְסִירֶנָּה
# "[EN-AID] and the two kidneys and the fat that is on them, which is on the
# flanks, and the lobe on the liver - with the kidneys he shall remove it -"
m.step("Lev.4.9")
# ‹וְאֵת שְׁתֵּי הַכְּלָיֹת וְאֶת־הַחֵלֶב אֲשֶׁר עֲלֵיהֶן אֲשֶׁר
# עַל־הַכְּסָלִים וְאֶת־הַיֹּתֶרֶת עַל־הַכָּבֵד עַל־הַכְּלָיוֹת יְסִירֶנָּה›
# (“and-obj-marker two the-kidney and-obj-marker the-fat which over-
# them/their which over the-fatness and-obj-marker the-lobe over the-liver
# over the-kidney turn-aside-her/its”) — standing handler — if two-the-
# kidney-and-the-lobe-over-the-liver then yesirena
m.handler("shete_ha_kelayot_ve_ha_yoteret_al_ha_kaved",
          "yesirena")

# -------------------------- Lev.4.10 · THE_FIRST_SUBROUTINE ----------------
# כַּאֲשֶׁר יוּרַם מִשּׁוֹר זֶבַח הַשְּׁלָמִים וְהִקְטִירָם הַכֹּהֵן עַל
# מִזְבַּח הָעֹלָה
# "[EN-AID] as it is lifted from the ox of the sacrifice of well-being - and
# the priest shall burn them on the altar of burnt-offering."
m.step("Lev.4.10")
# ‹כַּאֲשֶׁר יוּרַם מִשּׁוֹר זֶבַח הַשְּׁלָמִים וְהִקְטִירָם הַכֹּהֵן עַל
# מִזְבַּח הָעֹלָה› (“like-as/which rise-high from-bullock sacrifice the-
# requital and-smoke-them/their the-priest over altar the-burnt-offering”) —
# standing handler — if like-which-rise-high-from-bullock-sacrifice-the-
# requital then hiqtiram-over-altar-the-burnt-offering
m.handler("ka_asher_yuram_mi_shor_zevach_ha_shelamim",
          "hiqtiram_al_mizbach_ha_ola")

# -------------------------- Lev.4.11 · THE_CARCASS_LIST --------------------
# וְאֶת־עוֹר הַפָּר וְאֶת־כָּל־בְּשָׂרוֹ עַל־רֹאשׁוֹ וְעַל־כְּרָעָיו
# וְקִרְבּוֹ וּפִרְשׁוֹ
# "[EN-AID] And the bull's hide and all its flesh, with its head and with
# its legs, and its entrails and its dung -"
m.step("Lev.4.11")
# ‹וְאֶת־עוֹר הַפָּר וְאֶת־כָּל־בְּשָׂרוֹ עַל־רֹאשׁוֹ וְעַל־כְּרָעָיו
# וְקִרְבּוֹ וּפִרְשׁוֹ› (“and-obj-marker skin the-bullock and-obj-marker
# all flesh-him/its over head-him/its and-over leg-of-men-him/its and-
# nearest-part-him/its and-excrement-him/its”) — note: zero events in this
# verse
m.note_zero_events()

# -------------------------- Lev.4.12 · OUTSIDE_THE_CAMP --------------------
# וְהוֹצִיא אֶת־כָּל־הַפָּר אֶל־מִחוּץ לַמַּחֲנֶה אֶל־מָקוֹם טָהוֹר
# אֶל־שֶׁפֶךְ הַדֶּשֶׁן וְשָׂרַף אֹתוֹ עַל־עֵצִים בָּאֵשׁ עַל־שֶׁפֶךְ
# הַדֶּשֶׁן יִשָּׂרֵף
# "[EN-AID] he shall carry out the whole bull outside the camp to a clean
# place, to the pouring-place of the ashes, and burn it on wood in fire; on
# the pouring-place of the ashes it shall be burned."
m.step("Lev.4.12")
# ‹וְהוֹצִיא אֶת־כָּל־הַפָּר אֶל־מִחוּץ לַמַּחֲנֶה אֶל־מָקוֹם טָהוֹר
# אֶל־שֶׁפֶךְ הַדֶּשֶׁן וְשָׂרַף אֹתוֹ עַל־עֵצִים בָּאֵשׁ עַל־שֶׁפֶךְ
# הַדֶּשֶׁן יִשָּׂרֵף› (“and-bring-forth obj-marker all the-bullock to from-
# outside to-camp to place pure to emptying-place the-fat and-be-on-fire
# obj-marker-him/its over tree in-fire over emptying-place the-fat be-on-
# fire”) — standing handler — if all-the-bullock then bring-forth-to-from-
# outside-to-camp-to-place-pure ∧ be-on-fire-over-emptying-place-the-fat
m.handler("kol_ha_par",
          "hotzi_el_mi_chutz_la_machane_el_maqom_tahor ∧ saraf_al_shefekh_ha_deshen")

# -------------------------- Lev.4.13 · BRANCH_TWO_THE_CONGREGATION ---------
# וְאִם כָּל־עֲדַת יִשְׂרָאֵל יִשְׁגּוּ וְנֶעְלַם דָּבָר מֵעֵינֵי הַקָּהָל
# וְעָשׂוּ אַחַת מִכָּל־מִצְוֺת יְהוָה אֲשֶׁר לֹא־תֵעָשֶׂינָה וְאָשֵׁמוּ
# "[EN-AID] And if the whole congregation of Israel errs, and a thing is
# hidden from the eyes of the assembly, and they do one of all the
# commandments of the LORD which shall not be done, and become guilty -"
m.step("Lev.4.13")
# ‹וְאִם כָּל־עֲדַת יִשְׂרָאֵל יִשְׁגּוּ וְנֶעְלַם דָּבָר מֵעֵינֵי הַקָּהָל›
# (“and-if all congregation Israel stray and-veil-from-sight word/thing
# from-eye the-assemblage”) — case all-congregation-Israel, stray-and-veil-
# from-sight-word/thing routes to and-be-guilty
m.case("kal_adat_yisrael, yishgu_ve_nelam_davar", "ve_ashemu")

# -------------------------- Lev.4.14 · THE_SIN_BECOMES_KNOWN ---------------
# וְנוֹדְעָה הַחַטָּאת אֲשֶׁר חָטְאוּ עָלֶיהָ וְהִקְרִיבוּ הַקָּהָל פַּר
# בֶּן־בָּקָר לְחַטָּאת וְהֵבִיאוּ אֹתוֹ לִפְנֵי אֹהֶל מוֹעֵד
# "[EN-AID] and the sin which they sinned against it becomes known - then
# the assembly shall offer a bull, a son of the herd, for a sin-offering,
# and bring it before the tent of meeting."
m.step("Lev.4.14")
# ‹וְנוֹדְעָה הַחַטָּאת אֲשֶׁר חָטְאוּ עָלֶיהָ וְהִקְרִיבוּ הַקָּהָל פַּר
# בֶּן־בָּקָר לְחַטָּאת וְהֵבִיאוּ אֹתוֹ לִפְנֵי אֹהֶל מוֹעֵד› (“and-know
# the-sin-offering which sin over-her/its and-bring-near the-assemblage
# bullock son herd to-sin-offering and-come/bring obj-marker-him/its to-face
# tent seasons”) — standing handler — if and-know-the-sin-offering then
# bring-near-the-assemblage-bullock ∧ come/bring-it-to-me-fene-tent-seasons
m.handler("ve_noda_ha_chatat",
          "hiqrivu_ha_qahal_par ∧ heviu_oto_li_fene_ohel_moed")

# -------------------------- Lev.4.15 · THE_ELDERS_HANDS --------------------
# וְסָמְכוּ זִקְנֵי הָעֵדָה אֶת־יְדֵיהֶם עַל־רֹאשׁ הַפָּר לִפְנֵי יְהוָה
# וְשָׁחַט אֶת־הַפָּר לִפְנֵי יְהוָה
# "[EN-AID] And the elders of the congregation shall lean their hands on the
# bull's head before the LORD, and one shall slaughter the bull before the
# LORD."
m.step("Lev.4.15")
# ‹וְסָמְכוּ זִקְנֵי הָעֵדָה אֶת־יְדֵיהֶם עַל־רֹאשׁ הַפָּר לִפְנֵי יְהוָה›
# (“and-lay elders-of the-congregation obj-marker hand-them/their over head
# the-bullock to-face YHWH”) — standing handler — if bullock-the-assemblage
# then lay-elders-of-the-congregation-yedehem ∧ slaughter-to-me-fene-the-
# LORD
m.handler("par_ha_qahal",
          "samkhu_ziqne_ha_eda_yedehem ∧ shachat_li_fene_YHWH")

# -------------------------- Lev.4.16 · THE_ANOINTED_CARRIES_AGAIN ----------
# וְהֵבִיא הַכֹּהֵן הַמָּשִׁיחַ מִדַּם הַפָּר אֶל־אֹהֶל מוֹעֵד
# "[EN-AID] And the anointed priest shall bring of the bull's blood into the
# tent of meeting."
m.step("Lev.4.16")
# ‹וְהֵבִיא הַכֹּהֵן הַמָּשִׁיחַ מִדַּם הַפָּר אֶל־אֹהֶל מוֹעֵד› (“and-
# come/bring the-priest the-anointed from-blood the-bullock to tent
# seasons”) — standing handler — if blood-the-bullock then come/bring-the-
# mashiach-to-tent-seasons
m.handler("dam_ha_par",
          "hevi_ha_mashiach_el_ohel_moed")

# -------------------------- Lev.4.17 · SEVEN_AGAIN -------------------------
# וְטָבַל הַכֹּהֵן אֶצְבָּעוֹ מִן־הַדָּם וְהִזָּה שֶׁבַע פְּעָמִים לִפְנֵי
# יְהוָה אֵת פְּנֵי הַפָּרֹכֶת
# "[EN-AID] And the priest shall dip his finger from the blood and sprinkle
# seven times before the LORD, before the veil."
m.step("Lev.4.17")
# ‹וְטָבַל הַכֹּהֵן אֶצְבָּעוֹ מִן־הַדָּם וְהִזָּה שֶׁבַע פְּעָמִים לִפְנֵי
# יְהוָה אֵת פְּנֵי הַפָּרֹכֶת› (“and-dip the-priest something-to-sieze-
# with-him/its from the-blood and-spirt seven stroke to-face YHWH with face
# the-separatrix”) — standing handler — if from-the-blood then dip-etzbao ∧
# spirt-seven-stroke-obj-marker-face-the-separatrix
m.handler("min_ha_dam",
          "taval_etzbao ∧ hiza_sheva_peamim_et_pene_ha_parokhet")

# -------------------------- Lev.4.18 · HORNS_AND_BASE_AGAIN ----------------
# וּמִן־הַדָּם יִתֵּן עַל־קַרְנֹת הַמִּזְבֵּחַ אֲשֶׁר לִפְנֵי יְהוָה אֲשֶׁר
# בְּאֹהֶל מוֹעֵד וְאֵת כָּל־הַדָּם יִשְׁפֹּךְ אֶל־יְסוֹד מִזְבַּח הָעֹלָה
# אֲשֶׁר־פֶּתַח אֹהֶל מוֹעֵד
# "[EN-AID] And of the blood he shall put on the horns of the altar which is
# before the LORD, which is in the tent of meeting; and all the blood he
# shall pour out at the base of the altar of burnt-offering which is at the
# entrance of the tent of meeting."
m.step("Lev.4.18")
# ‹וּמִן־הַדָּם יִתֵּן עַל־קַרְנֹת הַמִּזְבֵּחַ אֲשֶׁר לִפְנֵי יְהוָה אֲשֶׁר
# בְּאֹהֶל מוֹעֵד› (“and-from the-blood set over horn the-altar which to-
# face YHWH which in-tent seasons”) — standing handler — if and-from-the-
# blood then set-over-horn-the-altar ∧ spill-forth-to-foundation-altar-the-
# burnt-offering
m.handler("u_min_ha_dam",
          "yiten_al_qarnot_ha_mizbecha ∧ yishpokh_el_yesod_mizbach_ha_ola")

# -------------------------- Lev.4.19 · ALL_ITS_FAT -------------------------
# וְאֵת כָּל־חֶלְבּוֹ יָרִים מִמֶּנּוּ וְהִקְטִיר הַמִּזְבֵּחָה
# "[EN-AID] And all its fat he shall lift from it and burn on the altar."
m.step("Lev.4.19")
# ‹וְאֵת כָּל־חֶלְבּוֹ יָרִים מִמֶּנּוּ וְהִקְטִיר הַמִּזְבֵּחָה› (“and-obj-
# marker all fat-him/its rise-high from-us/our and-smoke the-altar-ward”) —
# standing handler — if all-chelbo then rise-high-from-it ∧ smoke-the-altar
m.handler("kol_chelbo",
          "yarim_mimenu ∧ hiqtir_ha_mizbecha")

# -------------------------- Lev.4.20 · AS_THE_FIRST_AND_FORGIVEN -----------
# וְעָשָׂה לַפָּר כַּאֲשֶׁר עָשָׂה לְפַר הַחַטָּאת כֵּן יַעֲשֶׂה־לּוֹ
# וְכִפֶּר עֲלֵהֶם הַכֹּהֵן וְנִסְלַח לָהֶם
# "[EN-AID] And he shall do to the bull as he did to the sin-offering bull -
# so shall he do to it; and the priest shall atone for them, and it shall be
# forgiven them."
m.step("Lev.4.20")
# ‹וְעָשָׂה לַפָּר כַּאֲשֶׁר עָשָׂה לְפַר הַחַטָּאת כֵּן יַעֲשֶׂה־לּוֹ
# וְכִפֶּר עֲלֵהֶם הַכֹּהֵן וְנִסְלַח לָהֶם› (“and-make to-bullock like-
# as/which make to-bullock the-sin-offering so make to-him/its and-atone
# over-them/their the-priest and-forgive to-them/their”) — standing handler
# — if like-which-make-to-bullock-the-sin-offering then so-make-not ∧ kiper-
# the-priest ∧ forgive-to-them
m.handler("ka_asher_asa_le_far_ha_chatat",
          "ken_yaase_lo ∧ kiper_ha_kohen ∧ nislach_lahem")

# -------------------------- Lev.4.21 · THE_FIRST_BULL_CITED ----------------
# וְהוֹצִיא אֶת־הַפָּר אֶל־מִחוּץ לַמַּחֲנֶה וְשָׂרַף אֹתוֹ כַּאֲשֶׁר שָׂרַף
# אֵת הַפָּר הָרִאשׁוֹן חַטַּאת הַקָּהָל הוּא
# "[EN-AID] And he shall carry the bull outside the camp and burn it as he
# burned the first bull: it is the sin-offering of the assembly."
m.step("Lev.4.21")
# ‹וְהוֹצִיא אֶת־הַפָּר אֶל־מִחוּץ לַמַּחֲנֶה וְשָׂרַף אֹתוֹ כַּאֲשֶׁר
# שָׂרַף אֵת הַפָּר הָרִאשׁוֹן חַטַּאת הַקָּהָל הוּא› (“and-bring-forth obj-
# marker the-bullock to from-outside to-camp and-be-on-fire obj-marker-
# him/its like-as/which be-on-fire obj-marker the-bullock the-first sin-
# offering the-assemblage he/it”) — standing handler — if like-which-be-on-
# fire-obj-marker-the-bullock-the-first then bring-forth-and-be-on-fire-
# from-outside-to-camp
m.handler("ka_asher_saraf_et_ha_par_ha_rishon",
          "hotzi_ve_saraf_mi_chutz_la_machane")

# -------------------------- Lev.4.22 · BRANCH_THREE_THE_LEADER -------------
# אֲשֶׁר נָשִׂיא יֶחֱטָא וְעָשָׂה אַחַת מִכָּל־מִצְוֺת יְהוָה אֱלֹהָיו
# אֲשֶׁר לֹא־תֵעָשֶׂינָה בִּשְׁגָגָה וְאָשֵׁם
# "[EN-AID] When a leader sins, and does one of all the commandments of the
# LORD his God which shall not be done, in inadvertence, and becomes guilty
# -"
m.step("Lev.4.22")
# ‹אֲשֶׁר נָשִׂיא יֶחֱטָא› (“which prince sin”) — case prince, which-sin-bi-
# shegaga routes to and-be-guilty
m.case("nasi, asher_yecheta_bi_shegaga", "ve_ashem")

# -------------------------- Lev.4.23 · THE_KNOWLEDGE_TRIGGER ---------------
# אוֹ־הוֹדַע אֵלָיו חַטָּאתוֹ אֲשֶׁר חָטָא בָּהּ וְהֵבִיא אֶת־קָרְבָּנוֹ
# שְׂעִיר עִזִּים זָכָר תָּמִים
# "[EN-AID] or his sin which he sinned is made known to him - then he shall
# bring his offering: a goat of the goats, a male, unblemished."
m.step("Lev.4.23")
# ‹אוֹ־הוֹדַע אֵלָיו חַטָּאתוֹ אֲשֶׁר חָטָא בָּהּ› (“or know to-him/its sin-
# offering-him/its which sin in-her/its”) — standing handler — if or-know-
# to-him-chatato then come/bring-qarbano-shaggy-she-goat-male-entire
m.handler("o_hoda_elav_chatato",
          "hevi_qarbano_seir_izim_zakhar_tamim")

# -------------------------- Lev.4.24 · AT_THE_OLAH_PLACE -------------------
# וְסָמַךְ יָדוֹ עַל־רֹאשׁ הַשָּׂעִיר וְשָׁחַט אֹתוֹ בִּמְקוֹם
# אֲשֶׁר־יִשְׁחַט אֶת־הָעֹלָה לִפְנֵי יְהוָה חַטָּאת הוּא
# "[EN-AID] And he shall lean his hand on the goat's head and slaughter it
# in the place where one slaughters the burnt-offering before the LORD: it
# is a sin-offering."
m.step("Lev.4.24")
# ‹וְסָמַךְ יָדוֹ עַל־רֹאשׁ הַשָּׂעִיר וְשָׁחַט אֹתוֹ בִּמְקוֹם
# אֲשֶׁר־יִשְׁחַט אֶת־הָעֹלָה לִפְנֵי יְהוָה› (“and-lay hand-him/its over
# head the-shaggy and-slaughter obj-marker-him/its in-place which slaughter
# obj-marker the-burnt-offering to-face YHWH”) — standing handler — if
# shaggy-the-sin-offering then lay-his-hand ∧ slaughter-bi-meqom-which-
# slaughter-obj-marker-the-burnt-offering
m.handler("seir_ha_chatat",
          "samakh_yado ∧ shachat_bi_meqom_asher_yishchat_et_ha_ola")

# -------------------------- Lev.4.25 · OUTER_HORNS -------------------------
# וְלָקַח הַכֹּהֵן מִדַּם הַחַטָּאת בְּאֶצְבָּעוֹ וְנָתַן עַל־קַרְנֹת
# מִזְבַּח הָעֹלָה וְאֶת־דָּמוֹ יִשְׁפֹּךְ אֶל־יְסוֹד מִזְבַּח הָעֹלָה
# "[EN-AID] And the priest shall take of the sin-offering's blood with his
# finger and put it on the horns of the altar of burnt-offering; and its
# blood he shall pour out at the base of the altar of burnt-offering."
m.step("Lev.4.25")
# ‹וְלָקַח הַכֹּהֵן מִדַּם הַחַטָּאת בְּאֶצְבָּעוֹ וְנָתַן עַל־קַרְנֹת
# מִזְבַּח הָעֹלָה וְאֶת־דָּמוֹ יִשְׁפֹּךְ אֶל־יְסוֹד מִזְבַּח הָעֹלָה›
# (“and-take the-priest from-blood the-sin-offering in-something-to-sieze-
# with-him/its and-set over horn altar the-burnt-offering and-obj-marker
# blood-him/its spill-forth to foundation altar the-burnt-offering”) —
# standing handler — if from-blood-the-sin-offering then set-in-etzbao-over-
# horn-altar-the-burnt-offering ∧ spill-forth-to-foundation
m.handler("mi_dam_ha_chatat",
          "natan_be_etzbao_al_qarnot_mizbach_ha_ola ∧ yishpokh_el_yesod")

# -------------------------- Lev.4.26 · LEADER_FORGIVEN ---------------------
# וְאֶת־כָּל־חֶלְבּוֹ יַקְטִיר הַמִּזְבֵּחָה כְּחֵלֶב זֶבַח הַשְּׁלָמִים
# וְכִפֶּר עָלָיו הַכֹּהֵן מֵחַטָּאתוֹ וְנִסְלַח לוֹ
# "[EN-AID] And all its fat he shall burn on the altar like the fat of the
# sacrifice of well-being; and the priest shall atone for him from his sin,
# and he shall be forgiven."
m.step("Lev.4.26")
# ‹וְאֶת־כָּל־חֶלְבּוֹ יַקְטִיר הַמִּזְבֵּחָה כְּחֵלֶב זֶבַח הַשְּׁלָמִים
# וְכִפֶּר עָלָיו הַכֹּהֵן מֵחַטָּאתוֹ וְנִסְלַח לוֹ› (“and-obj-marker all
# fat-him/its smoke the-altar-ward like-fat sacrifice the-requital and-atone
# over-him/its the-priest from-sin-offering-him/its and-forgive to-him/its”)
# — standing handler — if all-chelbo-like-fat-sacrifice-the-requital then
# smoke ∧ kiper ∧ forgive-not
m.handler("kol_chelbo_ke_chelev_zevach_ha_shelamim",
          "yaqtir ∧ kiper ∧ nislach_lo")

# -------------------------- Lev.4.27 · BRANCH_FOUR_THE_COMMONER ------------
# וְאִם־נֶפֶשׁ אַחַת תֶּחֱטָא בִשְׁגָגָה מֵעַם הָאָרֶץ בַּעֲשֹׂתָהּ אַחַת
# מִמִּצְוֺת יְהוָה אֲשֶׁר לֹא־תֵעָשֶׂינָה וְאָשֵׁם
# "[EN-AID] And if one soul of the people of the land sins in inadvertence,
# by doing one of the commandments of the LORD which shall not be done, and
# becomes guilty -"
m.step("Lev.4.27")
# ‹וְאִם־נֶפֶשׁ אַחַת תֶּחֱטָא בִשְׁגָגָה מֵעַם הָאָרֶץ› (“and-if living-
# being one sin in-mistake from-people the-earth”) — case living-being-from-
# people-the-earth, sin-vi-shegaga routes to and-be-guilty
m.case("nefesh_me_am_ha_aretz, techeta_vi_shegaga", "ve_ashem")

# -------------------------- Lev.4.28 · THE_SHE_GOAT ------------------------
# אוֹ הוֹדַע אֵלָיו חַטָּאתוֹ אֲשֶׁר חָטָא וְהֵבִיא קָרְבָּנוֹ שְׂעִירַת
# עִזִּים תְּמִימָה נְקֵבָה עַל־חַטָּאתוֹ אֲשֶׁר חָטָא
# "[EN-AID] or his sin which he sinned is made known to him - then he shall
# bring his offering: a she-goat of the goats, unblemished, a female, for
# his sin which he sinned."
m.step("Lev.4.28")
# ‹אוֹ הוֹדַע אֵלָיו חַטָּאתוֹ אֲשֶׁר חָטָא וְהֵבִיא קָרְבָּנוֹ שְׂעִירַת
# עִזִּים תְּמִימָה נְקֵבָה› (“or know to-him/its sin-offering-him/its which
# sin and-come/bring offering-him/its she-goat she-goat entire female”) —
# standing handler — if or-know-to-him-chatato then come/bring-qarbano-she-
# goat-she-goat-entire-female
m.handler("o_hoda_elav_chatato",
          "hevi_qarbano_seirat_izim_temima_neqeva")

# -------------------------- Lev.4.29 · LEAN_AND_SLAUGHTER ------------------
# וְסָמַךְ אֶת־יָדוֹ עַל רֹאשׁ הַחַטָּאת וְשָׁחַט אֶת־הַחַטָּאת בִּמְקוֹם
# הָעֹלָה
# "[EN-AID] And he shall lean his hand on the sin-offering's head and
# slaughter the sin-offering in the place of the burnt-offering."
m.step("Lev.4.29")
# ‹וְסָמַךְ אֶת־יָדוֹ עַל רֹאשׁ הַחַטָּאת וְשָׁחַט אֶת־הַחַטָּאת בִּמְקוֹם
# הָעֹלָה› (“and-lay obj-marker hand-him/its over head the-sin-offering and-
# slaughter obj-marker the-sin-offering in-place the-burnt-offering”) —
# standing handler — if the-sin-offering then lay-his-hand ∧ slaughter-bi-
# meqom-the-burnt-offering
m.handler("ha_chatat",
          "samakh_yado ∧ shachat_bi_meqom_ha_ola")

# -------------------------- Lev.4.30 · FINGER_HORNS_BASE -------------------
# וְלָקַח הַכֹּהֵן מִדָּמָהּ בְּאֶצְבָּעוֹ וְנָתַן עַל־קַרְנֹת מִזְבַּח
# הָעֹלָה וְאֶת־כָּל־דָּמָהּ יִשְׁפֹּךְ אֶל־יְסוֹד הַמִּזְבֵּחַ
# "[EN-AID] And the priest shall take of its blood with his finger and put
# it on the horns of the altar of burnt-offering; and all its blood he shall
# pour out at the base of the altar."
m.step("Lev.4.30")
# ‹וְלָקַח הַכֹּהֵן מִדָּמָהּ בְּאֶצְבָּעוֹ וְנָתַן עַל־קַרְנֹת מִזְבַּח
# הָעֹלָה וְאֶת־כָּל־דָּמָהּ יִשְׁפֹּךְ אֶל־יְסוֹד הַמִּזְבֵּחַ› (“and-take
# the-priest from-blood-her/its in-something-to-sieze-with-him/its and-set
# over horn altar the-burnt-offering and-obj-marker all blood-her/its spill-
# forth to foundation the-altar”) — standing handler — if from-damah then
# set-in-etzbao-over-horn-altar-the-burnt-offering ∧ spill-forth-to-
# foundation-the-altar
m.handler("mi_damah",
          "natan_be_etzbao_al_qarnot_mizbach_ha_ola ∧ yishpokh_el_yesod_ha_mizbecha")

# -------------------------- Lev.4.31 · THE_PLEASING_AROMA ------------------
# וְאֶת־כָּל־חֶלְבָּהּ יָסִיר כַּאֲשֶׁר הוּסַר חֵלֶב מֵעַל זֶבַח
# הַשְּׁלָמִים וְהִקְטִיר הַכֹּהֵן הַמִּזְבֵּחָה לְרֵיחַ נִיחֹחַ לַיהוָה
# וְכִפֶּר עָלָיו הַכֹּהֵן וְנִסְלַח לוֹ
# "[EN-AID] And all its fat he shall remove, as fat is removed from the
# sacrifice of well-being, and the priest shall burn it on the altar for a
# pleasing aroma to the LORD; and the priest shall atone for him, and he
# shall be forgiven."
m.step("Lev.4.31")
# ‹וְאֶת־כָּל־חֶלְבָּהּ יָסִיר כַּאֲשֶׁר הוּסַר חֵלֶב מֵעַל זֶבַח
# הַשְּׁלָמִים וְהִקְטִיר הַכֹּהֵן הַמִּזְבֵּחָה לְרֵיחַ נִיחֹחַ לַיהוָה
# וְכִפֶּר עָלָיו הַכֹּהֵן וְנִסְלַח לוֹ› (“and-obj-marker all fat-her/its
# turn-aside like-as/which turn-aside fat from-over sacrifice the-requital
# and-smoke the-priest the-altar-ward to-odor restful to-YHWH and-atone
# over-him/its the-priest and-forgive to-him/its”) — standing handler — if
# all-chelbah-like-which-turn-aside-from-over-sacrifice-the-requital then
# smoke-to-odor-restful ∧ kiper ∧ forgive-not
m.handler("kol_chelbah_ka_asher_husar_me_al_zevach_ha_shelamim",
          "hiqtir_le_recha_nichocha ∧ kiper ∧ nislach_lo")

# -------------------------- Lev.4.32 · THE_LAMB_ALTERNATIVE ----------------
# וְאִם־כֶּבֶשׂ יָבִיא קָרְבָּנוֹ לְחַטָּאת נְקֵבָה תְמִימָה יְבִיאֶנָּה
# "[EN-AID] And if he brings a lamb as his offering for a sin-offering, an
# unblemished female shall he bring."
m.step("Lev.4.32")
# ‹וְאִם־כֶּבֶשׂ יָבִיא קָרְבָּנוֹ לְחַטָּאת נְקֵבָה תְמִימָה יְבִיאֶנָּה›
# (“and-if ram come/bring offering-him/its to-sin-offering female entire
# come/bring-her/its”) — case ram, and-if-come/bring-to-sin-offering routes
# to female-entire-yeviena
m.case("keves, ve_im_yavi_le_chatat", "neqeva_temima_yeviena")

# -------------------------- Lev.4.33 · LEAN_AND_SLAUGHTER_HER --------------
# וְסָמַךְ אֶת־יָדוֹ עַל רֹאשׁ הַחַטָּאת וְשָׁחַט אֹתָהּ לְחַטָּאת בִּמְקוֹם
# אֲשֶׁר יִשְׁחַט אֶת־הָעֹלָה
# "[EN-AID] And he shall lean his hand on the sin-offering's head and
# slaughter it for a sin-offering in the place where one slaughters the
# burnt-offering."
m.step("Lev.4.33")
# ‹וְסָמַךְ אֶת־יָדוֹ עַל רֹאשׁ הַחַטָּאת וְשָׁחַט אֹתָהּ לְחַטָּאת
# בִּמְקוֹם אֲשֶׁר יִשְׁחַט אֶת־הָעֹלָה› (“and-lay obj-marker hand-him/its
# over head the-sin-offering and-slaughter obj-marker-her/its to-sin-
# offering in-place which slaughter obj-marker the-burnt-offering”) —
# standing handler — if the-sin-offering then lay-his-hand ∧ slaughter-her-
# to-sin-offering-bi-meqom-which-slaughter-obj-marker-the-burnt-offering
m.handler("ha_chatat",
          "samakh_yado ∧ shachat_otah_le_chatat_bi_meqom_asher_yishchat_et_ha_ola")

# -------------------------- Lev.4.34 · THE_LAST_BLOOD ----------------------
# וְלָקַח הַכֹּהֵן מִדַּם הַחַטָּאת בְּאֶצְבָּעוֹ וְנָתַן עַל־קַרְנֹת
# מִזְבַּח הָעֹלָה וְאֶת־כָּל־דָּמָהּ יִשְׁפֹּךְ אֶל־יְסוֹד הַמִּזְבֵּחַ
# "[EN-AID] And the priest shall take of the sin-offering's blood with his
# finger and put it on the horns of the altar of burnt-offering; and all its
# blood he shall pour out at the base of the altar."
m.step("Lev.4.34")
# ‹וְלָקַח הַכֹּהֵן מִדַּם הַחַטָּאת בְּאֶצְבָּעוֹ וְנָתַן עַל־קַרְנֹת
# מִזְבַּח הָעֹלָה וְאֶת־כָּל־דָּמָהּ יִשְׁפֹּךְ אֶל־יְסוֹד הַמִּזְבֵּחַ›
# (“and-take the-priest from-blood the-sin-offering in-something-to-sieze-
# with-him/its and-set over horn altar the-burnt-offering and-obj-marker all
# blood-her/its spill-forth to foundation the-altar”) — standing handler —
# if from-blood-the-sin-offering then set-in-etzbao-over-horn ∧ spill-forth-
# all-damah-to-foundation
m.handler("mi_dam_ha_chatat",
          "natan_be_etzbao_al_qarnot ∧ yishpokh_kal_damah_el_yesod")

# -------------------------- Lev.4.35 · THE_WALL_FOURTH_PARDON --------------
# וְאֶת־כָּל־חֶלְבָּה יָסִיר כַּאֲשֶׁר יוּסַר חֵלֶב־הַכֶּשֶׂב מִזֶּבַח
# הַשְּׁלָמִים וְהִקְטִיר הַכֹּהֵן אֹתָם הַמִּזְבֵּחָה עַל אִשֵּׁי יְהוָה
# וְכִפֶּר עָלָיו הַכֹּהֵן עַל־חַטָּאתוֹ אֲשֶׁר־חָטָא וְנִסְלַח לוֹ
# "[EN-AID] And all its fat he shall remove, as the lamb's fat is removed
# from the sacrifice of well-being, and the priest shall burn them on the
# altar upon the fire-offerings of the LORD; and the priest shall atone for
# him, for his sin which he sinned, and he shall be forgiven."
m.step("Lev.4.35")
# ‹וְאֶת־כָּל־חֶלְבָּה יָסִיר כַּאֲשֶׁר יוּסַר חֵלֶב־הַכֶּשֶׂב מִזֶּבַח
# הַשְּׁלָמִים וְהִקְטִיר הַכֹּהֵן אֹתָם הַמִּזְבֵּחָה עַל אִשֵּׁי יְהוָה
# וְכִפֶּר עָלָיו הַכֹּהֵן עַל־חַטָּאתוֹ אֲשֶׁר־חָטָא וְנִסְלַח לוֹ› (“and-
# obj-marker all fat-her/its turn-aside like-as/which turn-aside fat the-
# young-sheep from-sacrifice the-requital and-smoke the-priest obj-marker-
# them/their the-altar-ward over fire-offering YHWH and-atone over-him/its
# the-priest over sin-offering-him/its which sin and-forgive to-him/its”) —
# standing handler — if all-chelbah-like-which-turn-aside-fat-the-young-
# sheep then smoke-over-fire-offering-the-LORD ∧ kiper ∧ forgive-not
m.handler("kol_chelbah_ka_asher_yusar_chelev_ha_kesev",
          "hiqtir_al_ishe_YHWH ∧ kiper ∧ nislach_lo")

# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
    m.report()
    assert m.created_set() == set()
    assert m.presupposed_set() == {'moshe'}
    assert m.REGISTRY["names"] == {}
    assert m.REGISTRY["writes"] == 0
    assert m.tests_list() == []
    assert m.open_demands() == ['daber_el_bene_yisrael(moshe)']
    assert len(m.SPECS["log"]) == 1
    assert sorted(m.LEDGER) == []
    assert m.flag_counts() == {'read_before_install': 1}
    assert sorted(m.WORLD["facts"]) == sorted(['case: nefesh, techeta_vi_shegaga_mi_kol_mitzvot -> ve_asa_me_achat_me_hena', 'case: ha_kohen_ha_mashiach, im_yecheta_le_ashmat_ha_am -> par_ben_baqar_tamim_le_chatat', 'handler: IF(par_ha_chatat) THEN(hevi_el_petach_ohel_moed ∧ samakh_yado_al_rosh ∧ shachat_li_fene_YHWH)', 'handler: IF(dam_ha_par) THEN(laqach_ha_mashiach ∧ hevi_oto_el_ohel_moed)', 'handler: IF(ba_dam) THEN(taval_etzbao ∧ hiza_sheva_peamim_et_pene_parokhet_ha_qodesh)', 'handler: IF(min_ha_dam) THEN(natan_al_qarnot_mizbach_ha_qetoret ∧ yishpokh_el_yesod_mizbach_ha_ola)', 'handler: IF(chelev_par_ha_chatat) THEN(yarim_et_ha_chelev_ha_mekhase)', 'handler: IF(shete_ha_kelayot_ve_ha_yoteret_al_ha_kaved) THEN(yesirena)', 'handler: IF(ka_asher_yuram_mi_shor_zevach_ha_shelamim) THEN(hiqtiram_al_mizbach_ha_ola)', 'handler: IF(kol_ha_par) THEN(hotzi_el_mi_chutz_la_machane_el_maqom_tahor ∧ saraf_al_shefekh_ha_deshen)', 'case: kal_adat_yisrael, yishgu_ve_nelam_davar -> ve_ashemu', 'handler: IF(ve_noda_ha_chatat) THEN(hiqrivu_ha_qahal_par ∧ heviu_oto_li_fene_ohel_moed)', 'handler: IF(par_ha_qahal) THEN(samkhu_ziqne_ha_eda_yedehem ∧ shachat_li_fene_YHWH)', 'handler: IF(dam_ha_par) THEN(hevi_ha_mashiach_el_ohel_moed)', 'handler: IF(min_ha_dam) THEN(taval_etzbao ∧ hiza_sheva_peamim_et_pene_ha_parokhet)', 'handler: IF(u_min_ha_dam) THEN(yiten_al_qarnot_ha_mizbecha ∧ yishpokh_el_yesod_mizbach_ha_ola)', 'handler: IF(kol_chelbo) THEN(yarim_mimenu ∧ hiqtir_ha_mizbecha)', 'handler: IF(ka_asher_asa_le_far_ha_chatat) THEN(ken_yaase_lo ∧ kiper_ha_kohen ∧ nislach_lahem)', 'handler: IF(ka_asher_saraf_et_ha_par_ha_rishon) THEN(hotzi_ve_saraf_mi_chutz_la_machane)', 'case: nasi, asher_yecheta_bi_shegaga -> ve_ashem', 'handler: IF(o_hoda_elav_chatato) THEN(hevi_qarbano_seir_izim_zakhar_tamim)', 'handler: IF(seir_ha_chatat) THEN(samakh_yado ∧ shachat_bi_meqom_asher_yishchat_et_ha_ola)', 'handler: IF(mi_dam_ha_chatat) THEN(natan_be_etzbao_al_qarnot_mizbach_ha_ola ∧ yishpokh_el_yesod)', 'handler: IF(kol_chelbo_ke_chelev_zevach_ha_shelamim) THEN(yaqtir ∧ kiper ∧ nislach_lo)', 'case: nefesh_me_am_ha_aretz, techeta_vi_shegaga -> ve_ashem', 'handler: IF(o_hoda_elav_chatato) THEN(hevi_qarbano_seirat_izim_temima_neqeva)', 'handler: IF(ha_chatat) THEN(samakh_yado ∧ shachat_bi_meqom_ha_ola)', 'handler: IF(mi_damah) THEN(natan_be_etzbao_al_qarnot_mizbach_ha_ola ∧ yishpokh_el_yesod_ha_mizbecha)', 'handler: IF(kol_chelbah_ka_asher_husar_me_al_zevach_ha_shelamim) THEN(hiqtir_le_recha_nichocha ∧ kiper ∧ nislach_lo)', 'case: keves, ve_im_yavi_le_chatat -> neqeva_temima_yeviena', 'handler: IF(ha_chatat) THEN(samakh_yado ∧ shachat_otah_le_chatat_bi_meqom_asher_yishchat_et_ha_ola)', 'handler: IF(mi_dam_ha_chatat) THEN(natan_be_etzbao_al_qarnot ∧ yishpokh_kal_damah_el_yesod)', 'handler: IF(kol_chelbah_ka_asher_yusar_chelev_ha_kesev) THEN(hiqtir_al_ishe_YHWH ∧ kiper ∧ nislach_lo)'])
    assert m.WORLD["invariants"] == []
    assert m.WORLD["partitions"] == []
    assert len(m.EVENTS) == 35
    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.