מחקר, ארכיטקטורה וקוד פתוח • שפת Rust 1.85+ • תקן ת״י 6100

החזון לעימוד עברי מקצועי.
דיוק של דפוס, מהירות של Rust.

TypesetOK (TOK) היא מערכת עימוד ופרסום שולחני (DTP) מודרנית בקוד פתוח הנמצאת במחקר ופיתוח עבור טיפוגרפיה עברית מתקדמת, ספרי קודש (ש״ס, מקראות גדולות ושו״ת), ומסמכי ענק בני אלפי עמודים — במפרט הנדסי קפדני ללא פשרות.

צפה בקוד ב-GitHub אתר המפתח (Amlaach) ↗
58 / 58 בדיקות ליבה ב-Rust עוברות
0 אזהרות קוד נקי בתקן Clippy
ת״י 6100 & ISO 15930 עמידה מלאה בתקני דפוס ויוניקוד
TypesetOK Logo TypesetOK Monograph
גליון הוכחה ארכיטקטוני • SI 6100
סֵפֶר תְּהִלִּים — מִזְמוֹר כ״ג
מִזְמ֥וֹר לְדָוִ֑ד יְהוָ֥ה רֹ֝עִ֗י לֹ֣א אֶחְסָֽר׃ בִּנְא֣וֹת דֶּ֭שֶׁא יַרְבִּיצֵ֑נִי עַל־מֵ֖י מְנֻח֣וֹת יְנַהֲלֵֽנִי׃ נַפְשִׁ֥י יְשׁוֹבֵ֑ב יַֽנְחֵ֥נִי בְמַעְגְּלֵי־צֶ֝֗דֶק לְמַ֣עַן שְׁמֽוֹ׃ גַּ֤ם כִּֽי־אֵלֵ֨ךְ בְּגֵ֪יא צַלְמָ֡וֶת לֹא־אִ֘ירָ֤א רָ֗ע כִּי־אַתָּ֥ה עִמָּדִ֑י שִׁבְטְךָ֥ וּ֝מִשְׁעַנְתֶּ֗ךָ הֵ֣מָּה יְנַֽחֲמֻֽנִי׃
יחס הזהב, אותיות מתרחבות אהלתר״ם וסנכרון קווי בסיס
פרק א׳: עמודי התווך של הארכיטקטורה

שלושה עקרונות הנדסיים מנחים

כיצד תוכנן מנוע העימוד של TypesetOK לפתור את האתגרים ההיסטוריים של עולם הדפוס העברי.

עקרון 01

נרמול קפדני לפי תקן ישראלי ת"י 6100

מעבדי תמלילים ומערכות עימוד מערביות משבשות לעיתים קרובות את סדר האותיות והניקוד ביוניקוד. TypesetOK אוכפת סדר יוניקוד דטרמיניסטי מלא ומפעילה מנוע גימטריה דטרמיניסטי למניעת צירופי טאבו ושמות קודש (15 ← ט״ו, 16 ← ט״ז, 270 ← ע״ר).

סדר יוניקוד קנוני: אות ← נקודת ש/שׂ ← דגש ← ניקוד ← מתג ← טעמים
אינדוקס שברירי ב-$O(1)$ ללא צורך במספור מחדש של המסמך
UNICODE CANONICAL SI 6100 DECOMPOSITION:
U+05E9 (ש) U+05C1 (שׁ) U+05BC (ּ) U+05B8 (ָ) U+0591 (֑)
שָׁ֕
עקרון 02

פותר אילוצים רב-תזרימי (Talmud Solver)

עמודי ש"ס ומקראות גדולות הם פסגת הקושי הטיפוגרפי העולמי: גמרא במרכז, רש"י בצד אחד ותוספות בצד השני, כאשר כל שינוי בפסקה אחת משפיע על גלישת הטקסט של שני הפירושים האחרים. מפרט המערכת מגדיר פותר אילוצים מתמטי ייעודי לסנכרון רציף.

