Chaim
7a7249af38
G12 Leak-Guard / leak-guard (pull_request) Successful in 4s
Lint — undefined names / undefined-names (pull_request) Successful in 10s
feat(documents): מסמך-עיקרי — is_primary נגזר + רשימה קנונית (#200)
WS2 (#200): מבחין בין מסמך-עיקרי (מסמך-מהות שהיו"ר עוקבת אחריו לניתוח)
למשני. רשימה קנונית מאושרת-יו"ר: appeal/response/objection/protocol/
appraisal/decision; כל doc_type אחר = משני.
- db.PRIMARY_DOC_TYPES = מקור-אמת יחיד (tuple) + is_primary_doc_type().
- SCHEMA_V47: documents.is_primary BOOLEAN GENERATED ALWAYS AS
(doc_type = ANY(PRIMARY_DOC_TYPES)) STORED — Postgres גוזר, אין מסלול-
כתיבה מקביל, לא יכול לסטות מ-doc_type (G1/G2/INV-DM7, כמו ה-tsvectors).
אידמפוטנטי (ADD COLUMN IF NOT EXISTS, ביטוי קבוע) + אינדקס חלקי
idx_documents_primary לשאילתת "עיקריים שטרם-נותחו" (#201).
- _row_to_doc גוזר גם בקריאה (רשומות טרום-מיגרציה) + מוסיף doc_category
∈ {primary, secondary}. נחשף דרך document_list / case_get / API.
- 02-data-model.md §2ג מתעד את השדה הנגזר.
Invariants: G1 (נרמול-במקור — נגזר, לא נכתב), G2/INV-DM7 (מקור-אמת
יחיד, אין עמודה כפולה/מסלול מקביל), INV-DM3 (דפוס GENERATED drift-free),
INV-DM6 (ללא enum-TEXT חדש — סיווג נגזר). §6 (אין בליעה שקטה).
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
2026-06-30 11:16:26 +00:00
..
2026-05-26 08:34:40 +00:00
2026-06-27 12:49:32 +00:00
2026-06-11 17:54:16 +00:00
2026-05-04 06:38:47 +00:00
2026-04-12 23:29:16 +00:00
2026-06-30 11:16:26 +00:00
2026-06-27 12:49:32 +00:00
2026-05-17 12:57:54 +00:00
2026-06-09 17:05:33 +00:00
2026-05-03 18:43:41 +00:00
2026-04-04 14:19:17 +00:00
2026-06-14 13:46:26 +00:00
2026-04-30 14:54:21 +00:00
2026-04-04 14:19:17 +00:00
2026-04-12 23:29:16 +00:00
2026-06-08 06:02:02 +00:00
2026-04-28 16:41:25 +00:00
2026-04-28 16:41:25 +00:00
2026-04-28 16:41:25 +00:00
2026-05-17 16:29:58 +00:00
2026-04-27 07:26:45 +00:00
2026-05-17 16:29:58 +00:00
2026-06-28 22:55:07 +00:00
2026-04-09 14:33:27 +00:00
2026-04-12 23:29:16 +00:00
2026-04-12 23:29:16 +00:00
2026-04-12 23:29:16 +00:00
2026-06-03 12:30:38 +00:00
2026-06-11 20:19:18 +00:00
2026-06-06 20:54:31 +00:00
2026-06-20 10:11:18 +00:00
2026-04-04 14:27:07 +00:00
2026-04-04 14:27:07 +00:00
2026-04-15 10:44:42 +00:00
2026-06-08 09:14:52 +00:00
2026-06-17 04:59:36 +00:00
2026-04-04 14:19:17 +00:00
2026-04-26 19:38:17 +00:00
2026-05-03 20:16:13 +00:00