diff --git a/docs/spec/00-constitution.md b/docs/spec/00-constitution.md index c731a43..7c8769d 100644 --- a/docs/spec/00-constitution.md +++ b/docs/spec/00-constitution.md @@ -85,8 +85,10 @@ lookup"); `8126-25` לא נמצא מול האמיתי `8126-03-25` → ממצא **מקורות:** Martin Kleppmann (system of record vs. derived data, *DDIA* 2017) · Martin Fowler (Canonical Data Model) · SSOT (Single Source of Truth) | סטטוס: verified **אכיפה:** ביקורת-ארכיטקטורה + כלל-הנדסה "סימטריה" (§6); מפורט ב-[01-ingest.md](01-ingest.md). -**הפרה ידועה:** אסימטריה בין `ingest_precedent` (חיצוני, מתזמן חילוץ metadata) לבין -`ingest_internal_decision` (פנימי, לא מתזמן) → ממצא ל-[audit](../audit-report.md). +**הפרה ידועה:** שני מסלולי ingest מקבילים לישויות-אחיות (`ingest_precedent` מול +`ingest_internal_decision`) שמתפצלים — לדוגמה: המסלול החיצוני מתזמן חילוץ metadata +(`request_metadata_extraction`), והמסלול הפנימי לא — ולכן ערן סופר 8046/24 נקלטה בלי +metadata → ממצא ל-[audit](../audit-report.md). ### INV-G3: ingest אחיד ו-idempotent **כלל:** קליטה היא **אחידה ו-idempotent** — upsert על מפתח דטרמיניסטי. קליטה חוזרת של @@ -198,6 +200,9 @@ South Bucks) + מקור-חקיקה אחד שספציפיות-הסעיף שלו ## 7. אינדקס הספ +> הערה: נכון לעכשיו קיימת רק החוקה (קובץ זה). הקבצים 01–07 ו-X1–X5 ייכתבו בהמשך — +> הקישורים אליהם הם הפניות-קדימה, לא קישורים שבורים. + | קובץ | תפקיד | אוכף invariants | |------|--------|-----------------| | [00-constitution.md](00-constitution.md) | חוקה — ייעוד, invariants גלובליים, כללי-הנדסה, אינדקס | G1–G11 |