סנכרון תזרימי טקסט מקבילים באותו עמוד ובכפולות עמודים
אלגוריתם Knuth-Plass כולל למניעת שורות יתומות וחללים רפויים
רש״י
מאימתי — מאיזה זמן קורין את שמע בערבין משעה שהכהנים נכנסים לאכול בתרומתן.
גמרא
מֵאֵימָתַי קוֹרִין אֶת שְׁמַע בְּעַרְבִין? מִשָּׁעָה שֶׁהַכֹּהֲנִים נִכְנָסִים לֶאֱכוֹל בִּתְרוּמָתָן.
תוספות
מאימתי קורין — לא פירש תנא דידן היכן רמיזא קריאת שמע, אלא סמך אקרא.
עקרון 03

קדם-דפוס נייטיב: ISO 15930 (PDF/X-1a)

ללא הסתמכות על מנועי הדפסת דפדפן המוגבלים ל-sRGB. מנוע ה-Rust מתוכנן לייצר ישירות קובצי דפוס מובהקים: שחור 100% K (DeviceCMYK), צלבי רישום וסימני חיתוך וקטוריים, תיבות BleedBox ו-TrimBox של 3 מ\"מ, ופרופילי Fogra 39.

טבלאות /ToUnicode קפדניות: טקסט מנוקד שניתן להעתקה וחיפוש ב-PDF
תמיכה מלאה בצבעי ספוט (Spot/Pantone) ישירות מקובץ ההגדרות
ISO 15930-1:2001 PDF/X-1a | Fogra 39 Coated | Bleed: 3.00mm
מסמך מוגן לדפוס — הפרדת לוחות CMYK טהורה
פרק ב׳: השוואה טיפוגרפית מעמיקה

מעבד תמלילים רגיל מול אופטימיזציית TypesetOK

גררו את הסליידר או לחצו על הלחצנים המהירים כדי להשוות בין תוצר שבירת שורות פרימיטיבית בוורד לבין בלוק העימוד המהודק עם Knuth-Plass ואותיות התפשטות.

מעבד תמלילים מסורתי (וורד)

הלכות דעות — פרק ראשון

דעות הרבה יש לכל אחד ואחד מבני אדם, וזו משונה מזו ורחוקה ממנה ביותר: יש אדם שהוא בעל חמה כועס תמיד, ויש אדם שדעתו מיושבת עליו ואינו כועס כלל. ויש אדם שהוא גבה לב ביותר, ויש שהוא שפל רוח בתכלית. ועל דרך זו שאר כל הדעות כולן. והדרך הישרה היא מידה בינונית שבכל דעה ודעה מכל הדעות שיש לו לאדם.

⚠️ שורות רפויות, 'נהרות' לבנים פעורים, היעדר התאמת אותיות התפשטות ואי-אחידות בצפיפות.
מפרט TypesetOK (Knuth-Plass + אהלתר״ם)

הִלְכוֹת דֵּעוֹת — פֶּרֶק רִאשׁוֹן

דֵּעוֹת הַרְבֵּה יֵשׁ לְכָל אֶחָד וְאֶחָד מִבְּנֵי אָדָם, וְזוֹ מְשֻׁנָּה מִזּוֹ וּרְחוֹקָה מִמֶּנָּה בְּיוֹתֵר: יֵשׁ אָדָם שֶׁהוּא בַּעַל חֵמָה כּוֹעֵס תָּמִיד, וְיֵשׁ אָדָם שֶׁדַּעְתּוֹ מְיוּשֶׁבֶת עָלָיו וְאֵינוֹ כּוֹעֵס כְּלָל. וְיֵשׁ אָדָם שֶׁהוּא גְּבַהּ לֵב בְּיוֹתֵר, וְיֵשׁ שֶׁהוּא שְׁפַל רוּחַ בְּתַכְלִית. וְעַל דֶּרֶךְ זוֹ שְׁאָר כָּל הַדֵּעוֹת כֻּלָּן. וְהַדֶּרֶךְ הַיְשָׁרָה הִיא מִדָּה בֵּינוֹנִית שֶׁבְּכָל דֵּעָה וְדֵעָה מִכָּל הַדֵּעוֹת שֶׁיֵּשׁ לוֹ לָאָדָם.

