docs(spec): reframe G2 example as structural asymmetry + note forthcoming files

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
This commit is contained in:
2026-05-30 14:21:00 +00:00
parent fd682d130f
commit 1daaa4861b

View File

@@ -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. אינדקס הספ
> הערה: נכון לעכשיו קיימת רק החוקה (קובץ זה). הקבצים 0107 ו-X1X5 ייכתבו בהמשך —
> הקישורים אליהם הם הפניות-קדימה, לא קישורים שבורים.
| קובץ | תפקיד | אוכף invariants |
|------|--------|-----------------|
| [00-constitution.md](00-constitution.md) | חוקה — ייעוד, invariants גלובליים, כללי-הנדסה, אינדקס | G1G11 |