The skin-mark intake: case, handlers, quarantine loop (Lev 13:1-8) — first law unit FROZEN

unit lev_13_intake_quarantine · Leviticus 13:1-8 · derive logic_derived_v1 · phase C-8 / law-1
⇄ verse view — this span in the scroll (trees + morphology)  ·  ☰ all derived units

תּוֹרַת נֶגַע הָעוֹר — הַקְּלִיטָה וְהַהֶסְגֵּר · torat nega ha-or — ha-klitah ve-ha-hesger · the law of the skin mark — the intake and the quarantine

Derived 2026-07-31 at owner's order ("yes now derive it") under the calibrated coverage protocol (charter section 4.1): the span's Onkelos was read Tier-A at derive time (8 sequential per-verse fetches, logged in Data/FETCHLOG.md) and the prospective middot-detector run preceded drafting (logic/middot_scan/WATCHLIST_lev13_intake_prospective_ 2026-07-31.md) — star corpus-side join: se'et ("swelling"), the intake's lead mark-name, grade A with its debut at Gen 4:7 (Cain's im-branch). UNIT BOUNDARY: the letter's own case-opener syntax — 13:9 opens a fresh ki ("when") case (nega tzara'at KI tihyeh be-adam) — so the derivation unit ends at 13:8; the old-era four-block segmentation's "skin_initial" becomes two derivation units. FIRST LAW UNIT: interpreter vocabulary extension required at freeze — the CASE and HANDLER operators (the law genre's installers; ASSIGN/BLESS/CMD-US precedent) — pre-flight ran all scenarios green with the prototypes injected. FROZEN 2026-08-01 on owner order ("freeze lev 13"): h_case + h_handler landed in the interpreter and the unit was re-verified green through the real machine, alongside all seven creation units.
Logic-derived v1: v3 ta'amim trees (glue bricks, pure binary) -> leaf role frames from OSHB morph -> operator lines citing TIR rules -> machine-state scenarios. LAW-GENRE NOTE: this unit's operators INSTALL standing code — they do not execute it. Handlers are recorded as standing WORLD facts (the day-5 BLESS mandate precedent: standing directives with horizons beyond the unit are facts, never SPECS). Nothing in this unit demands, builds, tests, names, or commits: the genre signature is the machine's near-total silence outside the handler register — asserted in the scenarios, not narrated.
ORAL AUDIT — crowns (chain-attested + DB-verified): ORAL AUDIT 2026-08-08 (retro, oral-first era; record: logic/oral_audit/AUDIT_lev_13_2026-08-08.md; manifest 2 VERIFIED / 0 FAILED / 2 UNCHECKABLE — thin oral layer, proportionate audit). CROWNS (chain-attested + DB-verified). THE LEFT-DOTTED HAIR [L13-01, Minchat Shai on 13:3]: ושער ("and the hair") of the intake exam — "with SIN" (the left-dotted letter), the sin dot in-stream. ONE PAIR OF THE ELEVEN [L13-02, MS on 13:4; the Masorah's eleven-pairs list]: ושערה ("and its hair") at 13:4 is written WITHOUT mapik (the sounding dot in the final he) — the hair that did NOT turn white in the shut-up case — while its fellow at 13:20 carries the dot: "of the ELEVEN PAIRS, one with mapik and one without." Both halves in-stream: the dotted he at 13:20 checked, the bare he at 13:4 asserted at build. GAPS [L13-03/04]: MS's two negatives at 13:3 — no paseq (the dividing stroke) after "the priest," no meteg (the small stress-stroke) in the bet of בעור ("in the skin") — asserted at build, SNAPSHOT matching MS on both (a not-contains check type would green them); and the OPEN paragraph break at אדם כי יהיה ("a man, when he has," 13:1) — paragraph layer uninstrumented, filed to the paragraph gap class. READINGS (named-only): Kitzur on 13:5 — והנה ("and BEHOLD") falls only on what was not known before: the nega shut up seven days emerges to a fresh look, "like 'and behold, it was Leah'" (Gen 29:25).
confidence: structure tested; operator readings tested-per-TIR; intent hypothesis

Derivation log (steps A–J)

stepnamecommentconfidence
ABlock choiceFirst law unit, chosen as pilot (owner discussion 2026-07-31): Lev 13:1-8, the skin-mark intake — the most code-shaped procedure in the Torah (case dispatch, predicate conditionals, a bounded two-iteration quarantine loop with fixed re-inspection dates, declarative status writes, and a trigger that stays armed after release). The unit boundary is the text's own: 13:2 opens the case with ki ("when"); 13:9 opens the NEXT case with its own ki — one ki-case per unit, the law-genre analogue of one day-commit per unit. Chapter-wide particle census (DB): ki ("when") x13, im ("if") x15 — the branch tokens are the letter's, not the machine's.established
BHebrew source + treesAll 8 verses via taamim_tree_parse.py rule set v3: status unique, pure_binary true. tree_ascii regenerated 2026-07-31 from DB tree_json. STRUCTURAL FINDING: in all seven law verses (2-8), the etnachta (major mid-verse rest) falls exactly at the CONDITION | ACTION boundary — the cantillation brackets IF | THEN: 13:2 [case conditions | routing], 13:3 [predicates + classification | verdict act], 13:4 [three negated predicates | confine], 13:5 [day-7 check | second confine], 13:6 [second check | release chain], 13:7 [spread condition | re-presentation], 13:8 [confirmation | verdict]. The 13:1 frame verse (no etnachta) is the only verse without the bracket — and the only verse with a narrative verb. Accent-level echo: 13:5 and 13:6 carry the rare zinor + segol pair on their seventh-day inspection frames — the same rare pair Gen 1:28's blessing frame carries (observation tier).tested
CSegment structureVerb morphology (#IMPOSED OSHB, DB-verified 2026-07-31): the span holds exactly ONE narrative-spine verb — va-yedabber (Vpw3ms, piel wayyiqtol 'and-then-he-spoke', 13:1, the frame). Everything after it is law grammar: yihyeh Vqi3ms (imperfect inside the ki-frame — the CASE CONDITION, not a demand: same form, different genre, the ki re-types it); then WEQATAL ('and-he-shall-do', TIR-029) on every action verb, stem by stem: ve-hayah Vqq (the threshold), ve-huva VHq (HOPHAL weqatal — passive routing: 'he SHALL BE BROUGHT'), ve-ra'ah/ ve-ra'ahu Vqq x6 (the inspection calls), ve-hisgir/ve-hisgiro Vhq x2 (HIPHIL — the confine calls), ve-timme/ve-timme'o Vpq x2 and ve-tiharo Vpq (PIEL DECLARATIVES — 'declare impure/pure': status writes, not transformations), ve-khibbes Vpq (the released party's own duty), ve-taher Vqq (QAL stative — 'and he IS pure': the declare/become minimal pair with piel ve-tiharo INSIDE ONE VERSE, 13:6), ve-nir'ah VNq (NIPHAL weqatal — passive re-presentation). Condition predicates ride PERFECTS inside the if-clauses (hafakh 'has turned', amad 'has stood', fasah 'has spread', kehah Vpp 'has dimmed') with the negators lo/ein. 13:7's condition carries the INFINITIVE-ABSOLUTE DOUBLING pasoh tifseh (Vqa + Vqi3fs — 'spread it SPREADS') — the mot-tamut construction (Gen 2:17) on the escalation verb. Orthography flag: 13:4 and 13:8 write the feminine pronoun as הוא (ktiv hu) coded Pp3fs (qere hi) — the Torah-wide ktiv/qere on this pronoun, letter-visible in our own data, recorded [OPEN]. Form shift: the 13:2 mark-name sapachat returns at 13:6-8 as MISPACHAT (mem-prefixed; 3 occurrences, Torah-wide unique to this chapter) — recorded [OPEN]; Onkelos levels both to one word.tested
DPredicates & outcomes13:1 FRAME: the only event — YHWH speaks to Moshe AND AHARON (dual addressee: the inspector is on the distribution list of the inspection law; first YHWH-name in a derived unit — the gen units ran on Elohim). 13:2 CASE: adam KI yihyeh — the intake filter: three mark-classes (se'et/sapachat/baheret, or-connected) in the skin of the flesh, threshold ve-hayah le-nega tzara'at, then PASSIVE routing (ve-huva — the case moves; no one is commanded to move it) to a NAMED inspector class (Aaron the priest or one of his sons). 13:3 HANDLER 1 (verdict-impure): IF hair in the mark has turned white AND its look is deeper than the skin THEN it IS nega tzara'at — the priest sees him and DECLARES him impure (piel declarative; the doubled seeing ve-ra'ah...ve-ra'ahu recorded [OPEN]). 13:4 HANDLER 2 (confine): IF bright-spot white AND look NOT deeper AND hair NOT turned THEN confine SEVEN DAYS — and the letter confines ET-HA-NEGA ('THE MARK'), where 13:5 confines ve-hisgirO ('HIM'): mark-object vs person-object across the two confinements, [OPEN]. 13:5 HANDLER 3 (first recheck): ON THE SEVENTH DAY (day 7's definite label as the loop's re-entry date), ve-hineh — IF the mark has STOOD in its appearance (amad be-einav — idiom [OPEN]; Onkelos resolves: 'stood AS IT WAS') AND not spread THEN confine seven days SHENIT ('a second time' — the loop's bounded second and final iteration). 13:6 HANDLER 4 (release): second seventh-day check — IF dimmed AND not spread THEN the priest DECLARES HIM PURE; classification mispachat hi ('it is a scab'); the released party washes his garments (subject shifts priest->patient mid-chain); ve-taher — 'and he IS pure' (stative). 13:7 HANDLER 5 (armed trigger): IF spread it SPREADS after his having been seen for his purification THEN he SHALL BE SEEN a second time — the release is conditional forever; the case can reopen. 13:8 HANDLER 6 (reopen verdict): the priest sees, ve-hineh it has spread — DECLARE impure: tzara'at hi. Then the span ends mid-parashah: no receipt, no test, no commit — six handlers standing, nothing executed. THE LAW INSTALLS; ONLY CASES EXECUTE.tested
ELogic format choiceNEW OPERATOR FAMILY for the law genre (interpreter extension at freeze; ASSIGN/BLESS/CMD-US precedent): CASE (the ki-opener: intake filter + routing, recorded as a standing WORLD fact) and HANDLER (the weqatal chain: IF(predicates) THEN(actions), recorded as a standing WORLD fact). Handlers are INSTALLED, never executed — the day-5 BLESS-mandate rule extended to its natural genre: standing directives are facts, not SPECS; there is no receipt because nothing was demanded of the narrative present. The unit therefore leaves SPECS/TESTS/REGISTRY/LEDGER untouched — asserted as machine state in the scenarios (the gen_07 LEDGER-stays-EMPTY check reused: the law, like the seventh day, is an open transaction — standing, re-entered per case, never closed by the text).established
FBilingual logic objectsEvery operator line carries he + he_translit + en; machine tokens apostrophe-free (seet_o_sapachat_o_baheret, mareh_amok). Predicate tokens inside IF()/THEN() are underscore-joined transliterations of the verse's own words, so scenario fact-tokens remain checkable.established
GOral (named only) + Tier-A translation checkChain-primary honesty: Sifra Tazria (Nega'im) and Mishnah Negaim — the chapter's owners, and the home texts of the 13 middot — are NOT in the local cache; nothing is claimed from them. Named for the Tier-A triage queue: Sifra Tazria Nega'im parashah 1ff; Mishnah Negaim 1:1 (the four shades), 3:1 (who inspects); Bavli Shevuot 6a-b (the shades sugya — bears on Onkelos's amka); Bavli Arakhin 15b-16b (tzara'at and speech-sin); Bereshit Rabbah 41:2 (the Gen 12:17 nega debut as tzara'at). Tier-A Onkelos read at derive time (FETCHLOG 2026-07-31), five findings — the star: tzara'at rendered SEGIRU/SEGIRUTA ('the SHUTTING-disease') — the condition named by its own quarantine procedure, on the sagar root whose corpus debut is Gen 2:21's flesh-closure (and 7:16's ark-closure): translation- level fusion of disease and confinement. Also: amad be-einav resolved to kam kad havah ('stood AS IT WAS' — appearance reading); sapachat/mispachat leveled to adita ('the added one'); se'et (raised) rendered amka ('deep-spot') — dossier queued; the piel declaratives retained (visa'ev/vidakkei — declare, not transform).tested
HScenariosS1 the frame (nothing but an event and two presupposition flags); S2 the case fact standing; S3-S8 one handler fact per verse, accumulating; S8 also asserts the GENRE SIGNATURE as machine state: SPECS empty, no test, no name, LEDGER stays EMPTY (open transaction). S9_negative re-asserts flag-never-block. No demand exists in the unit, so no mood-contract scenario applies — shared with gen_07, for the same textual reason inverted: day 7 had nothing left to demand; the law demands nothing because it installs for cases that have not yet occurred.tested
IEnglish leakage reviewOperators derive from morph codes (the single Vpw frame verb; Vqi inside ki -> case condition; Vqq/Vpq/Vhq/VHq/VNq weqatal -> THEN per TIR-029, stems preserved in the readings — hophal passive routing, hiphil confine, piel declaratives, qal stative, niphal re-presentation; Vqa+Vqi doubling at 13:7; perfects as condition predicates), particles (ki/im case/branch tokens — 13/15 chapter census; lo/ein negators; o 'or' disjunction in the intake list), and the etnachta condition|action bracket verified on all seven law verses. The ktiv-hu/qere-hi and sapachat/mispachat flags rest on our own letter data.established
JPre-flight + freeze gatePre-flight 2026-07-31: prototype CASE + HANDLER handlers injected in the scratchpad harness (repo file untouched); all scenarios green. FROZEN 2026-08-01 on owner order ("freeze lev 13"): h_case + h_handler added to run_unit.py and dispatched; unit re-verified green through the real interpreter. Narrative (ASK FIRST) and triage remain on owner order — the triage doubles as the middot detector's legal-device tripwire test (Sifra/Negaim enter the cache). Changes require a new derive pass, not silent edits.established

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

STEP_Lv_13_1 · Lev.13.1 · FRAME_SPEECH

וַיְדַבֵּר יְהוָה אֶל־מֹשֶׁה וְאֶל־אַהֲרֹן לֵאמֹר · va-yedabber YHWH el-Moshe ve-el-Aharon le-mor · [EN-AID/JPS] And the LORD spoke unto Moses and unto Aaron, saying:

LEFT
וידבר יהוה · va-yedabber YHWH · the frame's speech event
RIGHT
אל משה ואל אהרן לאמר · el-Moshe ve-el-Aharon le-mor · the dual distribution list + the quote opener
operatorexpressionHebrew anchorcitesconfidence
EVENTspeak(e1) ∧ Agent(e1, YHWH)
= speak(e1) ∧ Agent(e1, the-LORD)
The unit's ONLY narrative-spine verb (Vpw3ms, wayyiqtol — 'and-then-he-spoke'): the frame that hands down everything after it. First YHWH-name in a derived unit (the seven gen units ran entirely on Elohim). Dual addressee: el-Moshe VE-EL AHARON — the law whose executor is the priest is ADDRESSED to the priest; the inspector is on the distribution list of the inspection procedure. 		וַיְדַבֵּר יְהוָה · va-yedabber YHWH
= spoke the-LORD		—tested
NOTE_PRESUPPOSEDmoshe, aharon are READ without prior install (standalone machine; the persons of the Exodus narrative — cross-unit chaining is Stage E)
= Moses, Aaron are READ without prior install (standalone machine; the persons fowl the Exodus narrative — cross-unit chaining is Stage E)
flag, not fix — the frame's addressees are imports		——tested
One verse of narrative, then the machine goes silent: no wayyiqtol ('and-then-he-did' form) occurs again in the span. The learning pass measured this genre signature corpus-wide (Lev 1: 2 narrative verbs vs 27 weqatal); this unit holds it at 1 vs 13.

STEP_Lv_13_2 · Lev.13.2 · CASE_INTAKE

אָדָם כִּי־יִהְיֶה בְעוֹר־בְּשָׂרוֹ שְׂאֵת אוֹ־סַפַּחַת אוֹ בַהֶרֶת וְהָיָה בְעוֹר־בְּשָׂרוֹ לְנֶגַע צָרָעַת וְהוּבָא אֶל־אַהֲרֹן הַכֹּהֵן אוֹ אֶל־אַחַד מִבָּנָיו הַכֹּהֲנִים · adam ki-yihyeh ve-or-besaro se'et o-sapachat o vaheret ve-hayah ve-or-besaro le-nega tzara'at ve-huva el-Aharon ha-kohen o el-achad mi-banav ha-kohanim · [EN-AID/JPS] When a man shall have in the skin of his flesh a rising, or a scab, or a bright spot, and it become in the skin of his flesh the plague of leprosy, then he shall be brought unto Aaron the priest, or unto one of his sons the priests.

LEFT
אדם כי יהיה בעור בשרו שאת או ספחת או בהרת והיה בעור בשרו לנגע צרעת · adam ki-yihyeh be-or besaro se'et o sapachat o baheret ve-hayah be-or besaro le-nega tzara'at · the case conditions: subject, ki-trigger, three mark-classes, threshold (etnachta arm)
RIGHT
והובא אל אהרן הכהן או אל אחד מבניו הכהנים · ve-huva el-Aharon ha-kohen o el-achad mi-banav ha-kohanim · the routing: passive, to the named inspector class
operatorexpressionHebrew anchorcitesconfidence
CASECASE(adam, mark_in_or_basar(seet_o_sapachat_o_baheret) -> nega_tzaraat) ROUTE(hova_el_ha_kohen)
= CASE(human, mark-in-skin-of-flesh(swelling-or-scab-or-bright-spot) -> the-disease-mark) ROUTE(hova-to-the-priest)
THE CORPUS'S FIRST DERIVED CASE OPERATOR. adam KI-yihyeh — the ki ('when') re-types the imperfect: in narrative, yihyeh in command position was a demand (TIR-028's LET?); inside a ki-frame it is a CASE CONDITION — a trigger awaiting instances, not a receipt. The intake filter: THREE mark-classes joined by o ('or') — se'et ('swelling' — detector grade A: its only earlier life is Gen 4:7, Cain's im-branch), sapachat ('scab'), baheret ('bright spot') — in the SKIN of his FLESH (be-or besaro: Gen 3:21's or on Gen 2:21's basar). Threshold: ve-hayah (weqatal) le-nega tzara'at — 'and it BECOMES a tzara'at mark' (nega: Gen 12:17's debut noun; tzara'at: Onkelos renders SEGIRU, 'the shutting-disease'). Routing: ve-huva — HOPHAL weqatal, PASSIVE: 'he shall BE BROUGHT' — the case moves; no agent is commanded to move it. Inspector class NAMED: Aaron the priest or ONE OF his sons — the office (Exod 28) with a disjunction: any single priest suffices, [OPEN] (Sifra/Negaim 3:1 queued: who may inspect). 		אָדָם כִּי־יִהְיֶה … וְהוּבָא אֶל־אַהֲרֹן הַכֹּהֵן · adam ki-yihyeh … ve-huva el-Aharon ha-kohen
= human when-there-is he-shall-be-brought to-Aaron priest		TIR-029tested
NOTE_PRESUPPOSEDadam, or_basar, ha_kohen are READ without prior install (standalone machine; gen_06 species / Gen 3:21 skin on Gen 2:21 flesh / Exod 28 office — the import chain is mapped in gen_boot)
= human, skin-of-flesh, the-priest are READ without prior install (standalone machine; gen-06 species / Gen 3:21 skin on Gen 2:21 flesh / Exod 28 office — the import chain is mapped in gen-boot)
flag, not fix — the case's subject, substrate, and officer are all imports		——tested
The etnachta brackets [conditions | routing] — the first of seven consecutive verses whose accent split is the IF|THEN boundary. The opening five words carry four imports and zero local installs: the law legislates entirely over inherited symbols.

STEP_Lv_13_3 · Lev.13.3 · HANDLER_VERDICT_TAMEI

וְרָאָה הַכֹּהֵן אֶת־הַנֶּגַע בְּעוֹר־הַבָּשָׂר וְשֵׂעָר בַּנֶּגַע הָפַךְ לָבָן וּמַרְאֵה הַנֶּגַע עָמֹק מֵעוֹר בְּשָׂרוֹ נֶגַע צָרַעַת הוּא וְרָאָהוּ הַכֹּהֵן וְטִמֵּא אֹתוֹ · ve-ra'ah ha-kohen et-ha-nega be-or ha-basar ve-se'ar ba-nega hafakh lavan u-mar'eh ha-nega amok me-or besaro nega tzara'at hu ve-ra'ahu ha-kohen ve-timme oto · [EN-AID/JPS] And the priest shall look upon the plague in the skin of the flesh; and if the hair in the plague be turned white, and the appearance of the plague be deeper than the skin of his flesh, it is the plague of leprosy; and the priest shall look on him, and pronounce him unclean.

LEFT
וראה הכהן את הנגע בעור הבשר ושער בנגע הפך לבן ומראה הנגע עמק מעור בשרו נגע צרעת הוא · ve-ra'ah ha-kohen … hafakh lavan … amok me-or besaro — nega tzara'at hu · inspection call + two predicates + classification (etnachta arm)
RIGHT
וראהו הכהן וטמא אתו · ve-ra'ahu ha-kohen ve-timme oto · the verdict act: see him — declare him impure
operatorexpressionHebrew anchorcitesconfidence
HANDLERHANDLER IF(sear_hafakh_lavan ∧ mareh_amok_me_or) THEN(classify(nega_tzaraat_hu) ∧ timme(status_tamei))
= HANDLER IF(hair-has-turned-white ∧ appearance-deeper-from-skin-of) THEN(classify(into-a-mark-of-the-disease-it-is) ∧ he-shall-declare-impure(status-impure))
THE CORPUS'S FIRST DERIVED HANDLER. The inspection call is weqatal (ve-ra'ah, 'he SHALL see' — TIR-029 THEN, standing obligation): Gen 1:31's instrument (ra'ah + verdict) as delegated procedure. Predicates ride PERFECTS inside the condition: hafakh lavan ('HAS TURNED white'), mareh amok ('appearance DEEPER than the skin' — Onkelos renders se'et itself as amka, 'deep-spot': the shades dossier, Shevuot 6a-b, queued). Classification clause: nega tzara'at HU ('it IS…') — the law names the state before writing it. Verdict: ve-ra'ahu … ve-timme oto — the seeing DOUBLED (ve-ra'ah opens, ve-ra'ahu closes — [OPEN]: the chain's re'iyah discussions queued), then the PIEL DECLARATIVE: timme = 'DECLARE impure' (not 'make') — day 7's status-write device (kadosh by declaration) in its law-side form, negative polarity. Onkelos keeps it declarative (visa'ev yateh). 		וְשֵׂעָר … הָפַךְ לָבָן וּמַרְאֵה … עָמֹק … וְטִמֵּא אֹתוֹ · ve-se'ar … hafakh lavan u-mar'eh … amok … ve-timme oto
= hair has-turned white appearance-of deeper he-shall-declare-impure him		TIR-029tested
Handler 1 standing: the immediate-verdict branch. Note what is NOT here: no penalty, no sacrifice, no exile clause — this unit only classifies and routes; consequences live in later spans (13:45-46). The machine installs exactly what the span says and nothing ahead of it.

STEP_Lv_13_4 · Lev.13.4 · HANDLER_CONFINE_FIRST

וְאִם־בַּהֶרֶת לְבָנָה הִוא בְּעוֹר בְּשָׂרוֹ וְעָמֹק אֵין־מַרְאֶהָ מִן־הָעוֹר וּשְׂעָרָה לֹא־הָפַךְ לָבָן וְהִסְגִּיר הַכֹּהֵן אֶת־הַנֶּגַע שִׁבְעַת יָמִים · ve-im-baheret levanah hi ve-or besaro ve-amok ein-mar'eha min-ha-or u-se'arah lo-hafakh lavan ve-hisgir ha-kohen et-ha-nega shivat yamim · [EN-AID/JPS] And if the bright spot be white in the skin of his flesh, and the appearance thereof be not deeper than the skin, and the hair thereof be not turned white, then the priest shall shut up him that hath the plague seven days.

LEFT
ואם בהרת לבנה הוא בעור בשרו ועמק אין מראה מן העור ושערה לא הפך לבן · ve-im baheret levanah hi … ve-amok EIN mar'eha … u-se'arah LO hafakh lavan · the im-branch: one positive + two NEGATED predicates (etnachta arm)
RIGHT
והסגיר הכהן את הנגע שבעת ימים · ve-hisgir ha-kohen et-ha-nega shivat yamim · the confine call: seven days
operatorexpressionHebrew anchorcitesconfidence
HANDLERHANDLER IF(baheret_levanah ∧ ein_amok_mareha ∧ lo_hafakh_lavan) THEN(hisgir(et_ha_nega, shivat_yamim))
= HANDLER IF(bright-spot-white ∧ is-not-deeper-its-appearance ∧ not-has-turned-white) THEN(he-shall-confine(obj-marker-the-into-a-mark-of, seven-of-days))
The im ('if') branch — the chapter's sub-case particle (im x15 chapter-wide vs ki x13; the letter's own if/elif distinction). Predicates NEGATED with the corpus's two negators in one condition (ein for the nominal clause, lo for the verbal — 'its look is NOT deeper', 'hair has NOT turned'): uncertainty defined as the complement of handler 1's condition. THEN: ve-hisgir (HIPHIL weqatal) — CONFINE, SEVEN DAYS: the quarantine call, on the sagar root born at Gen 2:21 (flesh-closure) and 7:16 (ark-closure) — and Onkelos names the whole disease by this very operation (segiru). Timer: shivat yamim — the creation week as the law's wait-state. Letter oddity, [OPEN]: this confinement takes ET-HA-NEGA ('THE MARK') as its object; 13:5's second confinement takes ve-hisgirO ('HIM') — mark-object vs person-object across the loop's two iterations (Sifra queued). 		וְאִם … אֵין … לֹא … וְהִסְגִּיר … שִׁבְעַת יָמִים · ve-im … ein … lo … ve-hisgir … shivat yamim
= if is-not not he-shall-confine seven-of days		TIR-029tested
Handler 2 standing: the uncertainty branch — the law's answer to a case its predicates cannot yet decide is TIME: hold state, wait one week, look again. The machine records its first scheduled re-inspection.

STEP_Lv_13_5 · Lev.13.5 · HANDLER_RECHECK_CONFINE_SECOND

וְרָאָהוּ הַכֹּהֵן בַּיּוֹם הַשְּׁבִיעִי וְהִנֵּה הַנֶּגַע עָמַד בְּעֵינָיו לֹא־פָשָׂה הַנֶּגַע בָּעוֹר וְהִסְגִּירוֹ הַכֹּהֵן שִׁבְעַת יָמִים שֵׁנִית · ve-ra'ahu ha-kohen ba-yom ha-shevi'i ve-hineh ha-nega amad be-einav lo-fasah ha-nega ba-or ve-hisgiro ha-kohen shivat yamim shenit · [EN-AID/JPS] And the priest shall look on him the seventh day; and, behold, if the plague stay in its appearance, and the plague be not spread in the skin, then the priest shall shut him up seven days more.

LEFT
וראהו הכהן ביום השביעי והנה הנגע עמד בעיניו לא פשה הנגע בעור · ve-ra'ahu ha-kohen ba-yom ha-shevi'i ve-hineh … amad be-einav lo-fasah … · the day-7 recheck: date, deictic, two predicates (etnachta arm)
RIGHT
והסגירו הכהן שבעת ימים שנית · ve-hisgiro ha-kohen shivat yamim shenit · second confine: the loop's bounded second iteration
operatorexpressionHebrew anchorcitesconfidence
HANDLERHANDLER IF(ba_yom_ha_shevii ∧ amad_be_einav ∧ lo_fasah) THEN(hisgiro(shivat_yamim_shenit))
= HANDLER IF(in-the-day-the-seventh ∧ has-stood-in-its-appearance ∧ not-has-spread) THEN(he-shall-confine-him(seven-of-days-a-second-time))
The re-inspection lands BA-YOM HA-SHEVI'I ('on THE SEVENTH day') — day 7's definite label (gen_07's operand) as the quarantine loop's re-entry date, under the rare zinor+segol accent frame (the Gen 1:28 blessing-frame pair — observation). ve-HINEH ('and BEHOLD') — Gen 1:31's inspection deictic, now marking a diagnostic result. Predicates: amad be-einav ('stood in its eyes/appearance' — idiom [OPEN]: whose eyes? Onkelos resolves to the appearance: kam kad havah, 'stood AS IT WAS'); lo-fasah ('has not spread' — pasah, the chapter-owned escalation verb). THEN: confine SHENIT ('a SECOND time') — the loop is BOUNDED: the letter authorizes exactly two iterations; no third confinement exists in the chapter. Object shift: ve-hisgirO — 'him', the person (contrast 13:4's mark-object), [OPEN]. 		בַּיּוֹם הַשְּׁבִיעִי וְהִנֵּה … עָמַד … לֹא־פָשָׂה … שֵׁנִית · ba-yom ha-shevi'i ve-hineh … amad … lo-fasah … shenit
= day seventh behold has-stood not-has-spread a-second-time		TIR-029tested
Handler 3 standing: the loop's second entry. The machine notes the law's clock discipline: fixed re-entry date, bounded iteration count, explicit iteration label (shenit).

STEP_Lv_13_6 · Lev.13.6 · HANDLER_RELEASE

וְרָאָה הַכֹּהֵן אֹתוֹ בַּיּוֹם הַשְּׁבִיעִי שֵׁנִית וְהִנֵּה כֵּהָה הַנֶּגַע וְלֹא־פָשָׂה הַנֶּגַע בָּעוֹר וְטִהֲרוֹ הַכֹּהֵן מִסְפַּחַת הִיא וְכִבֶּס בְּגָדָיו וְטָהֵר · ve-ra'ah ha-kohen oto ba-yom ha-shevi'i shenit ve-hineh kehah ha-nega ve-lo-fasah ha-nega ba-or ve-tiharo ha-kohen mispachat hi ve-khibbes begadav ve-taher · [EN-AID/JPS] And the priest shall look on him again the seventh day; and, behold, if the plague be dim, and the plague be not spread in the skin, then the priest shall pronounce him clean: it is a scab; and he shall wash his clothes, and be clean.

LEFT
וראה הכהן אתו ביום השביעי שנית והנה כהה הנגע ולא פשה הנגע בעור · ve-ra'ah ha-kohen oto ba-yom ha-shevi'i shenit ve-hineh kehah … ve-lo-fasah … · the second day-7 recheck: faded + not spread (etnachta arm)
RIGHT
וטהרו הכהן מספחת היא וכבס בגדיו וטהר · ve-tiharo ha-kohen mispachat hi ve-khibbes begadav ve-taher · the release chain: declare pure — classify — wash — BE pure
operatorexpressionHebrew anchorcitesconfidence
HANDLERHANDLER IF(ba_yom_ha_shevii_shenit ∧ kehah ∧ lo_fasah) THEN(tiharo(status_tahor) ∧ classify(mispachat_hi) ∧ kibbes_begadav ∧ taher)
= HANDLER IF(in-the-day-the-seventh-a-second-time ∧ has-dimmed ∧ not-has-spread) THEN(he-shall-declare-him-pure(status-pure) ∧ classify(scab-it-is) ∧ wash-his-garments ∧ he-is-pure)
The release branch. Predicates: kehah ('has DIMMED', piel perfect) + not spread. THEN, a four-link chain: (1) ve-tiharO — PIEL DECLARATIVE, 'the priest shall DECLARE him pure' — the positive status write (Gen 7:2's axis, written by an officer); (2) classification: MISPACHAT hi ('it is a scab') — the 13:2 mark-name sapachat returning MEM-PREFIXED, a form unique in the Torah to 13:6-8, [OPEN] (Onkelos levels both to adita, 'the added one'); (3) ve-khibbes begadav ('and HE shall wash his garments') — the weqatal chain's subject SHIFTS priest->patient mid-handler: the released party executes his own closing duty (garments: Gen 3:21's install, the second skin); (4) ve-TAHER — QAL STATIVE, 'and he IS pure': the DECLARE/BECOME minimal pair (piel tiharo vs qal taher) inside one verse — the law distinguishing the officer's write from the state's holding, letter-visible. 		כֵּהָה … וְטִהֲרוֹ … מִסְפַּחַת הִיא וְכִבֶּס בְּגָדָיו וְטָהֵר · kehah … ve-tiharo … mispachat hi ve-khibbes begadav ve-taher
= has-dimmed he-shall-declare-him-pure scab it-is he-shall-wash his-garments he-is-pure		TIR-029tested
Handler 4 standing: the loop's clean exit. The machine notes that even the exit writes TWO different things: a declaration (by the priest) and a state (of the person) — the register distinction the interpreter has carried since day 7's kadosh.

STEP_Lv_13_7 · Lev.13.7 · HANDLER_REOPEN_TRIGGER

וְאִם־פָּשֹׂה תִפְשֶׂה הַמִּסְפַּחַת בָּעוֹר אַחֲרֵי הֵרָאֹתוֹ אֶל־הַכֹּהֵן לְטָהֳרָתוֹ וְנִרְאָה שֵׁנִית אֶל־הַכֹּהֵן · ve-im-pasoh tifseh ha-mispachat ba-or acharei hera'oto el-ha-kohen le-tohorato ve-nir'ah shenit el-ha-kohen · [EN-AID/JPS] But if the scab spread abroad in the skin, after that he hath shown himself to the priest for his cleansing, he shall show himself to the priest again.

LEFT
ואם פשה תפשה המספחת בעור אחרי הראתו אל הכהן לטהרתו · ve-im pasoh tifseh ha-mispachat ba-or acharei hera'oto el-ha-kohen le-tohorato · the armed condition: doubled spread-verb + the after-release clause (etnachta arm)
RIGHT
ונראה שנית אל הכהן · ve-nir'ah shenit el-ha-kohen · the re-presentation call: passive, second time
operatorexpressionHebrew anchorcitesconfidence
HANDLERHANDLER IF(pasoh_tifseh(acharei_heraoto_le_tohorato)) THEN(nirah_shenit_el_ha_kohen)
= HANDLER IF(spread-it-spreads(after-its-appearing-to-his-purification)) THEN(seen-a-second-time-to-the-priest)
The armed post-release trigger. Condition verb DOUBLED by the infinitive absolute: pasoh tifseh ('spread it SPREADS', Vqa + Vqi3fs) — the mot-tamut construction (Gen 2:17's penalty doubling) on the escalation verb: the law's emphatic form marks the branch that overturns a verdict. Temporal scope: ACHAREI hera'oto le-tohorato ('AFTER his having been seen for his purification' — niphal infinitive): the trigger's window opens exactly where the release closed — purity is standing state, and standing state stays monitored. THEN: ve-NIR'AH (NIPHAL weqatal, passive) shenit — 'he shall BE SEEN a second time': re-presentation, passive like the 13:2 intake routing — the case re-enters the system the same way it entered. 		פָּשֹׂה תִפְשֶׂה … אַחֲרֵי הֵרָאֹתוֹ … וְנִרְאָה שֵׁנִית · pasoh tifseh … acharei hera'oto … ve-nir'ah shenit
= spread it-spreads after his-being-seen he-shall-be-seen a-second-time		TIR-029, TIR-030tested
Handler 5 standing: the release of 13:6 is conditional FOREVER — the machine records that tahor ('pure') status carries an armed exception handler, not a terminal state. The two passives (huva, nir'ah) bracket the procedure: cases arrive and re-arrive without a commanded agent.

STEP_Lv_13_8 · Lev.13.8 · HANDLER_REOPEN_VERDICT

וְרָאָה הַכֹּהֵן וְהִנֵּה פָּשְׂתָה הַמִּסְפַּחַת בָּעוֹר וְטִמְּאוֹ הַכֹּהֵן צָרַעַת הִוא · ve-ra'ah ha-kohen ve-hineh pastah ha-mispachat ba-or ve-timme'o ha-kohen tzara'at hi · [EN-AID/JPS] And the priest shall look, and, behold, the scab is spread in the skin; then the priest shall pronounce him unclean: it is leprosy.

LEFT
וראה הכהן והנה פשתה המספחת בעור · ve-ra'ah ha-kohen ve-hineh pastah ha-mispachat ba-or · the reopened inspection: behold, spread (etnachta arm)
RIGHT
וטמאו הכהן צרעת הוא · ve-timme'o ha-kohen tzara'at hi · the reopened verdict: declare impure — it is tzara'at
operatorexpressionHebrew anchorcitesconfidence
HANDLERHANDLER IF(hineh_pastah_ha_mispachat) THEN(timmeo(status_tamei) ∧ classify(tzaraat_hi))
= HANDLER IF(behold-has-spread-the-scab) THEN(pronounce-impure(status-impure) ∧ classify(the-disease-it-is))
The reopened case's verdict: spread confirmed (ve-hineh — the deictic again), DECLARE impure — and the classification upgrades: 13:6 said mispachat hi ('a scab'); 13:8 says TZARA'AT hi ('it is tzara'at') — same object, new class, overturning the release. Orthography flag, our own letter data: the feminine pronoun here (and at 13:4) is WRITTEN הוא (ktiv hu) and CODED feminine (Pp3fs, qere hi) — the Torah-wide ktiv/qere pair surfacing inside the verdict formulas, recorded [OPEN]. Gender note: 13:3's classification ran masculine (nega tzara'at HU, agreeing with nega); 13:8's runs feminine (tzara'at HI, agreeing with tzara'at) — the formula agrees with whichever noun heads it, letter-visible. 		וְהִנֵּה פָּשְׂתָה … וְטִמְּאוֹ … צָרַעַת הִוא · ve-hineh pastah … ve-timme'o … tzara'at hi
= behold has-spread he-shall-declare-him-impure tzara'at it-is		TIR-029tested
Handler 6 standing — and the span ends MID-PARASHAH: 13:9 opens the next ki-case. No receipt (nothing was demanded), no test (no tov — the law's verdicts are tamei/tahor, another axis), no commit (no evening-morning; the law does not close days). Six handlers stand armed over zero executed cases: INSTALLED CODE, exactly as the learning pass predicted law would parse.

State machine

Law-unit installer (standalone; registers: TIME/WORLD/REGISTRY/SPECS/TESTS/LEDGER). States are INSTALL states — the case-flow the handlers define (intake -> verdict/confine -> recheck -> release/reopen) executes only when cases occur, which this span never narrates.
statemeaning
S_bootBefore 13:1 — all registers empty (standalone unit)
S_framedAfter 13:1 — one speech event (YHWH -> Moshe + Aharon); moshe/aharon flagged; nothing else
S_case_installedAfter 13:2 — the intake case standing as a WORLD fact (3-class filter -> passive routing to the priest); adam/or_basar/ha_kohen flagged
S_handlers_1_2After 13:3-4 — verdict-impure handler + first-confine handler standing (facts x3)
S_handlers_3_4After 13:5-6 — recheck/second-confine + release handlers standing (facts x5)
S_installed_armedAfter 13:7-8 — reopen trigger + reopen verdict standing (facts x7); SPECS/TESTS/REGISTRY/LEDGER all untouched: installed code, armed, unexecuted
fromtovia
S_bootS_framedSTEP_Lv_13_1
S_framedS_case_installedSTEP_Lv_13_2
S_case_installedS_handlers_1_2STEP_Lv_13_4
S_handlers_1_2S_handlers_3_4STEP_Lv_13_6
S_handlers_3_4S_installed_armedSTEP_Lv_13_8
AFTER_S_installed_armed — WORLD: NOTHING created; five presupposed imports flagged (moshe, aharon, adam, or_basar, ha_kohen) + SEVEN standing law facts — one case (intake filter -> routing) and six handlers (verdict-impure; confine-7; recheck-confine-7-shenit; release with declare/become pair; reopen trigger; reopen verdict). REGISTRY: untouched — the tamei/tahor writes inside the handlers are PARAMETERIZED (they execute per case, and no case occurs in the span). SPECS: log EMPTY — the ki-condition is a trigger, not a demand; nothing is owed to the narrative present. TESTS: empty — the tov instrument belongs to the other genre; this unit's verdict axis is tamei/tahor. LEDGER: EMPTY — the law closes no days. FLAGS: read_before_install x5 — none blocking. The genre signature in one line: a unit whose ONLY writes are standing handler facts — the measured definition of installed code.

Scenarios (the unit's own test suite)

idtitlegivenexpectanchor
S1The frame, then silence: after STEP_Lv_13_1All registers empty (standalone unit).SPECS empty; no test, no name; machine flags moshe/aharon as read-before-install (presupposed).
= SPECS empty; no test, no name; machine flags Moses/Aaron as read-before-install (presupposed).		וַיְדַבֵּר יְהוָה · va-yedabber YHWH
= spoke the-LORD
S2The case installed as standing fact: after STEP_Lv_13_2S1 state.Facts case-kohen HOLD; SPECS empty; machine flags adam/or_basar/ha_kohen as read-before-install (presupposed).
= Facts case-priest HOLD; SPECS empty; machine flags human/skin-of-flesh/the-priest as read-before-install (presupposed).		אָדָם כִּי־יִהְיֶה · adam ki-yihyeh
= human when-there-is
S3Handler 1 standing — verdict-impure: after STEP_Lv_13_3S2 state.Facts handler-timme HOLD; SPECS empty.
= Facts handler-he-shall-declare-impure HOLD; SPECS empty.		וְטִמֵּא אֹתוֹ · ve-timme oto
= he-shall-declare-impure him
S4Handler 2 standing — first confinement: after STEP_Lv_13_4S3 state.Facts handler-hisgir HOLD; SPECS empty.
= Facts handler-he-shall-confine HOLD; SPECS empty.		וְהִסְגִּיר … שִׁבְעַת יָמִים · ve-hisgir … shivat yamim
= he-shall-confine seven-of days
S5Handler 3 standing — day-7 recheck, second confinement: after STEP_Lv_13_5S4 state.Facts handler-shenit HOLD; SPECS empty.
= Facts handler-a-second-time HOLD; SPECS empty.		בַּיּוֹם הַשְּׁבִיעִי … שֵׁנִית · ba-yom ha-shevi'i … shenit
= day seventh a-second-time
S6Handler 4 standing — the release chain: after STEP_Lv_13_6S5 state.Facts handler-tiharo HOLD; SPECS empty.
= Facts handler-he-shall-declare-him-pure HOLD; SPECS empty.		וְטִהֲרוֹ … וְטָהֵר · ve-tiharo … ve-taher
= he-shall-declare-him-pure he-is-pure
S7Handler 5 standing — the armed reopen trigger: after STEP_Lv_13_7S6 state.Facts handler-nirah HOLD; SPECS empty.
= Facts handler-seen HOLD; SPECS empty.		וְנִרְאָה שֵׁנִית · ve-nir'ah shenit
= he-shall-be-seen a-second-time
S8Handler 6 standing — and the genre signature as machine state: after STEP_Lv_13_8S7 state.Facts handler-pastah HOLD; SPECS empty; no test, no name; LEDGER stays EMPTY (open transaction).
= Facts handler-has-spread HOLD; SPECS empty; no test, no name; LEDGER stays EMPTY (open transaction).		צָרַעַת הִוא · tzara'at hi
= tzara'at it-is
S9_negativeNegative: flags never block the ledgerA synthetic commit with TESTS empty (the machine's own contract self-test).Cycle close with TESTS empty must be FLAGGED, never blocked — the standing rule; this unit's deeper fact is that no commit is attempted at all: the law's seven standing facts ride a machine whose ledger, spec queue, test list, and registry all end exactly as they began.
= Cycle close with TESTS empty must in FLAGGED, never blocked — the standing rule; this unit's deeper fact is that no commit is attempted at all: the law's seven standing facts ride a machine whose ledger, spec queue, test list, and registry all end exactly as they began.

Exports (reusable patterns)

idcontent
EXPORT_law_operator_familyכִּי … וְאִם … וְ־weqatal · ki … ve-im … ve-[weqatal] · the CASE/HANDLER operator family: ki ('when') opens the case, im ('if') opens branches, weqatal ('and-he-shall-do', TIR-029) carries every action — the law genre's installer vocabulary, first derived here; every ki-paragraph of Lev 13-14 (and beyond) should parse with it
EXPORT_condition_action_bracketאתנחתא = תנאי | פעולה · etnachta = [condition | action] · in all seven law verses the etnachta (major mid-verse rest) is the IF|THEN boundary — the cantillation parses the conditional; check against 13:9ff and every law span following
EXPORT_quarantine_loopוְהִסְגִּיר … שִׁבְעַת יָמִים … בַּיּוֹם הַשְּׁבִיעִי … שֵׁנִית · ve-hisgir … shivat yamim … ba-yom ha-shevi'i … shenit · the bounded diagnostic loop: confine seven days, re-inspect on THE seventh, at most one repeat (shenit) — the creation week as the law's wait-state and re-entry date; recurs at 13:21,26,31-33,50,54 and in the house procedure (14:38)
EXPORT_declare_become_pairוְטִהֲרוֹ … וְטָהֵר · ve-tiharo … ve-taher · the declare/become minimal pair (piel declarative vs qal stative) in one verse — the officer's status WRITE distinguished from the state's HOLDING: the register distinction day 7's kadosh installed, now grammar-visible
EXPORT_armed_releaseאַחֲרֵי הֵרָאֹתוֹ … וְנִרְאָה שֵׁנִית · acharei hera'oto … ve-nir'ah shenit · purity as monitored standing state: the release carries a forever-armed reopen trigger with the infinitive-absolute doubling (pasoh tifseh — Gen 2:17's construction) on its condition verb
EXPORT_segiru_fusionצָרַעַת ← סְגִירוּ · tzara'at -> segiru · Onkelos names the disease by its procedure ('the shutting-disease') on the sagar root born at Gen 2:21 (flesh-closure) and 7:16 (ark-closure) — translation-level fusion of condition and quarantine; the machine's hisgir trail and the translation's noun are one root
EXPORT_seet_cain_joinשְׂאֵת (בראשית ד:ז ← ויקרא יג:ב) · se'et (Gen 4:7 -> Lev 13:2) · detector grade-A join: the intake's lead mark-name debuts in Cain's conditional (im teitiv SE'ET — 'IF you do well, uplift') — observation tier FOREVER unless the chain is found joining them (tzara'at-and-sin dossiers queued: Arakhin 15b-16b)

Oral notes (named, tiered, dual-track — never merged)

verified Targum Onkelos, Leviticus 13:2,3,8 — Tier-A translation read at derive time (FETCHLOG 2026-07-31)
לְמַכְתַּשׁ סְגִירוּ … מַכְתַּשׁ סְגִירוּתָא · le-makhtash SEGIRU … makhtash SEGIRUTA · The translation renders tzara'at as SEGIRU/SEGIRUTA — 'the SHUTTING/confinement-disease': the condition named by its own quarantine procedure, on the root of ve-hisgir (and of Gen 2:21's flesh-closure and 7:16's ark-closure). The received Aramaic fuses what the machine tracks as two symbols (the disease noun; the confine verb) into one root — the strongest translation-level witness yet that the procedure IS the concept.
Verified from Data/sefaria_texts/ (local, fetched at derive time). Dual-track; not merged.
verified Targum Onkelos, Leviticus 13:5 — Tier-A
קָם כַּד הֲוָה · kam kad havah · The [OPEN] idiom amad be-einav ('stood in its/his eyes') resolved by the translation to 'stood AS IT WAS' — the appearance reading, against the priest's-eyes reading. First resolution witness; the chain-primary discussion queued with Sifra/Negaim.
Verified local. Dual-track; the machine's [OPEN] flag stands. Not merged.
observation Sifra Tazria (Parashat Nega'im) 1ff; Mishnah Negaim 1:1, 3:1; Bavli Shevuot 6a-b; Bavli Arakhin 15b-16b; Bereshit Rabbah 41:2 — the chapter's chain-primaries, NOT in the local cache; day's Tier-A triage queue
נְגָעִים · Nega'im · Named, not yet read (observation tier): the Sifra parashah (the 13 middot's own home text) and tractate Negaim own this chapter; Shevuot 6a-b (the four shades) bears on Onkelos's amka ('deep-spot') for the raised se'et; Arakhin 15b-16b carries the tzara'at-and- speech-sin frame that would bear on the se'et/Cain join; BR 41:2 reads Gen 12:17's nega debut as tzara'at. THE TRIPWIRE TEST: when these enter the cache, the detector's absent legal devices (ein li ela 'I have only'; ribah/miet ha-katuv 'Scripture included/ excluded'; dibber ha-katuv ba-hoveh 'the usual case') are predicted to fire for the first time.
Queue entry — no claim made beyond the naming.

Binary trees (ta'amim v3, glue bricks)

Lev.13.1 · parser unique · 7 words

וַיְדַבֵּר יְהוָה אֶל־מֹשֶׁה וְאֶל־אַהֲרֹן לֵאמֹר · va-yedabber YHWH el-Moshe ve-el-Aharon le-mor · The LORD spoke to Moses and to Aaron, saying. [EN-AID]
PHRASE (binary 7w) וַ/יְדַבֵּ֣ר יְהוָ֔ה אֶל מֹשֶׁ֥ה וְ/אֶֽל אַהֲרֹ…
├── [0-1] GLUE וַ/יְדַבֵּ֣ר יְהוָ֔ה (zaqef qatan, rank=2)
└── PHRASE (binary 5w) אֶל מֹשֶׁ֥ה וְ/אֶֽל אַהֲרֹ֖ן לֵ/אמֹֽר
    ├── [2-5] GLUE אֶל מֹשֶׁ֥ה וְ/אֶֽל אַהֲרֹ֖ן (tifcha, rank=2)
    └── [6] לֵ/אמֹֽר (silluq (verse-end emperor), rank=1)

Lev.13.2 · parser unique · 24 words

אָדָם כִּי־יִהְיֶה בְעוֹר־בְּשָׂרוֹ שְׂאֵת אוֹ־סַפַּחַת אוֹ בַהֶרֶת וְהָיָה בְעוֹר־בְּשָׂרוֹ לְנֶגַע צָרָעַת וְהוּבָא אֶל־אַהֲרֹן הַכֹּהֵן אוֹ אֶל־אַחַד מִבָּנָיו הַכֹּהֲנִים · adam ki-yihyeh ve-or-besaro se'et o-sapachat o vaheret ve-hayah ve-or-besaro le-nega tzara'at ve-huva el-Aharon ha-kohen o el-achad mi-banav ha-kohanim · When a mark appears in the skin of the flesh — he is brought to the priest. [EN-AID]
PHRASE (binary 24w) אָדָ֗ם כִּֽי יִהְיֶ֤ה בְ/עוֹר בְּשָׂר/וֹ֙ שְׂאֵ…
├── PHRASE (binary 15w) אָדָ֗ם כִּֽי יִהְיֶ֤ה בְ/עוֹר בְּשָׂר/וֹ֙ שְׂאֵ…
│   ├── PHRASE (binary 10w) אָדָ֗ם כִּֽי יִהְיֶ֤ה בְ/עוֹר בְּשָׂר/וֹ֙ שְׂאֵ…
│   │   ├── [0] אָדָ֗ם (revia, rank=3)
│   │   └── PHRASE (binary 9w) כִּֽי יִהְיֶ֤ה בְ/עוֹר בְּשָׂר/וֹ֙ שְׂאֵ֤ת אֽוֹ…
│   │       ├── [1-4] GLUE כִּֽי יִהְיֶ֤ה בְ/עוֹר בְּשָׂר/וֹ֙ (pashta, rank=3)
│   │       └── PHRASE (binary 5w) שְׂאֵ֤ת אֽוֹ סַפַּ֨חַת֙ א֣וֹ בַהֶ֔רֶת
│   │           ├── [5-7] GLUE שְׂאֵ֤ת אֽוֹ סַפַּ֨חַת֙ (pashta, rank=3)
│   │           └── [8-9] GLUE א֣וֹ בַהֶ֔רֶת (zaqef qatan, rank=2)
│   └── PHRASE (binary 5w) וְ/הָיָ֥ה בְ/עוֹר בְּשָׂר֖/וֹ לְ/נֶ֣גַע צָרָ֑עַת
│       ├── [10-12] GLUE וְ/הָיָ֥ה בְ/עוֹר בְּשָׂר֖/וֹ (tifcha, rank=2)
│       └── [13-14] GLUE לְ/נֶ֣גַע צָרָ֑עַת (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 9w) וְ/הוּבָא֙ אֶל אַהֲרֹ֣ן הַ/כֹּהֵ֔ן א֛וֹ אֶל אַח…
    ├── PHRASE (binary 4w) וְ/הוּבָא֙ אֶל אַהֲרֹ֣ן הַ/כֹּהֵ֔ן
    │   ├── [15] וְ/הוּבָא֙ (pashta, rank=3)
    │   └── [16-18] GLUE אֶל אַהֲרֹ֣ן הַ/כֹּהֵ֔ן (zaqef qatan, rank=2)
    └── PHRASE (binary 5w) א֛וֹ אֶל אַחַ֥ד מִ/בָּנָ֖י/ו הַ/כֹּהֲנִֽים
        ├── PHRASE (binary 4w) א֛וֹ אֶל אַחַ֥ד מִ/בָּנָ֖י/ו
        │   ├── [19] א֛וֹ (tevir, rank=3)
        │   └── [20-22] GLUE אֶל אַחַ֥ד מִ/בָּנָ֖י/ו (tifcha, rank=2)
        └── [23] הַ/כֹּהֲנִֽים (silluq (verse-end emperor), rank=1)

Lev.13.3 · parser unique · 22 words

וְרָאָה הַכֹּהֵן אֶת־הַנֶּגַע בְּעוֹר־הַבָּשָׂר וְשֵׂעָר בַּנֶּגַע הָפַךְ לָבָן וּמַרְאֵה הַנֶּגַע עָמֹק מֵעוֹר בְּשָׂרוֹ נֶגַע צָרַעַת הוּא וְרָאָהוּ הַכֹּהֵן וְטִמֵּא אֹתוֹ · ve-ra'ah ha-kohen et-ha-nega be-or ha-basar ve-se'ar ba-nega hafakh lavan u-mar'eh ha-nega amok me-or besaro nega tzara'at hu ve-ra'ahu ha-kohen ve-timme oto · White hair and deeper than skin: it is tzara'at — declare him impure. [EN-AID]
PHRASE (binary 22w) וְ/רָאָ֣ה הַ/כֹּהֵ֣ן אֶת הַ/נֶּ֣גַע בְּ/עֽוֹר ה…
├── PHRASE (binary 18w) וְ/רָאָ֣ה הַ/כֹּהֵ֣ן אֶת הַ/נֶּ֣גַע בְּ/עֽוֹר ה…
│   ├── PHRASE (binary 15w) וְ/רָאָ֣ה הַ/כֹּהֵ֣ן אֶת הַ/נֶּ֣גַע בְּ/עֽוֹר ה…
│   │   ├── PHRASE (binary 10w) וְ/רָאָ֣ה הַ/כֹּהֵ֣ן אֶת הַ/נֶּ֣גַע בְּ/עֽוֹר ה…
│   │   │   ├── [0-5] GLUE וְ/רָאָ֣ה הַ/כֹּהֵ֣ן אֶת הַ/נֶּ֣גַע בְּ/עֽוֹר הַ֠/בָּשָׂר (telisha gedola, rank=4)
│   │   │   └── PHRASE (binary 4w) וְ/שֵׂעָ֨ר בַּ/נֶּ֜גַע הָפַ֣ךְ לָבָ֗ן
│   │   │       ├── [6-7] GLUE וְ/שֵׂעָ֨ר בַּ/נֶּ֜גַע (geresh, rank=4)
│   │   │       └── [8-9] GLUE הָפַ֣ךְ לָבָ֗ן (revia, rank=3)
│   │   └── PHRASE (binary 5w) וּ/מַרְאֵ֤ה הַ/נֶּ֨גַע֙ עָמֹק֙ מֵ/ע֣וֹר בְּשָׂר…
│   │       ├── [10-11] GLUE וּ/מַרְאֵ֤ה הַ/נֶּ֨גַע֙ (pashta, rank=3)
│   │       └── PHRASE (binary 3w) עָמֹק֙ מֵ/ע֣וֹר בְּשָׂר֔/וֹ
│   │           ├── [12] עָמֹק֙ (pashta, rank=3)
│   │           └── [13-14] GLUE מֵ/ע֣וֹר בְּשָׂר֔/וֹ (zaqef qatan, rank=2)
│   └── PHRASE (binary 3w) נֶ֥גַע צָרַ֖עַת ה֑וּא
│       ├── [15-16] GLUE נֶ֥גַע צָרַ֖עַת (tifcha, rank=2)
│       └── [17] ה֑וּא (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) וְ/רָאָ֥/הוּ הַ/כֹּהֵ֖ן וְ/טִמֵּ֥א אֹתֽ/וֹ
    ├── [18-19] GLUE וְ/רָאָ֥/הוּ הַ/כֹּהֵ֖ן (tifcha, rank=2)
    └── [20-21] GLUE וְ/טִמֵּ֥א אֹתֽ/וֹ (silluq (verse-end emperor), rank=1)

Lev.13.4 · parser unique · 21 words

וְאִם־בַּהֶרֶת לְבָנָה הִוא בְּעוֹר בְּשָׂרוֹ וְעָמֹק אֵין־מַרְאֶהָ מִן־הָעוֹר וּשְׂעָרָה לֹא־הָפַךְ לָבָן וְהִסְגִּיר הַכֹּהֵן אֶת־הַנֶּגַע שִׁבְעַת יָמִים · ve-im-baheret levanah hi ve-or besaro ve-amok ein-mar'eha min-ha-or u-se'arah lo-hafakh lavan ve-hisgir ha-kohen et-ha-nega shivat yamim · If white but not deeper and hair unturned: confine seven days. [EN-AID]
PHRASE (binary 21w) וְ/אִם בַּהֶרֶת֩ לְבָנָ֨ה הִ֜וא בְּ/ע֣וֹר בְּשׂ…
├── PHRASE (binary 15w) וְ/אִם בַּהֶרֶת֩ לְבָנָ֨ה הִ֜וא בְּ/ע֣וֹר בְּשׂ…
│   ├── PHRASE (binary 11w) וְ/אִם בַּהֶרֶת֩ לְבָנָ֨ה הִ֜וא בְּ/ע֣וֹר בְּשׂ…
│   │   ├── PHRASE (binary 6w) וְ/אִם בַּהֶרֶת֩ לְבָנָ֨ה הִ֜וא בְּ/ע֣וֹר בְּשׂ…
│   │   │   ├── [0-3] GLUE וְ/אִם בַּהֶרֶת֩ לְבָנָ֨ה הִ֜וא (geresh, rank=4)
│   │   │   └── [4-5] GLUE בְּ/ע֣וֹר בְּשָׂר֗/וֹ (revia, rank=3)
│   │   └── PHRASE (binary 5w) וְ/עָמֹק֙ אֵין מַרְאֶ֣/הָ מִן הָ/ע֔וֹר
│   │       ├── [6] וְ/עָמֹק֙ (pashta, rank=3)
│   │       └── [7-10] GLUE אֵין מַרְאֶ֣/הָ מִן הָ/ע֔וֹר (zaqef qatan, rank=2)
│   └── PHRASE (binary 4w) וּ/שְׂעָרָ֖/ה לֹא הָפַ֣ךְ לָבָ֑ן
│       ├── [11] וּ/שְׂעָרָ֖/ה (tifcha, rank=2)
│       └── [12-14] GLUE לֹא הָפַ֣ךְ לָבָ֑ן (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) וְ/הִסְגִּ֧יר הַ/כֹּהֵ֛ן אֶת הַ/נֶּ֖גַע שִׁבְעַ…
    ├── PHRASE (binary 4w) וְ/הִסְגִּ֧יר הַ/כֹּהֵ֛ן אֶת הַ/נֶּ֖גַע
    │   ├── [15-16] GLUE וְ/הִסְגִּ֧יר הַ/כֹּהֵ֛ן (tevir, rank=3)
    │   └── [17-18] GLUE אֶת הַ/נֶּ֖גַע (tifcha, rank=2)
    └── [19-20] GLUE שִׁבְעַ֥ת יָמִֽים (silluq (verse-end emperor), rank=1)

Lev.13.5 · parser unique · 17 words

וְרָאָהוּ הַכֹּהֵן בַּיּוֹם הַשְּׁבִיעִי וְהִנֵּה הַנֶּגַע עָמַד בְּעֵינָיו לֹא־פָשָׂה הַנֶּגַע בָּעוֹר וְהִסְגִּירוֹ הַכֹּהֵן שִׁבְעַת יָמִים שֵׁנִית · ve-ra'ahu ha-kohen ba-yom ha-shevi'i ve-hineh ha-nega amad be-einav lo-fasah ha-nega ba-or ve-hisgiro ha-kohen shivat yamim shenit · Day seven: stood, not spread — confine a second seven. [EN-AID]
PHRASE (binary 17w) וְ/רָאָ֣/הוּ הַ/כֹּהֵן֮ בַּ/יּ֣וֹם הַ/שְּׁבִיעִ…
├── PHRASE (binary 12w) וְ/רָאָ֣/הוּ הַ/כֹּהֵן֮ בַּ/יּ֣וֹם הַ/שְּׁבִיעִ…
│   ├── PHRASE (binary 4w) וְ/רָאָ֣/הוּ הַ/כֹּהֵן֮ בַּ/יּ֣וֹם הַ/שְּׁבִיעִ…
│   │   ├── [0-1] GLUE וְ/רָאָ֣/הוּ הַ/כֹּהֵן֮ (zinor (poetic cousin; rare in prose), rank=3)
│   │   └── [2-3] GLUE בַּ/יּ֣וֹם הַ/שְּׁבִיעִי֒ (segol, rank=2)
│   └── PHRASE (binary 8w) וְ/הִנֵּ֤ה הַ/נֶּ֨גַע֙ עָמַ֣ד בְּ/עֵינָ֔י/ו לֹֽ…
│       ├── PHRASE (binary 4w) וְ/הִנֵּ֤ה הַ/נֶּ֨גַע֙ עָמַ֣ד בְּ/עֵינָ֔י/ו
│       │   ├── [4-5] GLUE וְ/הִנֵּ֤ה הַ/נֶּ֨גַע֙ (pashta, rank=3)
│       │   └── [6-7] GLUE עָמַ֣ד בְּ/עֵינָ֔י/ו (zaqef qatan, rank=2)
│       └── PHRASE (binary 4w) לֹֽא פָשָׂ֥ה הַ/נֶּ֖גַע בָּ/ע֑וֹר
│           ├── [8-10] GLUE לֹֽא פָשָׂ֥ה הַ/נֶּ֖גַע (tifcha, rank=2)
│           └── [11] בָּ/ע֑וֹר (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) וְ/הִסְגִּיר֧/וֹ הַ/כֹּהֵ֛ן שִׁבְעַ֥ת יָמִ֖ים ש…
    ├── PHRASE (binary 4w) וְ/הִסְגִּיר֧/וֹ הַ/כֹּהֵ֛ן שִׁבְעַ֥ת יָמִ֖ים
    │   ├── [12-13] GLUE וְ/הִסְגִּיר֧/וֹ הַ/כֹּהֵ֛ן (tevir, rank=3)
    │   └── [14-15] GLUE שִׁבְעַ֥ת יָמִ֖ים (tifcha, rank=2)
    └── [16] שֵׁנִֽית (silluq (verse-end emperor), rank=1)

Lev.13.6 · parser unique · 20 words

וְרָאָה הַכֹּהֵן אֹתוֹ בַּיּוֹם הַשְּׁבִיעִי שֵׁנִית וְהִנֵּה כֵּהָה הַנֶּגַע וְלֹא־פָשָׂה הַנֶּגַע בָּעוֹר וְטִהֲרוֹ הַכֹּהֵן מִסְפַּחַת הִיא וְכִבֶּס בְּגָדָיו וְטָהֵר · ve-ra'ah ha-kohen oto ba-yom ha-shevi'i shenit ve-hineh kehah ha-nega ve-lo-fasah ha-nega ba-or ve-tiharo ha-kohen mispachat hi ve-khibbes begadav ve-taher · Second day seven: faded — declare pure, wash, and he is pure. [EN-AID]
PHRASE (binary 20w) וְ/רָאָה֩ הַ/כֹּהֵ֨ן אֹת֜/וֹ בַּ/יּ֣וֹם הַ/שְּׁ…
├── PHRASE (binary 13w) וְ/רָאָה֩ הַ/כֹּהֵ֨ן אֹת֜/וֹ בַּ/יּ֣וֹם הַ/שְּׁ…
│   ├── PHRASE (binary 6w) וְ/רָאָה֩ הַ/כֹּהֵ֨ן אֹת֜/וֹ בַּ/יּ֣וֹם הַ/שְּׁ…
│   │   ├── PHRASE (binary 5w) וְ/רָאָה֩ הַ/כֹּהֵ֨ן אֹת֜/וֹ בַּ/יּ֣וֹם הַ/שְּׁ…
│   │   │   ├── [0-2] GLUE וְ/רָאָה֩ הַ/כֹּהֵ֨ן אֹת֜/וֹ (geresh, rank=4)
│   │   │   └── [3-4] GLUE בַּ/יּ֣וֹם הַ/שְּׁבִיעִי֮ (zinor (poetic cousin; rare in prose), rank=3)
│   │   └── [5] שֵׁנִית֒ (segol, rank=2)
│   └── PHRASE (binary 7w) וְ/הִנֵּה֙ כֵּהָ֣ה הַ/נֶּ֔גַע וְ/לֹא פָשָׂ֥ה הַ…
│       ├── PHRASE (binary 3w) וְ/הִנֵּה֙ כֵּהָ֣ה הַ/נֶּ֔גַע
│       │   ├── [6] וְ/הִנֵּה֙ (pashta, rank=3)
│       │   └── [7-8] GLUE כֵּהָ֣ה הַ/נֶּ֔גַע (zaqef qatan, rank=2)
│       └── PHRASE (binary 4w) וְ/לֹא פָשָׂ֥ה הַ/נֶּ֖גַע בָּ/ע֑וֹר
│           ├── [9-11] GLUE וְ/לֹא פָשָׂ֥ה הַ/נֶּ֖גַע (tifcha, rank=2)
│           └── [12] בָּ/ע֑וֹר (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 7w) וְ/טִהֲר֤/וֹ הַ/כֹּהֵן֙ מִסְפַּ֣חַת הִ֔יא וְ/כִ…
    ├── PHRASE (binary 4w) וְ/טִהֲר֤/וֹ הַ/כֹּהֵן֙ מִסְפַּ֣חַת הִ֔יא
    │   ├── [13-14] GLUE וְ/טִהֲר֤/וֹ הַ/כֹּהֵן֙ (pashta, rank=3)
    │   └── [15-16] GLUE מִסְפַּ֣חַת הִ֔יא (zaqef qatan, rank=2)
    └── PHRASE (binary 3w) וְ/כִבֶּ֥ס בְּגָדָ֖י/ו וְ/טָהֵֽר
        ├── [17-18] GLUE וְ/כִבֶּ֥ס בְּגָדָ֖י/ו (tifcha, rank=2)
        └── [19] וְ/טָהֵֽר (silluq (verse-end emperor), rank=1)

Lev.13.7 · parser unique · 14 words

וְאִם־פָּשֹׂה תִפְשֶׂה הַמִּסְפַּחַת בָּעוֹר אַחֲרֵי הֵרָאֹתוֹ אֶל־הַכֹּהֵן לְטָהֳרָתוֹ וְנִרְאָה שֵׁנִית אֶל־הַכֹּהֵן · ve-im-pasoh tifseh ha-mispachat ba-or acharei hera'oto el-ha-kohen le-tohorato ve-nir'ah shenit el-ha-kohen · If it spreads after the purification: be seen again. [EN-AID]
PHRASE (binary 14w) וְ/אִם פָּשֹׂ֨ה תִפְשֶׂ֤ה הַ/מִּסְפַּ֨חַת֙ בָּ/…
├── PHRASE (binary 10w) וְ/אִם פָּשֹׂ֨ה תִפְשֶׂ֤ה הַ/מִּסְפַּ֨חַת֙ בָּ/…
│   ├── PHRASE (binary 5w) וְ/אִם פָּשֹׂ֨ה תִפְשֶׂ֤ה הַ/מִּסְפַּ֨חַת֙ בָּ/…
│   │   ├── [0-3] GLUE וְ/אִם פָּשֹׂ֨ה תִפְשֶׂ֤ה הַ/מִּסְפַּ֨חַת֙ (pashta, rank=3)
│   │   └── [4] בָּ/ע֔וֹר (zaqef qatan, rank=2)
│   └── PHRASE (binary 5w) אַחֲרֵ֧י הֵרָאֹת֛/וֹ אֶל הַ/כֹּהֵ֖ן לְ/טָהֳרָת֑…
│       ├── PHRASE (binary 4w) אַחֲרֵ֧י הֵרָאֹת֛/וֹ אֶל הַ/כֹּהֵ֖ן
│       │   ├── [5-6] GLUE אַחֲרֵ֧י הֵרָאֹת֛/וֹ (tevir, rank=3)
│       │   └── [7-8] GLUE אֶל הַ/כֹּהֵ֖ן (tifcha, rank=2)
│       └── [9] לְ/טָהֳרָת֑/וֹ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) וְ/נִרְאָ֥ה שֵׁנִ֖ית אֶל הַ/כֹּהֵֽן
    ├── [10-11] GLUE וְ/נִרְאָ֥ה שֵׁנִ֖ית (tifcha, rank=2)
    └── [12-13] GLUE אֶל הַ/כֹּהֵֽן (silluq (verse-end emperor), rank=1)

Lev.13.8 · parser unique · 10 words

וְרָאָה הַכֹּהֵן וְהִנֵּה פָּשְׂתָה הַמִּסְפַּחַת בָּעוֹר וְטִמְּאוֹ הַכֹּהֵן צָרַעַת הִוא · ve-ra'ah ha-kohen ve-hineh pastah ha-mispachat ba-or ve-timme'o ha-kohen tzara'at hi · Behold, spread: declare impure — it is tzara'at. [EN-AID]
PHRASE (binary 10w) וְ/רָאָה֙ הַ/כֹּהֵ֔ן וְ/הִנֵּ֛ה פָּשְׂתָ֥ה הַ/מ…
├── PHRASE (binary 6w) וְ/רָאָה֙ הַ/כֹּהֵ֔ן וְ/הִנֵּ֛ה פָּשְׂתָ֥ה הַ/מ…
│   ├── PHRASE (binary 2w) וְ/רָאָה֙ הַ/כֹּהֵ֔ן
│   │   ├── [0] וְ/רָאָה֙ (pashta, rank=3)
│   │   └── [1] הַ/כֹּהֵ֔ן (zaqef qatan, rank=2)
│   └── PHRASE (binary 4w) וְ/הִנֵּ֛ה פָּשְׂתָ֥ה הַ/מִּסְפַּ֖חַת בָּ/ע֑וֹר
│       ├── PHRASE (binary 3w) וְ/הִנֵּ֛ה פָּשְׂתָ֥ה הַ/מִּסְפַּ֖חַת
│       │   ├── [2] וְ/הִנֵּ֛ה (tevir, rank=3)
│       │   └── [3-4] GLUE פָּשְׂתָ֥ה הַ/מִּסְפַּ֖חַת (tifcha, rank=2)
│       └── [5] בָּ/ע֑וֹר (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) וְ/טִמְּא֥/וֹ הַ/כֹּהֵ֖ן צָרַ֥עַת הִֽוא
    ├── [6-7] GLUE וְ/טִמְּא֥/וֹ הַ/כֹּהֵ֖ן (tifcha, rank=2)
    └── [8-9] GLUE צָרַ֥עַת הִֽוא (silluq (verse-end emperor), rank=1)

Word coverage — 135/135 words with named roles

ref#HebrewtranslitEnglishrolekindrule
Lev.13.10וידברva-yedabberand-spokeframe_speech_verb_only_wayyiqtollogic_bearingnone
Lev.13.11יהוהYHWHthe-LORDagent_divine_name_first_in_derived_unitlogic_bearingnone
Lev.13.12אלeltoaddressee_prepglueTIR-008
Lev.13.13משהMosheMosesaddressee_presupposedlogic_bearingnone
Lev.13.14ואלve-eland-toaddressee_prepglueTIR-008
Lev.13.15אהרןAharonAaronaddressee_inspector_presupposedlogic_bearingnone
Lev.13.16לאמרle-morsayingquote_opener_infinitivelogic_bearingnone
Lev.13.20אדםadamhumancase_subject_parameterlogic_bearingnone
Lev.13.21כיkiwhencase_opener_particlelogic_bearingnone
Lev.13.22יהיהyihyehthere-iscase_condition_imperfectlogic_bearingnone
Lev.13.23בעורbe-orin-skin-ofsubstrate_skinlogic_bearingnone
Lev.13.24בשרוbesarohis-fleshsubstrate_fleshlogic_bearingnone
Lev.13.25שאתse'etswellingmark_class_1_cain_joinlogic_bearingnone
Lev.13.26אוoordisjunctionglueTIR-008
Lev.13.27ספחתsapachatscabmark_class_2logic_bearingnone
Lev.13.28אוoordisjunctionglueTIR-008
Lev.13.29בהרתbaheretbright-spotmark_class_3logic_bearingnone
Lev.13.210והיהve-hayahand-it-becomesthreshold_weqatallogic_bearingTIR-029
Lev.13.211בעורbe-orin-skin-ofsubstrate_skinlogic_bearingnone
Lev.13.212בשרוbesarohis-fleshsubstrate_fleshlogic_bearingnone
Lev.13.213לנגעle-negainto-a-mark-ofthreshold_classlogic_bearingnone
Lev.13.214צרעתtzara'attzara'atcondition_name_segirulogic_bearingnone
Lev.13.215והובאve-huvaand-he-shall-be-broughtrouting_hophal_weqatal_passivelogic_bearingTIR-029
Lev.13.216אלeltorouting_prepglueTIR-008
Lev.13.217אהרןAharonAaroninspector_namedlogic_bearingnone
Lev.13.218הכהןha-kohenthe-priestinspector_office_presupposedlogic_bearingnone
Lev.13.219אוoordisjunctionglueTIR-008
Lev.13.220אלeltorouting_prepglueTIR-008
Lev.13.221אחדachadoneinspector_any_singlelogic_bearingnone
Lev.13.222מבניוmi-banavof-his-sonsinspector_classlogic_bearingnone
Lev.13.223הכהניםha-kohanimthe-priestsinspector_classlogic_bearingnone
Lev.13.30וראהve-ra'ahand-he-shall-seeinspection_call_weqatallogic_bearingTIR-029
Lev.13.31הכהןha-kohenthe-priestinspectorlogic_bearingnone
Lev.13.32אתetobj-markerobj_markerlogic_bearingTIR-014
Lev.13.33הנגעha-negathe-markexam_objectlogic_bearingnone
Lev.13.34בעורbe-orin-skin-ofsubstrate_skinlogic_bearingnone
Lev.13.35הבשרha-basarthe-fleshsubstrate_fleshlogic_bearingnone
Lev.13.36ושערve-se'arand-hairpredicate_1_subjectlogic_bearingnone
Lev.13.37בנגעba-negain-the-markpredicate_1_locuslogic_bearingnone
Lev.13.38הפךhafakhhas-turnedpredicate_1_perfectlogic_bearingnone
Lev.13.39לבןlavanwhitepredicate_1_valuelogic_bearingnone
Lev.13.310ומראהu-mar'ehand-appearance-ofpredicate_2_subjectlogic_bearingnone
Lev.13.311הנגעha-negathe-markpredicate_2_oflogic_bearingnone
Lev.13.312עמקamokdeeperpredicate_2_valuelogic_bearingnone
Lev.13.313מעורme-orthan-skin-ofpredicate_2_comparandlogic_bearingnone
Lev.13.314בשרוbesarohis-fleshpredicate_2_comparandlogic_bearingnone
Lev.13.315נגעnegamark-ofclassification_headlogic_bearingnone
Lev.13.316צרעתtzara'attzara'atclassification_classlogic_bearingnone
Lev.13.317הואhuit-isclassification_copula_masclogic_bearingnone
Lev.13.318וראהוve-ra'ahuand-he-shall-see-himinspection_doubled_openlogic_bearingTIR-029
Lev.13.319הכהןha-kohenthe-priestinspectorlogic_bearingnone
Lev.13.320וטמאve-timmeand-he-shall-declare-impurestatus_write_piel_declarative_negativelogic_bearingTIR-029
Lev.13.321אתוotohimstatus_write_patientlogic_bearingTIR-014
Lev.13.40ואםve-imand-ifbranch_particle_eliflogic_bearingnone
Lev.13.41בהרתbaheretbright-spotbranch_subjectlogic_bearingnone
Lev.13.42לבנהlevanahwhitepredicate_positivelogic_bearingnone
Lev.13.43הואhiit-iscopula_ktiv_hu_qere_hi_openlogic_bearingnone
Lev.13.44בעורbe-orin-skin-ofsubstrate_skinlogic_bearingnone
Lev.13.45בשרוbesarohis-fleshsubstrate_fleshlogic_bearingnone
Lev.13.46ועמקve-amokand-deeperpredicate_negated_subjectlogic_bearingnone
Lev.13.47איןeinis-notnegator_nominallogic_bearingnone
Lev.13.48מראהmar'ehaits-appearancepredicate_negated_oflogic_bearingnone
Lev.13.49מןminthancomparand_prepglueTIR-008
Lev.13.410העורha-orthe-skincomparandlogic_bearingnone
Lev.13.411ושערהu-se'arahand-its-hairpredicate_negated_2_subjectlogic_bearingnone
Lev.13.412לאlonotnegator_verballogic_bearingnone
Lev.13.413הפךhafakhhas-turnedpredicate_negated_2_perfectlogic_bearingnone
Lev.13.414לבןlavanwhitepredicate_negated_2_valuelogic_bearingnone
Lev.13.415והסגירve-hisgirand-he-shall-confinequarantine_call_hiphil_weqatallogic_bearingTIR-029
Lev.13.416הכהןha-kohenthe-priestinspectorlogic_bearingnone
Lev.13.417אתetobj-markerobj_marker_mark_not_person_openlogic_bearingTIR-014
Lev.13.418הנגעha-negathe-markconfined_object_marklogic_bearingnone
Lev.13.419שבעתshivatseven-oftimer_weeklogic_bearingnone
Lev.13.420ימיםyamimdaystimer_weeklogic_bearingnone
Lev.13.50וראהוve-ra'ahuand-he-shall-see-himrecheck_call_weqatallogic_bearingTIR-029
Lev.13.51הכהןha-kohenthe-priestinspectorlogic_bearingnone
Lev.13.52ביוםba-yomon-the-dayloop_reentry_datelogic_bearingnone
Lev.13.53השביעיha-shevi'ithe-seventhloop_reentry_date_definitelogic_bearingnone
Lev.13.54והנהve-hinehand-beholdinspection_deicticlogic_bearingnone
Lev.13.55הנגעha-negathe-markpredicate_subjectlogic_bearingnone
Lev.13.56עמדamadhas-stoodpredicate_stasis_perfectlogic_bearingnone
Lev.13.57בעיניוbe-einavin-its-appearancestasis_idiom_openlogic_bearingnone
Lev.13.58לאlonotnegator_verballogic_bearingnone
Lev.13.59פשהfasahhas-spreadpredicate_spread_perfectlogic_bearingnone
Lev.13.510הנגעha-negathe-markpredicate_subjectlogic_bearingnone
Lev.13.511בעורba-orin-the-skinspread_domainlogic_bearingnone
Lev.13.512והסגירוve-hisgiroand-he-shall-confine-himquarantine_call_2_person_object_openlogic_bearingTIR-029
Lev.13.513הכהןha-kohenthe-priestinspectorlogic_bearingnone
Lev.13.514שבעתshivatseven-oftimer_weeklogic_bearingnone
Lev.13.515ימיםyamimdaystimer_weeklogic_bearingnone
Lev.13.516שניתshenita-second-timeloop_iteration_label_boundlogic_bearingnone
Lev.13.60וראהve-ra'ahand-he-shall-seerecheck_call_weqatallogic_bearingTIR-029
Lev.13.61הכהןha-kohenthe-priestinspectorlogic_bearingnone
Lev.13.62אתוotohimexam_patientlogic_bearingTIR-014
Lev.13.63ביוםba-yomon-the-dayloop_reentry_datelogic_bearingnone
Lev.13.64השביעיha-shevi'ithe-seventhloop_reentry_date_definitelogic_bearingnone
Lev.13.65שניתshenita-second-timeloop_iteration_labellogic_bearingnone
Lev.13.66והנהve-hinehand-beholdinspection_deicticlogic_bearingnone
Lev.13.67כההkehahhas-dimmedpredicate_fade_perfectlogic_bearingnone
Lev.13.68הנגעha-negathe-markpredicate_subjectlogic_bearingnone
Lev.13.69ולאve-loand-notnegator_verballogic_bearingnone
Lev.13.610פשהfasahhas-spreadpredicate_spread_perfectlogic_bearingnone
Lev.13.611הנגעha-negathe-markpredicate_subjectlogic_bearingnone
Lev.13.612בעורba-orin-the-skinspread_domainlogic_bearingnone
Lev.13.613וטהרוve-tiharoand-he-shall-declare-him-purestatus_write_piel_declarative_positivelogic_bearingTIR-029
Lev.13.614הכהןha-kohenthe-priestinspectorlogic_bearingnone
Lev.13.615מספחתmispachatscabclassification_mem_form_openlogic_bearingnone
Lev.13.616היאhiit-isclassification_copula_femlogic_bearingnone
Lev.13.617וכבסve-khibbesand-he-shall-washpatient_duty_subject_shiftlogic_bearingTIR-029
Lev.13.618בגדיוbegadavhis-garmentsgarment_second_skinlogic_bearingnone
Lev.13.619וטהרve-taherand-he-is-purestate_stative_qal_becomelogic_bearingTIR-029
Lev.13.70ואםve-imand-ifbranch_particle_eliflogic_bearingnone
Lev.13.71פשהpasohspreadinfinitive_absolute_doublinglogic_bearingnone
Lev.13.72תפשהtifsehit-spreadscondition_imperfect_doubledlogic_bearingnone
Lev.13.73המספחתha-mispachatthe-scabcondition_subjectlogic_bearingnone
Lev.13.74בעורba-orin-the-skinspread_domainlogic_bearingnone
Lev.13.75אחריachareiaftertemporal_scope_openerglueTIR-008
Lev.13.76הראתוhera'otohis-being-seenniphal_infinitive_release_reflogic_bearingTIR-030
Lev.13.77אלeltorouting_prepglueTIR-008
Lev.13.78הכהןha-kohenthe-priestinspectorlogic_bearingnone
Lev.13.79לטהרתוle-tohoratofor-his-purificationrelease_reference_purposelogic_bearingTIR-030
Lev.13.710ונראהve-nir'ahand-he-shall-be-seenreopen_call_niphal_weqatal_passivelogic_bearingTIR-029
Lev.13.711שניתshenita-second-timereopen_iteration_labellogic_bearingnone
Lev.13.712אלeltorouting_prepglueTIR-008
Lev.13.713הכהןha-kohenthe-priestinspectorlogic_bearingnone
Lev.13.80וראהve-ra'ahand-he-shall-seereopen_inspection_weqatallogic_bearingTIR-029
Lev.13.81הכהןha-kohenthe-priestinspectorlogic_bearingnone
Lev.13.82והנהve-hinehand-beholdinspection_deicticlogic_bearingnone
Lev.13.83פשתהpastahhas-spreadpredicate_spread_confirmedlogic_bearingnone
Lev.13.84המספחתha-mispachatthe-scabpredicate_subjectlogic_bearingnone
Lev.13.85בעורba-orin-the-skinspread_domainlogic_bearingnone
Lev.13.86וטמאוve-timme'oand-he-shall-declare-him-impurestatus_write_piel_declarative_negativelogic_bearingTIR-029
Lev.13.87הכהןha-kohenthe-priestinspectorlogic_bearingnone
Lev.13.88צרעתtzara'attzara'atclassification_upgradedlogic_bearingnone
Lev.13.89הואhiit-isclassification_copula_ktiv_hu_qere_hi_openlogic_bearingnone

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

unit: lev_13_intake_quarantine — The skin-mark intake: case, handlers, quarantine loop (Lev 13:1-8) — first law unit [frozen]

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

=== S1 — The frame, then silence: after STEP_Lv_13_1
    וַיְדַבֵּר יְהוָה (va-yedabber YHWH)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name  (tests=0 names=0)
    PASS  machine flags moshe/aharon as read-before-install (presupposed).  (flagged=['aharon', 'moshe'])

=== S2 — The case installed as standing fact: after STEP_Lv_13_2
    אָדָם כִּי־יִהְיֶה (adam ki-yihyeh)
    PASS  Facts case-kohen HOLD  (1 facts)
    PASS  SPECS empty  (queue=0)
    PASS  machine flags adam/or_basar/ha_kohen as read-before-install (presupposed).  (flagged=['adam', 'aharon', 'ha_kohen', 'moshe', 'or_basar'])

=== S3 — Handler 1 standing — verdict-impure: after STEP_Lv_13_3
    וְטִמֵּא אֹתוֹ (ve-timme oto)
    PASS  Facts handler-timme HOLD  (2 facts)
    PASS  SPECS empty.  (queue=0)

=== S4 — Handler 2 standing — first confinement: after STEP_Lv_13_4
    וְהִסְגִּיר … שִׁבְעַת יָמִים (ve-hisgir … shivat yamim)
    PASS  Facts handler-hisgir HOLD  (3 facts)
    PASS  SPECS empty.  (queue=0)

=== S5 — Handler 3 standing — day-7 recheck, second confinement: after STEP_Lv_13_5
    בַּיּוֹם הַשְּׁבִיעִי … שֵׁנִית (ba-yom ha-shevi'i … shenit)
    PASS  Facts handler-shenit HOLD  (4 facts)
    PASS  SPECS empty.  (queue=0)

=== S6 — Handler 4 standing — the release chain: after STEP_Lv_13_6
    וְטִהֲרוֹ … וְטָהֵר (ve-tiharo … ve-taher)
    PASS  Facts handler-tiharo HOLD  (5 facts)
    PASS  SPECS empty.  (queue=0)

=== S7 — Handler 5 standing — the armed reopen trigger: after STEP_Lv_13_7
    וְנִרְאָה שֵׁנִית (ve-nir'ah shenit)
    PASS  Facts handler-nirah HOLD  (6 facts)
    PASS  SPECS empty.  (queue=0)

=== S8 — Handler 6 standing — and the genre signature as machine state: after STEP_Lv_13_8
    צָרַעַת הִוא (tzara'at hi)
    PASS  Facts handler-pastah HOLD  (7 facts)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name  (tests=0 names=0)
    PASS  LEDGER stays EMPTY (open transaction).  (ledger_days=[])

=== S9_negative — Negative: flags never block the ledger
    PASS  commit proceeded (not blocked)  (LEDGER=[99])
    PASS  pattern deviation FLAGGED  (flags=['commit_without_test'])

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_13_intake_quarantine.py — replays the six registers and asserts the interpreter's machine truth.

#!/usr/bin/env python3
# =============================================================================
# lev_13_intake_quarantine — 13:1-8
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/lev_13_intake_quarantine.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 skin-mark intake: case, handlers, quarantine loop (Lev 13:1-8) — first law unit"""
from machine import Machine

m = Machine("lev_13_intake_quarantine")

# -------------------------- Lev.13.1 · FRAME_SPEECH ------------------------
# וַיְדַבֵּר יְהוָה אֶל־מֹשֶׁה וְאֶל־אַהֲרֹן לֵאמֹר
# "And the LORD spoke unto Moses and unto Aaron, saying:"
m.step("Lev.13.1")
# ‹וַיְדַבֵּר יְהוָה› (“and-spoke the-LORD”) — event: speak — agent the-LORD
m.event("speak", agent="YHWH")
# reads without prior install (flag, not fix): Moses, Aaron
m.presupposed("moshe", "aharon")

# -------------------------- Lev.13.2 · CASE_INTAKE -------------------------
# אָדָם כִּי־יִהְיֶה בְעוֹר־בְּשָׂרוֹ שְׂאֵת אוֹ־סַפַּחַת אוֹ בַהֶרֶת
# וְהָיָה בְעוֹר־בְּשָׂרוֹ לְנֶגַע צָרָעַת וְהוּבָא אֶל־אַהֲרֹן הַכֹּהֵן אוֹ
# אֶל־אַחַד מִבָּנָיו הַכֹּהֲנִים
# "When a man shall have in the skin of his flesh a rising, or a scab, or a
# bright spot, and it become in the skin of his flesh the plague of leprosy,
# then he shall be brought unto Aaron the priest, or unto one of his sons
# the priests."
m.step("Lev.13.2")
# ‹אָדָם כִּי־יִהְיֶה … וְהוּבָא אֶל־אַהֲרֹן הַכֹּהֵן› (“human when there-is
# … and-he-shall-be-brought to Aaron the-priest”) — case human, mark-in-
# skin-of-flesh(Most-High-or-scab-or-bright-spot) -> the-disease-mark routes
# to hova-to-the-priest
m.case("adam, mark_in_or_basar(seet_o_sapachat_o_baheret) -> nega_tzaraat", "hova_el_ha_kohen")
# reads without prior install (flag, not fix): human, skin-of-flesh, the-
# priest
m.presupposed("adam", "or_basar", "ha_kohen")

# -------------------------- Lev.13.3 · HANDLER_VERDICT_TAMEI ---------------
# וְרָאָה הַכֹּהֵן אֶת־הַנֶּגַע בְּעוֹר־הַבָּשָׂר וְשֵׂעָר בַּנֶּגַע הָפַךְ
# לָבָן וּמַרְאֵה הַנֶּגַע עָמֹק מֵעוֹר בְּשָׂרוֹ נֶגַע צָרַעַת הוּא
# וְרָאָהוּ הַכֹּהֵן וְטִמֵּא אֹתוֹ
# "And the priest shall look upon the plague in the skin of the flesh; and
# if the hair in the plague be turned white, and the appearance of the
# plague be deeper than the skin of his flesh, it is the plague of leprosy;
# and the priest shall look on him, and pronounce him unclean."
m.step("Lev.13.3")
# ‹וְשֵׂעָר … הָפַךְ לָבָן וּמַרְאֵה … עָמֹק … וְטִמֵּא אֹתוֹ› (“and-hair …
# has-turned white and-appearance-of … deeper … and-he-shall-declare-impure
# him”) — standing handler — if hair-has-turned-white ∧ appearance-deeper-
# from-skin-of then classify(into-a-mark-of-leprosy-it-is) ∧ he-shall-
# declare-impure(status-impure)
m.handler("sear_hafakh_lavan ∧ mareh_amok_me_or",
          "classify(nega_tzaraat_hu) ∧ timme(status_tamei)")

# -------------------------- Lev.13.4 · HANDLER_CONFINE_FIRST ---------------
# וְאִם־בַּהֶרֶת לְבָנָה הִוא בְּעוֹר בְּשָׂרוֹ וְעָמֹק אֵין־מַרְאֶהָ
# מִן־הָעוֹר וּשְׂעָרָה לֹא־הָפַךְ לָבָן וְהִסְגִּיר הַכֹּהֵן אֶת־הַנֶּגַע
# שִׁבְעַת יָמִים
# "And if the bright spot be white in the skin of his flesh, and the
# appearance thereof be not deeper than the skin, and the hair thereof be
# not turned white, then the priest shall shut up him that hath the plague
# seven days."
m.step("Lev.13.4")
# ‹וְאִם … אֵין … לֹא … וְהִסְגִּיר … שִׁבְעַת יָמִים› (“and-if … is-not …
# not … and-he-shall-confine … seven-of days”) — standing handler — if
# bright-spot-white ∧ is-not-deeper-its-appearance ∧ not-has-turned-white
# then he-shall-confine(obj-marker-the-into-a-mark-of, seven-of-days)
m.handler("baheret_levanah ∧ ein_amok_mareha ∧ lo_hafakh_lavan",
          "hisgir(et_ha_nega, shivat_yamim)")

# -------------------------- Lev.13.5 · HANDLER_RECHECK_CONFINE_SECOND ------
# וְרָאָהוּ הַכֹּהֵן בַּיּוֹם הַשְּׁבִיעִי וְהִנֵּה הַנֶּגַע עָמַד
# בְּעֵינָיו לֹא־פָשָׂה הַנֶּגַע בָּעוֹר וְהִסְגִּירוֹ הַכֹּהֵן שִׁבְעַת
# יָמִים שֵׁנִית
# "And the priest shall look on him the seventh day; and, behold, if the
# plague stay in its appearance, and the plague be not spread in the skin,
# then the priest shall shut him up seven days more."
m.step("Lev.13.5")
# ‹בַּיּוֹם הַשְּׁבִיעִי וְהִנֵּה … עָמַד … לֹא־פָשָׂה … שֵׁנִית› (“on-the-
# day the-seventh and-behold … has-stood … not has-spread … a-second-time”)
# — standing handler — if in-the-day-the-seventh ∧ has-stood-in-its-
# appearance ∧ not-has-spread then he-shall-confine-him(seven-of-days-a-
# second-time)
m.handler("ba_yom_ha_shevii ∧ amad_be_einav ∧ lo_fasah",
          "hisgiro(shivat_yamim_shenit)")

# -------------------------- Lev.13.6 · HANDLER_RELEASE ---------------------
# וְרָאָה הַכֹּהֵן אֹתוֹ בַּיּוֹם הַשְּׁבִיעִי שֵׁנִית וְהִנֵּה כֵּהָה
# הַנֶּגַע וְלֹא־פָשָׂה הַנֶּגַע בָּעוֹר וְטִהֲרוֹ הַכֹּהֵן מִסְפַּחַת הִיא
# וְכִבֶּס בְּגָדָיו וְטָהֵר
# "And the priest shall look on him again the seventh day; and, behold, if
# the plague be dim, and the plague be not spread in the skin, then the
# priest shall pronounce him clean: it is a scab; and he shall wash his
# clothes, and be clean."
m.step("Lev.13.6")
# ‹כֵּהָה … וְטִהֲרוֹ … מִסְפַּחַת הִיא וְכִבֶּס בְּגָדָיו וְטָהֵר› (“has-
# dimmed … and-he-shall-declare-him-pure … scab it-is and-he-shall-wash his-
# garments and-he-is-pure”) — standing handler — if in-the-day-the-seventh-
# a-second-time ∧ has-dimmed ∧ not-has-spread then he-shall-declare-him-
# pure(status-pure) ∧ classify(scab-it-is) ∧ wash-his-garments ∧ he-is-pure
m.handler("ba_yom_ha_shevii_shenit ∧ kehah ∧ lo_fasah",
          "tiharo(status_tahor) ∧ classify(mispachat_hi) ∧ kibbes_begadav ∧ taher")

# -------------------------- Lev.13.7 · HANDLER_REOPEN_TRIGGER --------------
# וְאִם־פָּשֹׂה תִפְשֶׂה הַמִּסְפַּחַת בָּעוֹר אַחֲרֵי הֵרָאֹתוֹ
# אֶל־הַכֹּהֵן לְטָהֳרָתוֹ וְנִרְאָה שֵׁנִית אֶל־הַכֹּהֵן
# "But if the scab spread abroad in the skin, after that he hath shown
# himself to the priest for his cleansing, he shall show himself to the
# priest again."
m.step("Lev.13.7")
# ‹פָּשֹׂה תִפְשֶׂה … אַחֲרֵי הֵרָאֹתוֹ … וְנִרְאָה שֵׁנִית› (“spread it-
# spreads … after his-being-seen … and-he-shall-be-seen a-second-time”) —
# standing handler — if spread-it-spreads(after-its-appearing-to-his-
# purification) then seen-a-second-time-to-the-priest
m.handler("pasoh_tifseh(acharei_heraoto_le_tohorato)",
          "nirah_shenit_el_ha_kohen")

# -------------------------- Lev.13.8 · HANDLER_REOPEN_VERDICT --------------
# וְרָאָה הַכֹּהֵן וְהִנֵּה פָּשְׂתָה הַמִּסְפַּחַת בָּעוֹר וְטִמְּאוֹ
# הַכֹּהֵן צָרַעַת הִוא
# "And the priest shall look, and, behold, the scab is spread in the skin;
# then the priest shall pronounce him unclean: it is leprosy."
m.step("Lev.13.8")
# ‹וְהִנֵּה פָּשְׂתָה … וְטִמְּאוֹ … צָרַעַת הִוא› (“and-behold has-spread …
# and-he-shall-declare-him-impure … tzara'at it-is”) — standing handler — if
# behold-has-spread-the-scab then pronounce-impure(status-impure) ∧
# classify(leprosy-it-is)
m.handler("hineh_pastah_ha_mispachat",
          "timmeo(status_tamei) ∧ classify(tzaraat_hi)")

# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
    m.report()
    assert m.created_set() == set()
    assert m.presupposed_set() == {'moshe', 'adam', 'or_basar', 'ha_kohen', 'aharon'}
    assert m.REGISTRY["names"] == {}
    assert m.REGISTRY["writes"] == 0
    assert m.tests_list() == []
    assert m.open_demands() == []
    assert len(m.SPECS["log"]) == 0
    assert sorted(m.LEDGER) == []
    assert m.flag_counts() == {'read_before_install': 5}
    assert sorted(m.WORLD["facts"]) == sorted(['case: adam, mark_in_or_basar(seet_o_sapachat_o_baheret) -> nega_tzaraat -> hova_el_ha_kohen', 'handler: IF(sear_hafakh_lavan ∧ mareh_amok_me_or) THEN(classify(nega_tzaraat_hu) ∧ timme(status_tamei))', 'handler: IF(baheret_levanah ∧ ein_amok_mareha ∧ lo_hafakh_lavan) THEN(hisgir(et_ha_nega, shivat_yamim))', 'handler: IF(ba_yom_ha_shevii ∧ amad_be_einav ∧ lo_fasah) THEN(hisgiro(shivat_yamim_shenit))', 'handler: IF(ba_yom_ha_shevii_shenit ∧ kehah ∧ lo_fasah) THEN(tiharo(status_tahor) ∧ classify(mispachat_hi) ∧ kibbes_begadav ∧ taher)', 'handler: IF(pasoh_tifseh(acharei_heraoto_le_tohorato)) THEN(nirah_shenit_el_ha_kohen)', 'handler: IF(hineh_pastah_ha_mispachat) THEN(timmeo(status_tamei) ∧ classify(tzaraat_hi))'])
    assert m.WORLD["invariants"] == []
    assert m.WORLD["partitions"] == []
    assert len(m.EVENTS) == 8
    print("ALL ASSERTIONS GREEN — rendering matches the frozen unit's machine truth")
FROZEN 2026-08-01 (owner approved, "freeze lev 13"; interpreter gained the CASE/HANDLER law-genre operators at freeze): eighth logic-derived unit and the FIRST LAW UNIT — the pilot the owner chose after the seven days closed. Central findings: the genre parses exactly as the learning pass predicted — one narrative frame verb, then installed code: a ki-case with a three-class intake filter and passive routing, six weqatal handlers (verdict, confine, recheck-confine, release, armed reopen trigger, reopen verdict), predicates as perfects under lo/ein negation, the infinitive-absolute doubling on the overturn branch, and the declare/become minimal pair (piel/qal) inside the release verse. The etnachta brackets condition|action in all seven law verses. The quarantine loop runs on the frozen week's clock (shivat yamim; re-entry BA-YOM HA-SHEVI'I) with a bounded second iteration (shenit). Onkelos fuses disease and procedure (tzara'at -> segiru, 'the shutting-disease'). The machine ends with SEVEN standing law facts and every other register untouched: no demand, no test, no name, no ledger row — installed code, armed, unexecuted. Narrative (ASK FIRST) and triage await owner order; the triage is the middot detector's legal-device tripwire test. Not binding religious law.

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.