✓ בלוק טיפוגרפי אחיד, שבירת שורות גלובלית, אותיות מתרחבות אהלתר״ם וסנכרון מלא לקווי בסיס.
פרק ג׳: הדגמת עקרונות טיפוגרפיים

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

התנסו בפרמטרים הטיפוגרפיים וראו כיצד משפיעים רווחי השורות, חלוקת הטורים ומדרגי היישור העבריים על שטף הקריאה.

הדגמה אינטראקטיבית של עקרונות שבירת שורות, קווי בסיס ואותיות התפשטות (אהלתר״ם)
18px
1.65
חלוקת טורים (Columns)
24px
מדרג יישור עברי (Justification Tier)
הצגת ניקוד וטעמים מלאים
רשת קווי בסיס (Baseline Grid 24px)
פרק ד׳: קונספט ממשק המשתמש

תכנון סביבת עבודה שולחנית מודרנית (DTP Workbench)

הדמיית ממשק העריכה המתוכנן המשלב מעטפת עריכה מודרנית עם ליבת Rust מהירה במיוחד.

TypesetOK Workbench Architecture Concept — [ספר_בראשית.tok]
● Planned Rust Binary IPC
עץ צמתים סמנטי (TDM Tree)
📄 DocumentRoot
📁 Section: בראשית
⚡ Flow: ראשי (2 טורים)
¶ פסקא: בראשית ברא...
פֶּרֶק רִאשׁוֹן — מַעֲשֵׂה בְרֵאשִׁית

בְּרֵאשִׁ֖ית בָּרָ֣א אֱלֹהִ֑ים אֵ֥ת הַשָּׁמַ֖יִם וְאֵ֥ת הָאָֽרֶץ׃ וְהָאָ֗רֶץ הָיְתָ֥ה תֹ֙הוּ֙ וָבֹ֔הוּ וְחֹ֖שֶׁךְ עַל־פְּנֵ֣י תְה֑וֹם וְר֣וּחַ אֱלֹהִ֔ים מְרַחֶ֖פֶת עַל־פְּנֵ֥י הַמָּֽיִם׃

וַיֹּ֥אמֶר אֱלֹהִ֖ים יְהִ֣י א֑וֹר וַֽיְהִי־אֽוֹר׃ וַיַּ֧רְא אֱלֹהִ֛ים אֶת־הָא֖וֹר כִּי־ט֑וֹב.

עמוד א׳ • TypesetOK Specimen Concept
בדיקות קדם-דפוס (Preflight Spec)
תקן דפוס: PDF/X-1a (ISO 15930)
פרופיל צבע: Fogra 39 (DeviceCMYK)
שולי גלישה: BleedBox 3.00mm
מאפייני צומת סמנטי
סוג צומת: DocumentRoot
מזהה ULID: 01HX5K3T9R0000000000000001
Knuth Demerits: 0 (Optimal)
פרק ה׳: יכולות ומאפייני ליבה

שבעת עמודי התווך של הארכיטקטורה

נבנה עבור מהנדסים, מוציאים לאור ומעמדים מקצועיים שאינם מוכנים להתפשר על ביצועים או על דיוק ההלכה הטיפוגרפית.

ליבת Rust עצמאית & וירטואליזציה במסמכי ענק

מערכות מונוליתיות ישנות סובלות מקיפאון תצוגה מוחלט במסמכים מעל 100 עמודים. TypesetOK מפרידה קפדנית בין ליבת העימוד והזיכרון ב-Rust לבין ה-UI, ומחזיקה ב-DOM שלושה עמודים פעילים בלבד בכל רגע נתון — מה שמבטיח ריצה יציבה במסמכי 1,000+ עמודים.

