Skip to content

SPEC.md

Latest commit

 

History

History
246 lines (194 loc) · 13.1 KB

SPEC.md

File metadata and controls

246 lines (194 loc) · 13.1 KB
Raw

מחשבון שיעורי חז"ל — אפיון ותוכנית יישום

יישום אנדרואיד (Kotlin + Jetpack Compose, נייטיב, אופליין מלא). תפקיד ראשי: מחשבון שיעורים — חישוב והמרה בתוך מערכת היחידות של חז"ל (אמות → טפחים → אצבעות → שברי אצבע). תפקיד משני: המרה למטרי (ס"מ / גרם / מ"ל) ולעשרוני, לפי שיטות חזו"א / הגר"ח נאה / ר' משה פיינשטיין.

⚠️ כל המסמך הוא לעיון בלבד, לא להוראת הלכה. השיעורים השנויים במחלוקת (במיוחד כזית) טעונים אישור פוסק לפני שימוש למעשה. היישום יציג כתב ויתור דומה.

מקורות המחקר: Halachipedia, TorahCalc, OU Kosher, Yeshivat Har Etzion (VBM), DinOnline, Wikipedia (Talmudic units), מאמר המטרולוגיה של Ajdler, dafyomi.co.il — מצולבים מול שו"ע, משנה ברורה, שיעורי תורה (הגר"ח נאה), חזון איש, אגרות משה.

עיקרון יסוד לנתונים

היחסים הפנימיים קבועים ומוסכמים על כל השיטות. המחלוקת היא רק על ערך היחידה הבסיסית בס"מ/סמ"ק/גרם. לכן במנוע: היחסים = קבועים מדויקים (שברים), והשיטה מחליפה רק את ערך הבסיס המטרי.

1. אורך (מידות)

יחסים (קבועים)

מ־ אל יחס
אצבע טפח 4 אצבעות = טפח
טפח זרת 3 טפחים = זרת
זרת אמה 2 זרת = אמה
טפח אמה 6 טפחים = אמה (24 אצבעות)
אמה קנה 6 אמות = קנה
אמה ריס 266⅔ אמות = ריס (7.5 ריס = מיל)
אמה מיל 2000 אמות = מיל
מיל פרסה 4 מיל = פרסה (8000 אמות)

הערה: "אמה בת 6 טפחים" היא ברירת המחדל ההלכתית. "אמה בת 5 טפחים" (אמה קצרה) משמשת רק למדידות מסוימות במשכן/מזבח — לא ברירת מחדל.

ערכים בס"מ (בסיס: אצבע)

יחידה גר"ח נאה ר' משה פיינשטיין חזון איש
אצבע 2.0 2.25 2.41 (מחמיר ~2.455)
טפח 8.0 9.0 9.62
אמה 48.0 53.98 57.6–57.72 (מחמיר ~58.9)

נגזרות: מיל ≈ 0.96 ק"מ (נאה) / ~1.15 ק"מ (חזו"א). תחום שבת (2000 אמה) ≈ 960 מ' (נאה) / ~1152 מ' (חזו"א). פרסה ≈ 3.84 ק"מ / ~4.6 ק"מ.

דגל: ל"24 אינץ' = 60.96 ס"מ" כאמת החזו"א — נפסל במחקר (הצבעה 1-2). זהו רק השיעור המחמיר (chumra) לעירוב/תחום, לא האמה הסטנדרטית.

2. נפח

יחסים (קבועים)

מ־ אל יחס
ביצה רביעית רביעית = 1.5 ביצים
רביעית לוג 4 רביעיות = לוג (6 ביצים)
לוג קב 4 לוג = קב (24 ביצים)
קב סאה 6 קב = סאה (144 ביצים)
לוג הין 12 לוג = הין (= ½ סאה)
סאה איפה 3 סאה = איפה (432 ביצים)
איפה עומר/עשרון עומר = 1/10 איפה (43.2 ביצים)
איפה לתך 5 איפה = לתך
לתך כור/חומר 2 לתך = כור (10 איפה = 30 סאה)

ערכים בסמ"ק (סמ"ק = מ"ל)

יחידה גר"ח נאה ר' משה חזון איש
כביצה 57.6 (עם קליפה) / ~55 (בלי) — 90 (בלי קליפה) / 100 (אגודל)
רביעית 86 ~89–103 (נגזר) 150
לוג ~344 — ~600
סאה ~8.3 ליטר — ~14.4 ליטר

