From 1daaa4861bbc7f15fb92924092d1f72d85c34546 Mon Sep 17 00:00:00 2001 From: Chaim Date: Sat, 30 May 2026 14:21:00 +0000 Subject: [PATCH] docs(spec): reframe G2 example as structural asymmetry + note forthcoming files Co-Authored-By: Claude Opus 4.8 --- docs/spec/00-constitution.md | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) 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 |