tok-core + tok-viewer

ת"י 6100 וגימטריה דטרמיניסטית

נרמול יוניקוד קפדני לפי התקן הישראלי, עם טיפול אוטומטי בגרש וגרשיים תקניים והמרות טאבו מסורתיות (15 ← ט״ו, 16 ← ט״ז, 270 ← ע״ר).

100% SI 6100 Compliant

יישור עברי תלת-שלבי (Knuth-Plass)

מדרג יישור מדעי: מתיחת רווחי מילים מבוקרת (Tier 1), אותיות התפשטות מסורתיות אהלתר"ם (Tier 2), ומיקרו-טרקינג עדין של ±2% em (Tier 3).

Demerits Optimization

פותר אילוצים רב-תזרימי לספרי קודש

אלגוריתם מתמטי ייעודי לפריסת עמודי ש"ס ומקראות גדולות. סנכרון מושלם בין גמרא למפרשים חוצה-עמודים ללא גלישה שגויה.

Multi-Flow Constraint Solver

קדם-דפוס נייטיב ISO 15930

ייצוא ישיר של PDF/X-1a ו-PDF/X-4 עם 100% K DeviceCMYK, פרופיל Fogra 39, צבעי ספוט וסימני חיתוך. טבלאות /ToUnicode לטקסט מנוקד שניתן להעתקה.

ISO 15930 Target

עמידות קריסות: ACID WAL & .tok

מסד נתונים פנימי עם Write-Ahead Logging לשמירה אוטומטית שוטפת ברקע ללא אובדן נתונים, לצד פורמט חבילה רשמי (.tok) המבוסס על ארכיב ZIP אטומי מוגן.

Zero Data Loss Target
פרק ו׳: שקיפות הנדסית ואימות נתונים

תוצאות בדיקות אמת במאגר הקוד

בלי מילים שיווקיות ריקות — כל הנתונים שלהלן אומתו במאגר הקוד של TypesetOK ב-Rust.

מדד הנדסי / בדיקה יעד ארכיטקטוני תוצאה בפועל (Verified) סטטוס
בדיקות יחידה ב-Workspace 100% מעבר בכל 7 ה-Crates 58 / 58 בדיקות עוברות בהצלחה ✓ PASSED
בדיקות איכות קוד (Clippy) 0 אזהרות עם הדגל -D warnings 0 אזהרות (Clean Build) ✓ PASSED
פורמט אחיד (rustfmt) עמידה מלאה ב-cargo fmt --check 100% תאימות לכללי העיצוב ✓ PASSED
דטרמיניזם ביט-אחר-ביט SHA-256 זהה לחלוטין בריצות עוקבות Pass 1 SHA == Pass 2 SHA (100%) ✓ PASSED
מבחן עומס מסמך (Stress Test) 1,000 עמודים מנוקדים ברציפות 4,000 פסקאות / 6,400 שורות בליבת ה-Rust ✓ PASSED
A
פרק ד׳: אודות הפרויקט והמפתח

חזון הקוד הפתוח של Amlaach

פרויקט TypesetOK הוקם מתוך צורך אמיתי של עולם הדפוס העברי והספרות התורנית בכלי עימוד מודרני, אמין, מהיר וחופשי ממנעולים מסחריים מיושנים. הפרויקט מנוהל ומפותח על ידי Amlaach.

אתר המפתח (Amlaach) ↗ מאגר ב-GitHub

הצטרפו לפיתוח עתיד העימוד העברי

עקבו אחר הפיתוח ב-GitHub, עיינו במפרט הארכיטקטורה המלא, או הירשמו לעדכוני גרסאות ומחקר.

פרויקט TypesetOK ב-GitHub אתר המפתח ↗