כזית — השיעור השנוי ביותר במחלוקת. תלוי בשני משתנים בלתי תלויים: (א) חצי ביצה (תוס', רא"ש — אשכנז) או פחות משליש ביצה (רמב"ם); (ב) גודל הביצה.

בסיס גר"ח נאה ר' משה חזון איש
כזית (שליש ביצה) 17.3 31.2 (ברכה/דרבנן) 33–33.3
כזית (חצי ביצה) 27–28.8 43.2 = 1.5 fl oz (מצה/דאורייתא) 47.5–50

משנ"ב: חצי ביצה לדאורייתא/ברכה אחרונה, שליש לדרבנן. היישום חייב לחשוף את בחירת הבסיס (חצי/שליש) בנוסף לשיטה — לא מספר יחיד.

שיעורים מעשיים (נפח)

  • רביעית (קידוש, ד' כוסות): 86 (נאה) / 150 (חזו"א).
  • כזית מצה/מרור: ~26–28 (נאה) / 43.2 (ר' משה) / 50 (חזו"א).
  • כביצה (טומאת אוכלין, נטילת ידיים): ~55 (נאה) / ~100 (חזו"א).
  • מקווה 40 סאה: ~332 ליטר (נאה) – ~576 ליטר (חזו"א). (נגזר — לאמת לפני שילוח.)

3. משקל (כסף) — ⚠️ קטגוריה לאימות

יחסים

  • גרה = 1/20 שקל. דינר/זוז → 4 דינר = סלע. מנה = 100 דינר (= 25 סלע). ככר = 60 מנה.

ערכים (תקן צורי סטנדרטי)

יחידה משקל כסף
דינר / זוז ≈ 3.54 גרם
סלע = שקל הצורי (4 דינר) ≈ 14.16 גרם
מנה (100 דינר) ≈ 354 גרם
ככר (60 מנה) ≈ 21.24 ק"ג
  • מחצית השקל = ½ סלע = 2 דינר ≈ 7.08 גרם כסף.
  • פדיון הבן = 5 סלע = 20 דינר ≈ 100 גרם כסף (מצוטט ~96–117 גרם לפי שיטה; הגר"ח נאה ≈ 96 גרם, חזו"א מחמיר יותר).
  • מחלוקת: תקן גאונים/רי"ף מחמיר — דינר ≈ 4.25 גרם, סלע ≈ 17 גרם. משנה מהותית את משקל הכסף לפדיון/מחצית השקל.

דגל: משקלי הכסף תלויים בבסיס (3.54 vs 4.25 גרם דינר). לסמן "טעון אישור פוסק"; לאפשר בחירת בסיס בהגדרות.

4. שטח קרקע — ⚠️ נגזר (medium confidence)

יחסים (אמות רבועות)

יחידה אמות²
בית רובע 104⅙ (1/24 בית סאה)
בית קב 416⅔ (1/6 בית סאה)
בית סאה 2500 (50×50 אמה)
בית כור 75,000 (30 בית סאה)

במ"ר (= אמות² × אמה²)

יחידה גר"ח נאה (אמה 0.48מ') חזו"א (אמה ~0.577מ')
בית סאה ≈ 576 מ"ר ≈ 833 מ"ר
בית כור ≈ 17,280 מ"ר ≈ 25,000 מ"ר

נגזר מהאמה הליניארית — לאמת מול טבלת שטח ייעודית לפני שילוח.

5. מטבעות

שרשרת ההמרה (ר' חייא, קידושין יב.)

1 דינר (זוז) = 6 מעה = 12 פונדיון = 24 איסר = 48 מסמס = 96 קונטרון = 192 פרוטה

יחסים נגזרים
מעה = 2 פונדיון; פונדיון = 2 איסר; איסר = 8 פרוטה
סלע = 4 דינר; שקל (= מחצית השקל בלשון חז"ל) = 2 דינר
  • שווה פרוטה: השווי המינימלי בעל משמעות הלכתית (למשל קידושין — צריך לתת לאישה שווה פרוטה).
  • מחלוקת: לפי רשב"ג פרוטה = 1/6 איסר (במקום 1/8). היישום ינקוט בשיטת ר' חייא (1/8) כברירת מחדל.
  • שווי כספי עכשווי של פרוטה תלוי במחיר הכסף החי — לא קובע במחקר (משתנה). אופציה: שדה ידני למחיר כסף, או הזנה ידנית של שווי פרוטה.

6. זמן — קטגוריה משנית

יחסים
שעה = 1080 חלקים (חלק ≈ 3⅓ שניות)
שעה זמנית = 1/12 מהיום (או הלילה) — משתנה לפי תאריך/מיקום
עונה = חצי יממה (בהקשרים מסוימים = יום או לילה)

רגע ועונה — הגדרות משתנות לפי הקשר; לסמן כמשני ולא להציג כחד-משמעי.

תוכנית היישום

ארכיטקטורה

  • Kotlin + Jetpack Compose, Material 3, מודול יחיד, MVVM.
  • אופליין מלא — ללא הרשאות, ללא רשת (פרט אולי לשליפת מחיר כסף אופציונלית).
  • עברית + RTL (supportsRtl, strings.xml, layoutDirection).
  • שמירת הגדרות: DataStore.

מודל הנתונים — מקור אמת יחיד

enum Category { LENGTH, VOLUME, WEIGHT, AREA, COIN, TIME }
enum Shita    { NAEH, RAV_MOSHE, CHAZON_ISH }   // + chumra flag

class Unit(
  id, hebrewName, category,
  ratioToBase: Fraction          // שבר מדויק ביחס ליחידת הבסיס של הקטגוריה
)
// בסיס לכל קטגוריה: LENGTH=אצבע, VOLUME=ביצה, WEIGHT=דינר, AREA=אמה², COIN=פרוטה

class ShitaMetric(shita, category, baseUnitMetricValue: Fraction, metricUnit)
// למשל אצבע נאה = 2 ס"מ מדויק; חזו"א = 241/100; כזית תלוי גם ב-EggBasis

מנוע החישוב — הרעיון המרכזי

  1. חשבון מדויק עם שברים (Rational/BigFraction על BigInteger) — לא floating point. כל היחסים שלמים/שברים פשוטים, אז אין צבירת שגיאות עיגול.
  2. מצב מחשבון שיעורים: מנתח ביטוי ("XX אמות ÷ Y", +, ×), מחשב שבר מדויק ביחידות בסיס.
  3. פירוק (mixed-radix decomposition): חמדני מהיחידה הגדולה לקטנה; השארית ביחידה הקטנה מוצגת כשבר נאה (½, ⅓, ¼, ⅔, ¾) או שבר מדויק. → תוצאה: "5 אמות, 2 טפחים, אצבע ושליש". הגדרה: גרנולריות מינימלית (עד אצבע / עד שברי אצבע).
  4. פלט מטרי: שבר-בסיס × ערך הבסיס של השיטה → ס"מ, ואז גם עשרוני וגם מ'/ק"מ לפי גודל. ניתן להציג כמה שיטות זו לצד זו.

מסכים (Compose, RTL)

  1. מחשבון — בחירת קטגוריה, הזנת ביטוי, יחידת מקור → תוצאה מפורקת + מטרי לשיטה הנבחרת (אופציה: כל השיטות במקביל).
  2. ממיר — מיחידה X ליחידה Y.
  3. שיעורים מעשיים — רשימה: כזית, רביעית, תחום שבת, פדיון הבן, מחצית השקל, מקווה, כביצה… כל אחד עם הערך לכל שיטה.
  4. הגדרות — שיטת ברירת מחדל, מתג chumra, בסיס כזית (חצי/שליש ביצה), גרנולריות ועיגול, בסיס משקל כסף, שפה.
  5. אודות/מקורות — הסבר המחלוקות, מקורות, וכתב ויתור ("לא להלכה למעשה — להתייעץ עם רב").

שלבי פיתוח

  • שלב 0 — שכבת נתונים: קידוד כל היחסים + ערכי הבסיס לכל שיטה (Kotlin object / JSON asset). מבחני יחידה לבדיקת round-trip (אמה→אצבע→אמה) והמרות ידועות.
  • שלב 1 — אורך מקצה לקצה: מחשבון + פירוק + מטרי. מוכיח את המנוע.
  • שלב 2 — נפח (עם בורר בסיס כזית), משקל, שטח, מטבעות, זמן.
  • שלב 3 — מסך שיעורים מעשיים.
  • שלב 4 — ליטוש: RTL, נגישות, היסטוריה/מועדפים, כתב ויתור.

הכרעות שנקבעו (2026-06-24)

  1. כזית = יחידה נגזרת מהביצה. היישום אינו פוסק הלכה. כזית = (שבר נבחר) × ביצה, עם בורר בסיס ברור (חצי / שליש / מותאם). התרגום בפועל לסמ"ק מוצג לפי כל השיטות במקביל. לכן הבסיס המטרי לנפח מעוגן בביצה לכל שיטה, ושאר יחידות הנפח (רביעית, לוג…) והכזית נגזרים ביחס קבוע.
  2. שווי פרוטה/כסף: שליפה אונליין של מחיר הכסף, עם נפילה חזרה לאופליין (ערך אחרון שנשמר / הזנה ידנית). דורש הרשאת INTERNET בלבד (אופציונלי לשימוש).
  3. חזו"א: ברירת מחדל = שיעור רגיל (57.6 ס"מ / ביצה 100 סמ"ק) + מתג chumra.
  4. משקל כסף: ברירת מחדל תקן צורי (דינר 3.54ג), מתג לתקן גאונים/רי"ף (4.25ג); מסומן "טעון אישור פוסק".

נותר לאימות לפני שילוח

  • ערכי שטח במ"ר וליטרי מקווה (נגזרים, medium confidence) — מול טבלה ייעודית.
  • גרמי פדיון הבן/מחצית השקל לכל שיטה.

טולצ'יין (Play-ready, מאומת מול ה-cache המקומי)

Gradle 8.13 · AGP 8.8.0 · Kotlin 2.0.21 (+ compose compiler plugin) · Compose BOM 2024.12.01 · compileSdk/targetSdk 35 · minSdk 24 · JDK 17. applicationId com.aviv.shiurim. חתימת release דרך keystore.properties (לא בגיט).