The holiness ledger: fifty-six statutes under one open card (19:1-37) - the apodictic probe FROZEN

קְדֹשִׁים תִּהְיוּ כִּי קָדוֹשׁ אֲנִי יְהוָה אֱלֹהֵיכֶם · qedoshim tihyu ki qadosh ani YHWH elohekhem · 'Holy shall you be, for holy am I, the LORD your God'

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_19_holiness_duty_ledger — The holiness ledger: fifty-six statutes under one open card (19:1-37) - the apodictic probe [frozen]

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

=== S1 — after STEP_Lv_19_1 — the frame: one narrative verb, then silence
    וַיְדַבֵּ֥ר יְהוָ֖ה אֶל מֹשֶׁ֥ה לֵּאמֹֽר (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_19_2 — the relay card pushed; the thesis statute installs
    קְדֹשִׁ֣ים תִּהְי֑וּ כִּ֣י קָד֔וֹשׁ אֲנִ֖י יְהוָ֥ה אֱלֹהֵיכֶֽם (qedoshim tihyu ki qadosh ani YHWH elohekhem)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts statute-qedoshim HOLD  (1 facts)
    PASS  STATUTES 1 standing  (statutes=1)
    PASS  no test, no name.  (tests=0 names=0)

=== S3 — after STEP_Lv_19_3 — mother-first fear, sabbaths kept; statutes 3
    אִ֣ישׁ אִמּ֤וֹ וְאָבִיו֙ תִּירָ֔אוּ (ish imo ve-aviv tirau)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts statute-shabtotay HOLD  (3 facts)
    PASS  STATUTES 3 standing  (statutes=3)
    PASS  no test, no name.  (tests=0 names=0)

=== S4 — after STEP_Lv_19_4 — the re-typing witness: jussive and imperfect one list; statutes 5
    אַל תִּפְנוּ֙ אֶל הָ֣אֱלִילִ֔ים (el-tifnu el-ha-elilim)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts statute-masekha HOLD  (5 facts)
    PASS  STATUTES 5 standing  (statutes=5)
    PASS  no test, no name.  (tests=0 names=0)

=== S5 — after STEP_Lv_19_5 — the shelamim case opens; statutes hold at 5
    וְכִ֧י תִזְבְּח֛וּ זֶ֥בַח שְׁלָמִ֖ים לַיהוָ֑ה לִֽרְצֹנְכֶ֖ם תִּזְבָּחֻֽהוּ (ve-ki tizbchu zevach shelamim la-YHWH li-retzonkhem tizbachuhu)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts case-shelamim HOLD  (6 facts)
    PASS  STATUTES 5 standing  (statutes=5)
    PASS  no test, no name.  (tests=0 names=0)

=== S6 — after STEP_Lv_19_6 — the two-day window handler
    בְּי֧וֹם זִבְחֲכֶ֛ם יֵאָכֵ֖ל וּמִֽמָּחֳרָ֑ת וְהַנּוֹתָר֙ עַד י֣וֹם הַשְּׁלִישִׁ֔י בָּאֵ֖שׁ יִשָּׂרֵֽף (be-yom zivchakhem yeakhel u-mi-machorat ve-ha-notar ad-yom ha-shelishi ba-esh yisaref)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts handler-yisaref HOLD  (7 facts)
    PASS  STATUTES 5 standing  (statutes=5)
    PASS  no test, no name.  (tests=0 names=0)

=== S7 — after STEP_Lv_19_7 — the pigul branch
    וְאִ֛ם הֵאָכֹ֥ל יֵאָכֵ֖ל בַּיּ֣וֹם הַשְּׁלִישִׁ֑י פִּגּ֥וּל ה֖וּא לֹ֥א יֵרָצֶֽה (ve-im heakhol yeakhel ba-yom ha-shelishi pigul hu lo yeratze)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts handler-pigul HOLD  (8 facts)
    PASS  STATUTES 5 standing  (statutes=5)
    PASS  no test, no name.  (tests=0 names=0)

=== S8 — after STEP_Lv_19_8 — karet on the eater
    וְאֹֽכְלָיו֙ עֲוֺנ֣וֹ יִשָּׂ֔א כִּֽי אֶת קֹ֥דֶשׁ יְהוָ֖ה חִלֵּ֑ל וְנִכְרְתָ֛ה הַנֶּ֥פֶשׁ הַהִ֖וא מֵעַמֶּֽיהָ (ve-okhlav avono yisa ki-et qodesh YHWH chilel ve-nikhrta ha-nefesh ha-hiv me-ame-ha)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts handler-nikhrta HOLD  (9 facts)
    PASS  STATUTES 5 standing  (statutes=5)
    PASS  no test, no name.  (tests=0 names=0)

=== S9 — after STEP_Lv_19_9 — corner and gleaning left; statutes 7
    וּֽבְקֻצְרְכֶם֙ אֶת קְצִ֣יר אַרְצְכֶ֔ם לֹ֧א תְכַלֶּ֛ה פְּאַ֥ת שָׂדְךָ֖ לִקְצֹ֑ר (u-ve-qutzrkhem et-qetzir artzkhem lo tekhale peat sadkha li-qetzor)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts statute-peat HOLD  (11 facts)
    PASS  STATUTES 7 standing  (statutes=7)
    PASS  no test, no name.  (tests=0 names=0)

=== S10 — after STEP_Lv_19_10 — vineyard edges to the poor and the stranger; statutes 10
    לֶֽעָנִ֤י וְלַגֵּר֙ תַּעֲזֹ֣ב אֹתָ֔ם (le-ani ve-la-ger taazov otam)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts statute-taazov HOLD  (14 facts)
    PASS  STATUTES 10 standing  (statutes=10)
    PASS  no test, no name.  (tests=0 names=0)

=== S11 — after STEP_Lv_19_11 — steal, deny, lie: the plural triad; statutes 13
    לֹ֖א תִּגְנֹ֑בוּ (lo tignovu)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts statute-tignovu HOLD  (17 facts)
    PASS  STATUTES 13 standing  (statutes=13)
    PASS  no test, no name.  (tests=0 names=0)

=== S12 — after STEP_Lv_19_12 — the false-oath ban; the first bare seal; statutes 14
    וְלֹֽא תִשָּׁבְע֥וּ בִשְׁמִ֖י לַשָּׁ֑קֶר (ve-lo-tishavu vi-shemi la-shaqer)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts statute-tishavu HOLD  (18 facts)
    PASS  STATUTES 14 standing  (statutes=14)
    PASS  no test, no name.  (tests=0 names=0)

=== S13 — after STEP_Lv_19_13 — oppression, robbery, the sleeping wage; statutes 17
    לֹֽא תָלִ֞ין פְּעֻלַּ֥ת שָׂכִ֛יר אִתְּךָ֖ עַד בֹּֽקֶר (lo-talin peulat sakhir itkha ad-boqer)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts statute-talin HOLD  (21 facts)
    PASS  STATUTES 17 standing  (statutes=17)
    PASS  no test, no name.  (tests=0 names=0)

=== S14 — after STEP_Lv_19_14 — deaf, blind, and the fear-clause; statutes 20
    וְלִפְנֵ֣י עִוֵּ֔ר לֹ֥א תִתֵּ֖ן מִכְשֹׁ֑ל (ve-li-fene iver lo titen mikhshol)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts statute-mikhshol HOLD  (24 facts)
    PASS  STATUTES 20 standing  (statutes=20)
    PASS  no test, no name.  (tests=0 names=0)

=== S15 — after STEP_Lv_19_15 — no faces in court; tzedeq debuts; statutes 24
    בְּצֶ֖דֶק תִּשְׁפֹּ֥ט עֲמִיתֶֽךָ (be-tzedeq tishpot amitekha)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts statute-tishpot HOLD  (28 facts)
    PASS  STATUTES 24 standing  (statutes=24)
    PASS  no test, no name.  (tests=0 names=0)

=== S16 — after STEP_Lv_19_16 — talebearer and bystander; statutes 26
    לֹא תֵלֵ֤ךְ רָכִיל֙ בְּעַמֶּ֔יךָ (lo-telekh rakhil be-amekha)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts statute-rakhil HOLD  (30 facts)
    PASS  STATUTES 26 standing  (statutes=26)
    PASS  no test, no name.  (tests=0 names=0)

=== S17 — after STEP_Lv_19_17 — heart-hatred banned, reproof bound; statutes 29
    הוֹכֵ֤חַ תּוֹכִ֨יחַ֙ אֶת עֲמִיתֶ֔ךָ (hokhecha tokhicha et-amitekha)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts statute-tokhiach HOLD  (33 facts)
    PASS  STATUTES 29 standing  (statutes=29)
    PASS  no test, no name.  (tests=0 names=0)

=== S18 — after STEP_Lv_19_18 — the love command; statutes 32
    וְאָֽהַבְתָּ֥ לְרֵעֲךָ֖ כָּמ֑וֹךָ (ve-ahavta le-reakha kamokha)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts statute-reakha HOLD  (36 facts)
    PASS  STATUTES 32 standing  (statutes=32)
    PASS  no test, no name.  (tests=0 names=0)

=== S19 — after STEP_Lv_19_19 — the mixtures: beast, field, garment; statutes 36
    וּבֶ֤גֶד כִּלְאַ֨יִם֙ שַֽׁעַטְנֵ֔ז לֹ֥א יַעֲלֶ֖ה עָלֶֽיךָ (u-veged kilayim shaatnez lo yaale alekha)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts statute-kilayim HOLD  (40 facts)
    PASS  STATUTES 36 standing  (statutes=36)
    PASS  no test, no name.  (tests=0 names=0)

=== S20 — after STEP_Lv_19_20 — the inquest case: four hapaxes, death withheld
    בִּקֹּ֧רֶת תִּהְיֶ֛ה לֹ֥א יוּמְת֖וּ כִּי (biqoret tihye lo yumtu ki)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts case-necherefet HOLD  (41 facts)
    PASS  STATUTES 36 standing  (statutes=36)
    PASS  no test, no name.  (tests=0 names=0)

=== S21 — after STEP_Lv_19_21 — the asham route to the tent
    וְהֵבִ֤יא אֶת אֲשָׁמוֹ֙ לַֽיהוָ֔ה אֶל פֶּ֖תַח אֹ֣הֶל מוֹעֵ֑ד (ve-hevi et-ashamo la-YHWH el-petach ohel moed)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts handler-ashamo HOLD  (42 facts)
    PASS  STATUTES 36 standing  (statutes=36)
    PASS  no test, no name.  (tests=0 names=0)

=== S22 — after STEP_Lv_19_22 — atoned and forgiven
    וְכִפֶּר֩ עָלָ֨יו הַכֹּהֵ֜ן בְּאֵ֤יל הָֽאָשָׁם֙ לִפְנֵ֣י יְהוָ֔ה (ve-khiper alav ha-kohen be-el ha-asham li-fene YHWH)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts handler-nislach HOLD  (43 facts)
    PASS  STATUTES 36 standing  (statutes=36)
    PASS  no test, no name.  (tests=0 names=0)

=== S23 — after STEP_Lv_19_23 — the orchard case: three uncircumcised years
    וַעֲרַלְתֶּ֥ם עָרְלָת֖וֹ אֶת פִּרְי֑וֹ (va-araltem arlato et-piryo)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts case-orlat HOLD  (45 facts)
    PASS  Facts handler-arelim HOLD  (45 facts)
    PASS  STATUTES 36 standing  (statutes=36)
    PASS  no test, no name.  (tests=0 names=0)

=== S24 — after STEP_Lv_19_24 — year four: praise-fruit
    וּבַשָּׁנָה֙ הָרְבִיעִ֔ת יִהְיֶ֖ה כָּל פִּרְי֑וֹ קֹ֥דֶשׁ הִלּוּלִ֖ים לַיהוָֽה (u-va-shana ha-reviit yihye kal-piryo qodesh hilulim la-YHWH)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts handler-hilulim HOLD  (46 facts)
    PASS  STATUTES 36 standing  (statutes=36)
    PASS  no test, no name.  (tests=0 names=0)

=== S25 — after STEP_Lv_19_25 — year five: eat, and the yield adds
    וּבַשָּׁנָ֣ה הַחֲמִישִׁ֗ת תֹּֽאכְלוּ֙ אֶת פִּרְי֔וֹ לְהוֹסִ֥יף לָכֶ֖ם תְּבוּאָת֑וֹ (u-va-shana ha-chamishit tokhlu et-piryo le-hosif lakhem tevuato)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts handler-tevuato HOLD  (47 facts)
    PASS  STATUTES 36 standing  (statutes=36)
    PASS  no test, no name.  (tests=0 names=0)

=== S26 — after STEP_Lv_19_26 — blood, omens, fortunes; statutes 39
    לֹ֥א תֹאכְל֖וּ עַל הַדָּ֑ם (lo tokhlu al-ha-dam)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts statute-tenachashu HOLD  (50 facts)
    PASS  STATUTES 39 standing  (statutes=39)
    PASS  no test, no name.  (tests=0 names=0)

=== S27 — after STEP_Lv_19_27 — head-corner and beard; statutes 41
    לֹ֣א תַקִּ֔פוּ פְּאַ֖ת רֹאשְׁכֶ֑ם (lo taqifu peat roshkhem)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts statute-taqifu HOLD  (52 facts)
    PASS  STATUTES 41 standing  (statutes=41)
    PASS  no test, no name.  (tests=0 names=0)

=== S28 — after STEP_Lv_19_28 — the cut and the tattoo; statutes 43
    וּכְתֹ֣בֶת קַֽעֲקַ֔ע לֹ֥א תִתְּנ֖וּ בָּכֶ֑ם (u-khetovet qaaqa lo titnu bakhem)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts statute-qaaqa HOLD  (54 facts)
    PASS  STATUTES 43 standing  (statutes=43)
    PASS  no test, no name.  (tests=0 names=0)

=== S29 — after STEP_Lv_19_29 — the daughter; the land's harlotry; statutes 44
    אַל תְּחַלֵּ֥ל אֶֽת בִּתְּךָ֖ לְהַזְנוֹתָ֑הּ (el-techalel et-bitkha le-haznotah)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts statute-le_haznotah HOLD  (55 facts)
    PASS  STATUTES 44 standing  (statutes=44)
    PASS  no test, no name.  (tests=0 names=0)

=== S30 — after STEP_Lv_19_30 — the chiasm closes; the 26:2 verse; statutes 45
    אֶת שַׁבְּתֹתַ֣י תִּשְׁמֹ֔רוּ וּמִקְדָּשִׁ֖י תִּירָ֑אוּ (et-shabtotay tishmoru u-miqdashi tirau)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts statute-miqdashi HOLD  (56 facts)
    PASS  STATUTES 45 standing  (statutes=45)
    PASS  no test, no name.  (tests=0 names=0)

=== S31 — after STEP_Lv_19_31 — ghosts and familiar spirits; statutes 47
    אַל תִּפְנ֤וּ אֶל הָאֹבֹת֙ וְאֶל הַיִּדְּעֹנִ֔ים (el-tifnu el-ha-ovot ve-el-ha-yidonim)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts statute-yidonim HOLD  (58 facts)
    PASS  STATUTES 47 standing  (statutes=47)
    PASS  no test, no name.  (tests=0 names=0)

=== S32 — after STEP_Lv_19_32 — rise, honor, fear; statutes 50
    מִפְּנֵ֤י שֵׂיבָה֙ תָּק֔וּם (mi-pene seva taqum)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts statute-seva HOLD  (61 facts)
    PASS  STATUTES 50 standing  (statutes=50)
    PASS  no test, no name.  (tests=0 names=0)

=== S33 — after STEP_Lv_19_33 — the stranger's case; statutes 51
    וְכִֽי יָג֧וּר אִתְּךָ֛ גֵּ֖ר בְּאַרְצְכֶ֑ם (ve-ki-yagur itkha ger be-artzkhem)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts case-yagur HOLD  (63 facts)
    PASS  Facts statute-tonu HOLD  (63 facts)
    PASS  STATUTES 51 standing  (statutes=51)
    PASS  no test, no name.  (tests=0 names=0)

=== S34 — after STEP_Lv_19_34 — the second love: the stranger; statutes 53
    וְאָהַבְתָּ֥ לוֹ֙ כָּמ֔וֹךָ (ve-ahavta lo kamokha)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts statute-ke_ezrach HOLD  (65 facts)
    PASS  STATUTES 53 standing  (statutes=53)
    PASS  no test, no name.  (tests=0 names=0)

=== S35 — after STEP_Lv_19_35 — the formula re-indicts the marketplace; statutes 54
    לֹא תַעֲשׂ֥וּ עָ֖וֶל בַּמִּשְׁפָּ֑ט בַּמִּדָּ֕ה בַּמִּשְׁקָ֖ל וּבַמְּשׂוּרָֽה (lo-taasu avel ba-mishpat ba-mida ba-mishqal u-va-mesura)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts statute-ba_mida HOLD  (66 facts)
    PASS  STATUTES 54 standing  (statutes=54)
    PASS  no test, no name.  (tests=0 names=0)

=== S36 — after STEP_Lv_19_36 — the just kit; the exodus seal; statutes 55
    מֹ֧אזְנֵי צֶ֣דֶק אַבְנֵי צֶ֗דֶק אֵ֥יפַת צֶ֛דֶק וְהִ֥ין צֶ֖דֶק יִהְיֶ֣ה לָכֶ֑ם (mozne tzedeq avne-tzedeq efat tzedeq ve-hin tzedeq yihye lakhem)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts statute-mozne HOLD  (67 facts)
    PASS  STATUTES 55 standing  (statutes=55)
    PASS  no test, no name.  (tests=0 names=0)

=== S37 — after STEP_Lv_19_37 — the wall: 56 statutes under one open card
    וּשְׁמַרְתֶּ֤ם אֶת כָּל חֻקֹּתַי֙ וְאֶת כָּל מִשְׁפָּטַ֔י וַעֲשִׂיתֶ֖ם אֹתָ֑ם (u-shemartem et-kal chuqotay ve-et-kal mishpatay va-asitem otam)
    PASS  LET(daber_el_kal_adat(moshe)) pushed and OPEN  (queue=['daber_el_kal_adat(moshe)'])
    PASS  Facts statute-va_asitem HOLD  (68 facts)
    PASS  STATUTES 56 standing  (statutes=56)
    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_19_holiness_duty_ledger.py — replays the six registers and asserts the interpreter's machine truth.

#!/usr/bin/env python3
# =============================================================================
# lev_19_holiness_duty_ledger — 19:1-37
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/lev_19_holiness_duty_ledger.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 holiness ledger: fifty-six statutes under one open card (19:1-37) - the apodictic probe"""
from machine import Machine

m = Machine("lev_19_holiness_duty_ledger")

# -------------------------- Lev.19.1 · THE_FRAME ---------------------------
# וַיְדַבֵּר יְהוָה אֶל־מֹשֶׁה לֵּאמֹר
# "[EN-AID] And the LORD spoke to Moses, saying:"
m.step("Lev.19.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.19.2 · THE_RELAY_AND_THE_THESIS ------------
# דַּבֵּר אֶל־כָּל־עֲדַת בְּנֵי־יִשְׂרָאֵל וְאָמַרְתָּ אֲלֵהֶם קְדֹשִׁים
# תִּהְיוּ כִּי קָדוֹשׁ אֲנִי יְהוָה אֱלֹהֵיכֶם
# "[EN-AID] Speak to all the congregation of the sons of Israel and say to
# them: Holy shall you be, for holy am I, the LORD your God."
m.step("Lev.19.2")
# ‹דַּבֵּר אֶל־כָּל־עֲדַת בְּנֵי־יִשְׂרָאֵל› (“speak to all congregation son
# Israel”) — the-LORD speaks a demand — LET: speak-to-all-
# congregation(Moses)
m.declare("YHWH", "LET",
          "daber_el_kal_adat(moshe)")
# ‹קְדֹשִׁים תִּהְיוּ כִּי קָדוֹשׁ אֲנִי יְהוָה אֱלֹהֵיכֶם› (“sacred be that
# sacred YHWH God-you/your(pl)”) —
m.statute("BIND", "qedoshim_tihyu")

# -------------------------- Lev.19.3 · MOTHER_FIRST ------------------------
# אִישׁ אִמּוֹ וְאָבִיו תִּירָאוּ וְאֶת־שַׁבְּתֹתַי תִּשְׁמֹרוּ אֲנִי יְהוָה
# אֱלֹהֵיכֶם
# "[EN-AID] Each man shall fear his mother and his father, and My sabbaths
# you shall keep: I am the LORD your God."
m.step("Lev.19.3")
# ‹אִישׁ אִמּוֹ וְאָבִיו תִּירָאוּ› (“man mother-him/its and-father-him/its
# fear”) —
m.statute("BIND", "imo_ve_aviv_tirau")
# ‹וְאֶת־שַׁבְּתֹתַי תִּשְׁמֹרוּ אֲנִי יְהוָה אֱלֹהֵיכֶם› (“and-obj-marker
# intermission-me/my keep/guard YHWH God-you/your(pl)”) —
m.statute("BIND", "shabtotay_tishmoru")

# -------------------------- Lev.19.4 · THE_RETYPING_WITNESS ----------------
# אַל־תִּפְנוּ אֶל־הָאֱלִילִים וֵאלֹהֵי מַסֵּכָה לֹא תַעֲשׂוּ לָכֶם אֲנִי
# יְהוָה אֱלֹהֵיכֶם
# "[EN-AID] Do not turn to the idols, and molten gods you shall not make for
# yourselves: I am the LORD your God."
m.step("Lev.19.4")
# ‹אַל־תִּפְנוּ אֶל־הָאֱלִילִים› (“do-not turn to the-good-for-nothing”) —
m.statute("FORBID", "peno_el_ha_elilim")
# ‹וֵאלֹהֵי מַסֵּכָה לֹא תַעֲשׂוּ› (“and-God pouring-over not make”) —
m.statute("FORBID", "elohe_masekha")

# -------------------------- Lev.19.5 · THE_SHELAMIM_CLOCK_OPENS ------------
# וְכִי תִזְבְּחוּ זֶבַח שְׁלָמִים לַיהוָה לִרְצֹנְכֶם תִּזְבָּחֻהוּ
# "[EN-AID] And when you sacrifice a sacrifice of well-being to the LORD,
# you shall sacrifice it for your acceptance."
m.step("Lev.19.5")
# ‹וְכִי תִזְבְּחוּ זֶבַח שְׁלָמִים לַיהוָה לִרְצֹנְכֶם תִּזְבָּחֻהוּ›
# (“and-that slaughter-an-animal sacrifice requital to-YHWH to-delight-
# you/your(pl) slaughter-an-animal-him/its”) — case son-Israel, slaughter-
# an-animal-sacrifice-requital routes to to-me-retzonkhem-tizbachuhu
m.case("bene_yisrael, tizbchu_zevach_shelamim", "li_retzonkhem_tizbachuhu")

# -------------------------- Lev.19.6 · THE_TWO_DAY_WINDOW ------------------
# בְּיוֹם זִבְחֲכֶם יֵאָכֵל וּמִמָּחֳרָת וְהַנּוֹתָר עַד־יוֹם הַשְּׁלִישִׁי
# בָּאֵשׁ יִשָּׂרֵף
# "[EN-AID] On the day of your sacrifice it shall be eaten, and on the
# morrow; and what is left until the third day shall be burned in fire."
m.step("Lev.19.6")
# ‹בְּיוֹם זִבְחֲכֶם יֵאָכֵל וּמִמָּחֳרָת וְהַנּוֹתָר עַד־יוֹם הַשְּׁלִישִׁי
# בָּאֵשׁ יִשָּׂרֵף› (“in-day sacrifice-you/your(pl) eat and-from-morrow
# and-the-jut-over until day the-third in-fire be-on-fire”) — standing
# handler — if in-day-zivchakhem-and-from-morrow then eat ∧ the-jut-over-in-
# the-esh-be-on-fire
m.handler("be_yom_zivchakhem_u_mi_machorat",
          "yeakhel ∧ ha_notar_ba_esh_yisaref")

# -------------------------- Lev.19.7 · PIGUL -------------------------------
# וְאִם הֵאָכֹל יֵאָכֵל בַּיּוֹם הַשְּׁלִישִׁי פִּגּוּל הוּא לֹא יֵרָצֶה
# "[EN-AID] And if it is eaten at all on the third day, it is a foul thing;
# it shall not be accepted."
m.step("Lev.19.7")
# ‹וְאִם הֵאָכֹל יֵאָכֵל בַּיּוֹם הַשְּׁלִישִׁי פִּגּוּל הוּא לֹא יֵרָצֶה›
# (“and-if eat eat in-day the-third fetid he/it not be-pleased-with”) —
# standing handler — if eat-eat-in-the-day-the-third then fetid-he/it-not-
# be-pleased-with
m.handler("heakhol_yeakhel_ba_yom_ha_shelishi",
          "pigul_hu_lo_yeratze")

# -------------------------- Lev.19.8 · KARET_ON_THE_EATER ------------------
# וְאֹכְלָיו עֲוֺנוֹ יִשָּׂא כִּי־אֶת־קֹדֶשׁ יְהוָה חִלֵּל וְנִכְרְתָה
# הַנֶּפֶשׁ הַהִוא מֵעַמֶּיהָ
# "[EN-AID] And its eaters shall bear his iniquity, for the holy thing of
# the LORD he has profaned; and that soul shall be cut off from its people."
m.step("Lev.19.8")
# ‹וְאֹכְלָיו עֲוֺנוֹ יִשָּׂא כִּי־אֶת־קֹדֶשׁ יְהוָה חִלֵּל וְנִכְרְתָה
# הַנֶּפֶשׁ הַהִוא מֵעַמֶּיהָ› (“and-eat-him/its perversity-him/its
# lift/carry that obj-marker holiness YHWH bore and-cut the-living-being
# that from-people-her/its”) — standing handler — if eat-fetid then avono-
# lift/carry ∧ cut-the-living-being-from-ameha
m.handler("akhal_pigul",
          "avono_yisa ∧ nikhrta_ha_nefesh_me_ameha")

# -------------------------- Lev.19.9 · THE_UNREAPED_CORNER -----------------
# וּבְקֻצְרְכֶם אֶת־קְצִיר אַרְצְכֶם לֹא תְכַלֶּה פְּאַת שָׂדְךָ לִקְצֹר
# וְלֶקֶט קְצִירְךָ לֹא תְלַקֵּט
# "[EN-AID] And when you reap the harvest of your land, you shall not finish
# the corner of your field in reaping, and the gleaning of your harvest you
# shall not gather."
m.step("Lev.19.9")
# ‹וּבְקֻצְרְכֶם אֶת־קְצִיר אַרְצְכֶם לֹא תְכַלֶּה פְּאַת שָׂדְךָ לִקְצֹר›
# (“and-in-dock-off-you/your(pl) obj-marker severed earth-you/your(pl) not
# be-complete mouth-in-a-figurative-sense field-you/your to-dock-off”) —
m.statute("FORBID", "tekhale_peat_sadkha")
# ‹וְלֶקֶט קְצִירְךָ לֹא תְלַקֵּט› (“and-gleaning severed-you/your not pick-
# up”) —
m.statute("FORBID", "leqet_qetzirkha")

# -------------------------- Lev.19.10 · VINEYARD_AND_THE_POOR --------------
# וְכַרְמְךָ לֹא תְעוֹלֵל וּפֶרֶט כַּרְמְךָ לֹא תְלַקֵּט לֶעָנִי וְלַגֵּר
# תַּעֲזֹב אֹתָם אֲנִי יְהוָה אֱלֹהֵיכֶם
# "[EN-AID] And your vineyard you shall not glean, and the fallen grapes of
# your vineyard you shall not gather; for the poor and for the stranger you
# shall leave them: I am the LORD your God."
m.step("Lev.19.10")
# ‹וְכַרְמְךָ לֹא תְעוֹלֵל› (“and-garden-you/your not effect-thoroughly”) —
m.statute("FORBID", "teolel_karmkha")
# ‹וּפֶרֶט כַּרְמְךָ לֹא תְלַקֵּט› (“and-stray garden-you/your not pick-up”)
# —
m.statute("FORBID", "peret_karmkha")
# ‹לֶעָנִי וְלַגֵּר תַּעֲזֹב אֹתָם› (“to-afflicted and-to-sojourner loosen
# obj-marker-them/their”) —
m.statute("BIND", "le_ani_ve_la_ger_taazov")

# -------------------------- Lev.19.11 · THE_DECALOGUE_GOES_PLURAL ----------
# לֹא תִּגְנֹבוּ וְלֹא־תְכַחֲשׁוּ וְלֹא־תְשַׁקְּרוּ אִישׁ בַּעֲמִיתוֹ
# "[EN-AID] You shall not steal, and you shall not deny falsely, and you
# shall not lie each man to his fellow."
m.step("Lev.19.11")
# ‹לֹא תִּגְנֹבוּ› (“not steal”) —
m.statute("FORBID", "tignovu")
# ‹וְלֹא־תְכַחֲשׁוּ› (“and-not be-untrue”) —
m.statute("FORBID", "tekhachashu")
# ‹וְלֹא־תְשַׁקְּרוּ אִישׁ בַּעֲמִיתוֹ› (“and-not cheat man in-
# companionship-him/its”) —
m.statute("FORBID", "teshaqru_ish_ba_amito")

# -------------------------- Lev.19.12 · THE_NAME_SEALS_ITSELF --------------
# וְלֹא־תִשָּׁבְעוּ בִשְׁמִי לַשָּׁקֶר וְחִלַּלְתָּ אֶת־שֵׁם אֱלֹהֶיךָ אֲנִי
# יְהוָה
# "[EN-AID] And you shall not swear by My name falsely, so that you profane
# the name of your God: I am the LORD."
m.step("Lev.19.12")
# ‹וְלֹא־תִשָּׁבְעוּ בִשְׁמִי לַשָּׁקֶר› (“and-not swear in-name-me/my to-
# untruth”) —
m.statute("FORBID", "tishavu_vi_shemi_la_shaqer")

# -------------------------- Lev.19.13 · THE_WAGE_MUST_NOT_SLEEP ------------
# לֹא־תַעֲשֹׁק אֶת־רֵעֲךָ וְלֹא תִגְזֹל לֹא־תָלִין פְּעֻלַּת שָׂכִיר אִתְּךָ
# עַד־בֹּקֶר
# "[EN-AID] You shall not oppress your neighbor and you shall not rob; the
# wage of a hired man shall not stay the night with you until morning."
m.step("Lev.19.13")
# ‹לֹא־תַעֲשֹׁק אֶת־רֵעֲךָ› (“not press-upon obj-marker associate-you/your”)
# —
m.statute("FORBID", "taashoq_et_reakha")
# ‹וְלֹא תִגְזֹל› (“and-not pluck-off”) —
m.statute("FORBID", "tigzol")
# ‹לֹא־תָלִין פְּעֻלַּת שָׂכִיר אִתְּךָ עַד־בֹּקֶר› (“not stop work man-at-
# wages-by-the-day with-you/your until morning”) —
m.statute("FORBID", "talin_peulat_sakhir")

# -------------------------- Lev.19.14 · THE_DEAF_AND_THE_BLIND -------------
# לֹא־תְקַלֵּל חֵרֵשׁ וְלִפְנֵי עִוֵּר לֹא תִתֵּן מִכְשֹׁל וְיָרֵאתָ
# מֵּאֱלֹהֶיךָ אֲנִי יְהוָה
# "[EN-AID] You shall not curse the deaf, and before the blind you shall not
# put a stumbling-block; and you shall fear your God: I am the LORD."
m.step("Lev.19.14")
# ‹לֹא־תְקַלֵּל חֵרֵשׁ› (“not be-light deaf”) —
m.statute("FORBID", "teqalel_cheresh")
# ‹וְלִפְנֵי עִוֵּר לֹא תִתֵּן מִכְשֹׁל› (“and-to-face blind not set
# stumbling-block”) —
m.statute("FORBID", "mikhshol_li_fene_iver")
# ‹וְיָרֵאתָ מֵּאֱלֹהֶיךָ› (“and-fear from-God-you/your”) —
m.statute("BIND", "ve_yareta_me_elohekha")

# -------------------------- Lev.19.15 · NO_FACES_IN_COURT ------------------
# לֹא־תַעֲשׂוּ עָוֶל בַּמִּשְׁפָּט לֹא־תִשָּׂא פְנֵי־דָל וְלֹא תֶהְדַּר
# פְּנֵי גָדוֹל בְּצֶדֶק תִּשְׁפֹּט עֲמִיתֶךָ
# "[EN-AID] You shall do no wrong in judgment; you shall not lift the face
# of the poor and you shall not favor the face of the great; in
# righteousness shall you judge your fellow."
m.step("Lev.19.15")
# ‹לֹא־תַעֲשׂוּ עָוֶל בַּמִּשְׁפָּט› (“not make evil in-judgment”) —
m.statute("FORBID", "avel_ba_mishpat")
# ‹לֹא־תִשָּׂא פְנֵי־דָל› (“not lift/carry face dangling”) —
m.statute("FORBID", "tisa_fene_dal")
# ‹וְלֹא תֶהְדַּר פְּנֵי גָדוֹל› (“and-not swell-up face great”) —
m.statute("FORBID", "tehdar_pene_gadol")
# ‹בְּצֶדֶק תִּשְׁפֹּט עֲמִיתֶךָ› (“in-right judge companionship-you/your”)
# —
m.statute("BIND", "be_tzedeq_tishpot_amitekha")

# -------------------------- Lev.19.16 · TALEBEARER_AND_BYSTANDER -----------
# לֹא־תֵלֵךְ רָכִיל בְּעַמֶּיךָ לֹא תַעֲמֹד עַל־דַּם רֵעֶךָ אֲנִי יְהוָה
# "[EN-AID] You shall not go about as a talebearer among your people; you
# shall not stand upon the blood of your neighbor: I am the LORD."
m.step("Lev.19.16")
# ‹לֹא־תֵלֵךְ רָכִיל בְּעַמֶּיךָ› (“not go scandal-monger in-people-
# you/your”) —
m.statute("FORBID", "telekh_rakhil_be_amekha")
# ‹לֹא תַעֲמֹד עַל־דַּם רֵעֶךָ› (“not stand over blood associate-you/your”)
# —
m.statute("FORBID", "taamod_al_dam_reekha")

# -------------------------- Lev.19.17 · THE_REPROVE_DOUBLING ---------------
# לֹא־תִשְׂנָא אֶת־אָחִיךָ בִּלְבָבֶךָ הוֹכֵחַ תּוֹכִיחַ אֶת־עֲמִיתֶךָ
# וְלֹא־תִשָּׂא עָלָיו חֵטְא
# "[EN-AID] You shall not hate your brother in your heart; you shall surely
# reprove your fellow, and not bear sin upon him."
m.step("Lev.19.17")
# ‹לֹא־תִשְׂנָא אֶת־אָחִיךָ בִּלְבָבֶךָ› (“not hate obj-marker brother-
# you/your in-heart-you/your”) —
m.statute("FORBID", "tisna_et_achikha_bi_levavekha")
# ‹הוֹכֵחַ תּוֹכִיחַ אֶת־עֲמִיתֶךָ› (“be-right be-right obj-marker
# companionship-you/your”) —
m.statute("BIND", "hokheach_tokhiach_et_amitekha")
# ‹וְלֹא־תִשָּׂא עָלָיו חֵטְא› (“and-not lift/carry over-him/its crime”) —
m.statute("FORBID", "tisa_alav_chet")

# -------------------------- Lev.19.18 · THE_LOVE_COMMAND -------------------
# לֹא־תִקֹּם וְלֹא־תִטֹּר אֶת־בְּנֵי עַמֶּךָ וְאָהַבְתָּ לְרֵעֲךָ כָּמוֹךָ
# אֲנִי יְהוָה
# "[EN-AID] You shall not avenge and you shall not keep a grudge against the
# sons of your people; and you shall love your neighbor as yourself: I am
# the LORD."
m.step("Lev.19.18")
# ‹לֹא־תִקֹּם› (“not grudge”) —
m.statute("FORBID", "tiqom")
# ‹וְלֹא־תִטֹּר אֶת־בְּנֵי עַמֶּךָ› (“and-not guard obj-marker son people-
# you/your”) —
m.statute("FORBID", "titor_et_bene_amekha")
# ‹וְאָהַבְתָּ לְרֵעֲךָ כָּמוֹךָ› (“and-have-affection-for to-associate-
# you/your form-of-the-prefix-'k-'-you/your”) —
m.statute("BIND", "ve_ahavta_le_reakha_kamokha")

# -------------------------- Lev.19.19 · THE_MIXTURES -----------------------
# אֶת־חֻקֹּתַי תִּשְׁמֹרוּ בְּהֶמְתְּךָ לֹא־תַרְבִּיעַ כִּלְאַיִם שָׂדְךָ
# לֹא־תִזְרַע כִּלְאָיִם וּבֶגֶד כִּלְאַיִם שַׁעַטְנֵז לֹא יַעֲלֶה עָלֶיךָ
# "[EN-AID] My statutes you shall keep: your beast you shall not mate in two
# kinds; your field you shall not sow in two kinds; and a garment of two
# kinds, shaatnez, shall not come upon you."
m.step("Lev.19.19")
# ‹אֶת־חֻקֹּתַי תִּשְׁמֹרוּ› (“obj-marker statute-me/my keep/guard”) —
m.statute("BIND", "et_chuqotay_tishmoru")
# ‹בְּהֶמְתְּךָ לֹא־תַרְבִּיעַ› (“livestock-you/your not squat”) —
m.statute("FORBID", "tarbia_behemtekha_kilayim")
# ‹שָׂדְךָ לֹא־תִזְרַע כִּלְאָיִם› (“field-you/your not yield-seed two-
# heterogeneities”) —
m.statute("FORBID", "tizra_sadkha_kilayim")
# ‹וּבֶגֶד כִּלְאַיִם שַׁעַטְנֵז לֹא יַעֲלֶה עָלֶיךָ› (“and-garment two-
# heterogeneities linsey-woolsey not go-up over-you/your”) —
m.statute("FORBID", "beged_kilayim_shaatnez")

# -------------------------- Lev.19.20 · THE_INQUEST_CASE -------------------
# וְאִישׁ כִּי־יִשְׁכַּב אֶת־אִשָּׁה שִׁכְבַת־זֶרַע וְהִוא שִׁפְחָה
# נֶחֱרֶפֶת לְאִישׁ וְהָפְדֵּה לֹא נִפְדָּתָה אוֹ חֻפְשָׁה לֹא נִתַּן־לָהּ
# בִּקֹּרֶת תִּהְיֶה לֹא יוּמְתוּ כִּי־לֹא חֻפָּשָׁה
# "[EN-AID] And a man who lies carnally with a woman who is a slave
# designated for a man, and she has not at all been redeemed nor freedom
# given her - there shall be an inquest; they shall not be put to death, for
# she was not freed."
m.step("Lev.19.20")
# ‹וְאִישׁ כִּי־יִשְׁכַּב אֶת־אִשָּׁה שִׁכְבַת־זֶרַע וְהִוא שִׁפְחָה
# נֶחֱרֶפֶת לְאִישׁ› (“and-man that lie-down with woman lying-down seed and-
# he/it female-slave pull-off to-man”) — case man-and-female-slave-pull-off,
# lie-down-lying-down-seed routes to examination-be
m.case("ish_ve_shifcha_necherefet, yishkav_shikhvat_zera", "biqoret_tihye")

# -------------------------- Lev.19.21 · THE_ASHAM_ROUTE --------------------
# וְהֵבִיא אֶת־אֲשָׁמוֹ לַיהוָה אֶל־פֶּתַח אֹהֶל מוֹעֵד אֵיל אָשָׁם
# "[EN-AID] And he shall bring his guilt-offering to the LORD to the
# entrance of the tent of meeting: a ram of guilt-offering."
m.step("Lev.19.21")
# ‹וְהֵבִיא אֶת־אֲשָׁמוֹ לַיהוָה אֶל־פֶּתַח אֹהֶל מוֹעֵד› (“and-come/bring
# obj-marker guilt-him/its to-YHWH to opening tent seasons”) — standing
# handler — if pull-off-case then and-come/bring-ashamo-to-opening-tent-
# seasons
m.handler("necherefet_case",
          "ve_hevi_ashamo_el_petach_ohel_moed")

# -------------------------- Lev.19.22 · ATONED_AND_FORGIVEN ----------------
# וְכִפֶּר עָלָיו הַכֹּהֵן בְּאֵיל הָאָשָׁם לִפְנֵי יְהוָה עַל־חַטָּאתוֹ
# אֲשֶׁר חָטָא וְנִסְלַח לוֹ מֵחַטָּאתוֹ אֲשֶׁר חָטָא
# "[EN-AID] And the priest shall make atonement for him with the ram of the
# guilt-offering before the LORD for his sin which he has sinned; and he
# shall be forgiven of his sin which he has sinned."
m.step("Lev.19.22")
# ‹וְכִפֶּר עָלָיו הַכֹּהֵן בְּאֵיל הָאָשָׁם לִפְנֵי יְהוָה› (“and-atone
# over-him/its the-priest in-ram the-guilt to-face YHWH”) — standing handler
# — if to-the-guilt then and-atone-the-priest ∧ and-forgive-not
m.handler("el_ha_asham",
          "ve_khiper_ha_kohen ∧ ve_nislach_lo")

# -------------------------- Lev.19.23 · THE_ORCHARD_CLOCK ------------------
# וְכִי־תָבֹאוּ אֶל־הָאָרֶץ וּנְטַעְתֶּם כָּל־עֵץ מַאֲכָל וַעֲרַלְתֶּם
# עָרְלָתוֹ אֶת־פִּרְיוֹ שָׁלֹשׁ שָׁנִים יִהְיֶה לָכֶם עֲרֵלִים לֹא יֵאָכֵל
# "[EN-AID] And when you come into the land and plant any tree for food, you
# shall treat its fruit as its foreskin; three years it shall be to you as
# uncircumcised - it shall not be eaten."
m.step("Lev.19.23")
# ‹וְכִי־תָבֹאוּ אֶל־הָאָרֶץ וּנְטַעְתֶּם כָּל־עֵץ מַאֲכָל› (“and-that
# come/bring to the-earth and-strike-in all tree eatable”) — case son-
# Israel, come/bring-to-the-earth-and-strike-in-all-tree routes to orlat-
# piryo
m.case("bene_yisrael, tavou_el_ha_aretz_u_netatem_kal_etz", "orlat_piryo")
# ‹וַעֲרַלְתֶּם עָרְלָתוֹ אֶת־פִּרְיוֹ› (“and-expose foreskin-him/its obj-
# marker fruit-him/its”) — standing handler — if three-years then
# uncircumcised-not-eat
m.handler("shalosh_shanim",
          "arelim_lo_yeakhel")

# -------------------------- Lev.19.24 · YEAR_FOUR_IS_PRAISE ----------------
# וּבַשָּׁנָה הָרְבִיעִת יִהְיֶה כָּל־פִּרְיוֹ קֹדֶשׁ הִלּוּלִים לַיהוָה
# "[EN-AID] And in the fourth year all its fruit shall be holy, praise-fruit
# to the LORD."
m.step("Lev.19.24")
# ‹וּבַשָּׁנָה הָרְבִיעִת יִהְיֶה כָּל־פִּרְיוֹ קֹדֶשׁ הִלּוּלִים לַיהוָה›
# (“and-in-years the-fourth be all fruit-him/its holiness celebration-of-
# thanksgiving- to-YHWH”) — standing handler — if in-the-years-the-fourth
# then holiness-celebration-of-thanksgiving--to-the-LORD
m.handler("ba_shana_ha_reviit",
          "qodesh_hilulim_la_YHWH")

# -------------------------- Lev.19.25 · YEAR_FIVE_AND_THE_INCREASE ---------
# וּבַשָּׁנָה הַחֲמִישִׁת תֹּאכְלוּ אֶת־פִּרְיוֹ לְהוֹסִיף לָכֶם תְּבוּאָתוֹ
# אֲנִי יְהוָה אֱלֹהֵיכֶם
# "[EN-AID] And in the fifth year you shall eat its fruit, to add its yield
# to you: I am the LORD your God."
m.step("Lev.19.25")
# ‹וּבַשָּׁנָה הַחֲמִישִׁת תֹּאכְלוּ אֶת־פִּרְיוֹ לְהוֹסִיף לָכֶם
# תְּבוּאָתוֹ› (“and-in-years the-fifth eat obj-marker fruit-him/its to-add
# to-you/your(pl) income-him/its”) — standing handler — if in-the-years-the-
# fifth then eat-obj-marker-piryo ∧ to-add-tevuato
m.handler("ba_shana_ha_chamishit",
          "tokhlu_et_piryo ∧ le_hosif_tevuato")

# -------------------------- Lev.19.26 · BLOOD_AND_OMENS --------------------
# לֹא תֹאכְלוּ עַל־הַדָּם לֹא תְנַחֲשׁוּ וְלֹא תְעוֹנֵנוּ
# "[EN-AID] You shall not eat upon the blood; you shall not read omens and
# you shall not tell fortunes."
m.step("Lev.19.26")
# ‹לֹא תֹאכְלוּ עַל־הַדָּם› (“not eat over the-blood”) —
m.statute("FORBID", "tokhlu_al_ha_dam")
# ‹לֹא תְנַחֲשׁוּ› (“not hiss”) —
m.statute("FORBID", "tenachashu")
# ‹וְלֹא תְעוֹנֵנוּ› (“and-not act-covertly”) —
m.statute("FORBID", "teonenu")

# -------------------------- Lev.19.27 · THE_CORNER_MOVES_TO_THE_HEAD -------
# לֹא תַקִּפוּ פְּאַת רֹאשְׁכֶם וְלֹא תַשְׁחִית אֵת פְּאַת זְקָנֶךָ
# "[EN-AID] You shall not round off the corner of your head, and you shall
# not destroy the corner of your beard."
m.step("Lev.19.27")
# ‹לֹא תַקִּפוּ פְּאַת רֹאשְׁכֶם› (“not strike-with-more mouth-in-a-
# figurative-sense head-you/your(pl)”) —
m.statute("FORBID", "taqifu_peat_roshkhem")
# ‹וְלֹא תַשְׁחִית אֵת פְּאַת זְקָנֶךָ› (“and-not decay obj-marker mouth-in-
# a-figurative-sense beard-you/your”) —
m.statute("FORBID", "tashchit_peat_zeqanekha")

# -------------------------- Lev.19.28 · THE_TATTOO_PAIR --------------------
# וְשֶׂרֶט לָנֶפֶשׁ לֹא תִתְּנוּ בִּבְשַׂרְכֶם וּכְתֹבֶת קַעֲקַע לֹא
# תִתְּנוּ בָּכֶם אֲנִי יְהוָה
# "[EN-AID] And a cut for the dead you shall not make in your flesh, and
# writing of tattoo you shall not put in you: I am the LORD."
m.step("Lev.19.28")
# ‹וְשֶׂרֶט לָנֶפֶשׁ לֹא תִתְּנוּ בִּבְשַׂרְכֶם› (“and-incision to-living-
# being not set in-flesh-you/your(pl)”) —
m.statute("FORBID", "seret_la_nefesh_bi_vesarkhem")
# ‹וּכְתֹבֶת קַעֲקַע לֹא תִתְּנוּ בָּכֶם› (“and-letter incision not set in-
# you/your(pl)”) —
m.statute("FORBID", "ketovet_qaaqa")

# -------------------------- Lev.19.29 · THE_DAUGHTER_AND_THE_LAND ----------
# אַל־תְּחַלֵּל אֶת־בִּתְּךָ לְהַזְנוֹתָהּ וְלֹא־תִזְנֶה הָאָרֶץ וּמָלְאָה
# הָאָרֶץ זִמָּה
# "[EN-AID] Do not profane your daughter to make her a harlot, lest the land
# fall to harlotry and the land fill with depravity."
m.step("Lev.19.29")
# ‹אַל־תְּחַלֵּל אֶת־בִּתְּךָ לְהַזְנוֹתָהּ› (“do-not bore obj-marker
# daughter-you/your to-commit-adultery-her/its”) —
m.statute("FORBID", "techalel_et_bitkha_le_haznotah")

# -------------------------- Lev.19.30 · THE_CHIASM_CLOSES ------------------
# אֶת־שַׁבְּתֹתַי תִּשְׁמֹרוּ וּמִקְדָּשִׁי תִּירָאוּ אֲנִי יְהוָה
# "[EN-AID] My sabbaths you shall keep and My sanctuary you shall fear: I am
# the LORD."
m.step("Lev.19.30")
# ‹אֶת־שַׁבְּתֹתַי תִּשְׁמֹרוּ וּמִקְדָּשִׁי תִּירָאוּ› (“obj-marker
# intermission-me/my keep/guard and-consecrated-thing-me/my fear”) —
m.statute("BIND", "shabtotay_tishmoru_u_miqdashi_tirau")

# -------------------------- Lev.19.31 · THE_TURN_VERB_RETURNS --------------
# אַל־תִּפְנוּ אֶל־הָאֹבֹת וְאֶל־הַיִּדְּעֹנִים אַל־תְּבַקְשׁוּ לְטָמְאָה
# בָהֶם אֲנִי יְהוָה אֱלֹהֵיכֶם
# "[EN-AID] Do not turn to the ghost-mediums, and to the familiar spirits do
# not seek, to be defiled by them: I am the LORD your God."
m.step("Lev.19.31")
# ‹אַל־תִּפְנוּ אֶל־הָאֹבֹת וְאֶל־הַיִּדְּעֹנִים› (“do-not turn to the-
# mumble and-to the-knowing-one”) —
m.statute("FORBID", "peno_el_ha_ovot")
# ‹אַל־תְּבַקְשׁוּ לְטָמְאָה בָהֶם› (“do-not search-out to-be-foul in-
# them/their”) —
m.statute("FORBID", "baqesh_el_ha_yidonim")

# -------------------------- Lev.19.32 · RISE_BEFORE_GREY_HAIR --------------
# מִפְּנֵי שֵׂיבָה תָּקוּם וְהָדַרְתָּ פְּנֵי זָקֵן וְיָרֵאתָ מֵּאֱלֹהֶיךָ
# אֲנִי יְהוָה
# "[EN-AID] Before grey hair you shall rise, and you shall honor the face of
# the aged; and you shall fear your God: I am the LORD."
m.step("Lev.19.32")
# ‹מִפְּנֵי שֵׂיבָה תָּקוּם› (“from-face old-age arise”) —
m.statute("BIND", "mi_pene_seva_taqum")
# ‹וְהָדַרְתָּ פְּנֵי זָקֵן› (“and-swell-up face old”) —
m.statute("BIND", "ve_hadarta_pene_zaqen")
# ‹וְיָרֵאתָ מֵּאֱלֹהֶיךָ› (“and-fear from-God-you/your”) —
m.statute("BIND", "ve_yareta_me_elohekha")

# -------------------------- Lev.19.33 · THE_GER_CASE -----------------------
# וְכִי־יָגוּר אִתְּךָ גֵּר בְּאַרְצְכֶם לֹא תוֹנוּ אֹתוֹ
# "[EN-AID] And when a stranger sojourns with you in your land, you shall
# not wrong him."
m.step("Lev.19.33")
# ‹וְכִי־יָגוּר אִתְּךָ גֵּר בְּאַרְצְכֶם› (“and-that turn-aside-from-the-
# road with-you/your sojourner in-earth-you/your(pl)”) — case sojourner,
# turn-aside-from-the-road-itkha-in-artzkhem routes to mishpat-the-sojourner
m.case("ger, yagur_itkha_be_artzkhem", "mishpat_ha_ger")
# ‹לֹא תוֹנוּ אֹתוֹ› (“not rage obj-marker-him/its”) —
m.statute("FORBID", "tonu_oto")

# -------------------------- Lev.19.34 · THE_SECOND_LOVE --------------------
# כְּאֶזְרָח מִכֶּם יִהְיֶה לָכֶם הַגֵּר הַגָּר אִתְּכֶם וְאָהַבְתָּ לוֹ
# כָּמוֹךָ כִּי־גֵרִים הֱיִיתֶם בְּאֶרֶץ מִצְרָיִם אֲנִי יְהוָה אֱלֹהֵיכֶם
# "[EN-AID] As a native among you shall the stranger who sojourns with you
# be to you, and you shall love him as yourself, for strangers you were in
# the land of Egypt: I am the LORD your God."
m.step("Lev.19.34")
# ‹כְּאֶזְרָח מִכֶּם יִהְיֶה לָכֶם הַגֵּר הַגָּר אִתְּכֶם› (“like-
# spontaneous-growth from-you/your(pl) be to-you/your(pl) the-sojourner the-
# turn-aside-from-the-road with-you/your(pl)”) —
m.statute("BIND", "ke_ezrach_mikem_yihye_lakhem")
# ‹וְאָהַבְתָּ לוֹ כָּמוֹךָ› (“and-have-affection-for to-him/its form-of-
# the-prefix-'k-'-you/your”) —
m.statute("BIND", "ve_ahavta_lo_kamokha")

# -------------------------- Lev.19.35 · THE_FORMULA_RETURNS ----------------
# לֹא־תַעֲשׂוּ עָוֶל בַּמִּשְׁפָּט בַּמִּדָּה בַּמִּשְׁקָל וּבַמְּשׂוּרָה
# "[EN-AID] You shall do no wrong in judgment - in measure, in weight, or in
# liquid-measure."
m.step("Lev.19.35")
# ‹לֹא־תַעֲשׂוּ עָוֶל בַּמִּשְׁפָּט בַּמִּדָּה בַּמִּשְׁקָל וּבַמְּשׂוּרָה›
# (“not make evil in-judgment in-extension in-weight and-in-measure”) —
m.statute("FORBID", "avel_ba_mishpat_ba_mida_ba_mishqal_u_va_mesura")

# -------------------------- Lev.19.36 · THE_JUST_KIT -----------------------
# מֹאזְנֵי צֶדֶק אַבְנֵי־צֶדֶק אֵיפַת צֶדֶק וְהִין צֶדֶק יִהְיֶה לָכֶם אֲנִי
# יְהוָה אֱלֹהֵיכֶם אֲשֶׁר־הוֹצֵאתִי אֶתְכֶם מֵאֶרֶץ מִצְרָיִם
# "[EN-AID] Just scales, just weights, a just efah and a just hin shall you
# have: I am the LORD your God who brought you out of the land of Egypt."
m.step("Lev.19.36")
# ‹מֹאזְנֵי צֶדֶק אַבְנֵי־צֶדֶק אֵיפַת צֶדֶק וְהִין צֶדֶק יִהְיֶה לָכֶם›
# (“pair-of-scales right stone right ephah right and-hin right be to-
# you/your(pl)”) —
m.statute("BIND", "mozne_tzedeq_avne_tzedeq_efat_tzedeq_ve_hin_tzedeq")

# -------------------------- Lev.19.37 · THE_CLOSER -------------------------
# וּשְׁמַרְתֶּם אֶת־כָּל־חֻקֹּתַי וְאֶת־כָּל־מִשְׁפָּטַי וַעֲשִׂיתֶם אֹתָם
# אֲנִי יְהוָה
# "[EN-AID] And you shall keep all My statutes and all My judgments, and do
# them: I am the LORD."
m.step("Lev.19.37")
# ‹וּשְׁמַרְתֶּם אֶת־כָּל־חֻקֹּתַי וְאֶת־כָּל־מִשְׁפָּטַי וַעֲשִׂיתֶם אֹתָם›
# (“and-keep/guard obj-marker all statute-me/my and-obj-marker all judgment-
# me/my and-make obj-marker-them/their”) —
m.statute("BIND", "u_shemartem_kal_chuqotay_ve_kal_mishpatay_va_asitem")

# -------------------------- 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_kal_adat(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(['statute: BIND(qedoshim_tihyu)', 'statute: BIND(imo_ve_aviv_tirau)', 'statute: BIND(shabtotay_tishmoru)', 'statute: FORBID(peno_el_ha_elilim)', 'statute: FORBID(elohe_masekha)', 'case: bene_yisrael, tizbchu_zevach_shelamim -> li_retzonkhem_tizbachuhu', 'handler: IF(be_yom_zivchakhem_u_mi_machorat) THEN(yeakhel ∧ ha_notar_ba_esh_yisaref)', 'handler: IF(heakhol_yeakhel_ba_yom_ha_shelishi) THEN(pigul_hu_lo_yeratze)', 'handler: IF(akhal_pigul) THEN(avono_yisa ∧ nikhrta_ha_nefesh_me_ameha)', 'statute: FORBID(tekhale_peat_sadkha)', 'statute: FORBID(leqet_qetzirkha)', 'statute: FORBID(teolel_karmkha)', 'statute: FORBID(peret_karmkha)', 'statute: BIND(le_ani_ve_la_ger_taazov)', 'statute: FORBID(tignovu)', 'statute: FORBID(tekhachashu)', 'statute: FORBID(teshaqru_ish_ba_amito)', 'statute: FORBID(tishavu_vi_shemi_la_shaqer)', 'statute: FORBID(taashoq_et_reakha)', 'statute: FORBID(tigzol)', 'statute: FORBID(talin_peulat_sakhir)', 'statute: FORBID(teqalel_cheresh)', 'statute: FORBID(mikhshol_li_fene_iver)', 'statute: BIND(ve_yareta_me_elohekha)', 'statute: FORBID(avel_ba_mishpat)', 'statute: FORBID(tisa_fene_dal)', 'statute: FORBID(tehdar_pene_gadol)', 'statute: BIND(be_tzedeq_tishpot_amitekha)', 'statute: FORBID(telekh_rakhil_be_amekha)', 'statute: FORBID(taamod_al_dam_reekha)', 'statute: FORBID(tisna_et_achikha_bi_levavekha)', 'statute: BIND(hokheach_tokhiach_et_amitekha)', 'statute: FORBID(tisa_alav_chet)', 'statute: FORBID(tiqom)', 'statute: FORBID(titor_et_bene_amekha)', 'statute: BIND(ve_ahavta_le_reakha_kamokha)', 'statute: BIND(et_chuqotay_tishmoru)', 'statute: FORBID(tarbia_behemtekha_kilayim)', 'statute: FORBID(tizra_sadkha_kilayim)', 'statute: FORBID(beged_kilayim_shaatnez)', 'case: ish_ve_shifcha_necherefet, yishkav_shikhvat_zera -> biqoret_tihye', 'handler: IF(necherefet_case) THEN(ve_hevi_ashamo_el_petach_ohel_moed)', 'handler: IF(el_ha_asham) THEN(ve_khiper_ha_kohen ∧ ve_nislach_lo)', 'case: bene_yisrael, tavou_el_ha_aretz_u_netatem_kal_etz -> orlat_piryo', 'handler: IF(shalosh_shanim) THEN(arelim_lo_yeakhel)', 'handler: IF(ba_shana_ha_reviit) THEN(qodesh_hilulim_la_YHWH)', 'handler: IF(ba_shana_ha_chamishit) THEN(tokhlu_et_piryo ∧ le_hosif_tevuato)', 'statute: FORBID(tokhlu_al_ha_dam)', 'statute: FORBID(tenachashu)', 'statute: FORBID(teonenu)', 'statute: FORBID(taqifu_peat_roshkhem)', 'statute: FORBID(tashchit_peat_zeqanekha)', 'statute: FORBID(seret_la_nefesh_bi_vesarkhem)', 'statute: FORBID(ketovet_qaaqa)', 'statute: FORBID(techalel_et_bitkha_le_haznotah)', 'statute: BIND(shabtotay_tishmoru_u_miqdashi_tirau)', 'statute: FORBID(peno_el_ha_ovot)', 'statute: FORBID(baqesh_el_ha_yidonim)', 'statute: BIND(mi_pene_seva_taqum)', 'statute: BIND(ve_hadarta_pene_zaqen)', 'statute: BIND(ve_yareta_me_elohekha)', 'case: ger, yagur_itkha_be_artzkhem -> mishpat_ha_ger', 'statute: FORBID(tonu_oto)', 'statute: BIND(ke_ezrach_mikem_yihye_lakhem)', 'statute: BIND(ve_ahavta_lo_kamokha)', 'statute: FORBID(avel_ba_mishpat_ba_mida_ba_mishqal_u_va_mesura)', 'statute: BIND(mozne_tzedeq_avne_tzedeq_efat_tzedeq_ve_hin_tzedeq)', 'statute: BIND(u_shemartem_kal_chuqotay_ve_kal_mishpatay_va_asitem)'])
    assert m.WORLD["invariants"] == []
    assert m.WORLD["partitions"] == []
    assert len(m.EVENTS) == 70
    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.