feat(goldset): soft consistency warning between is_holding and type #103

chaim · 2026-06-07T13:40:22Z

chaim commented

2026-06-07 13:40:22 +00:00

מה ולמה

משוב חיים: "לא הלכה" + "מחייבת" הוא סתירה לוגית ("מחייבת" = זו ההלכה עצמה). שלושת הכפתורים עצמאיים, אז השילוב היה לחיץ בלי שום סימן.

מוסיף אזהרה רכה (ענבר, לא-חוסמת) מתחת לכפתורי-הסוג כשהשילוב סותר:

הלכה ↔ מחייבת/פרשני/פרוצדורלי/משכנע
לא-הלכה ↔ יישום/אמרת-אגב

רכה בכוונה — מסמנת את חוסר-העקביות לתיקון בלי לחסום, ומשאירה מקום למקרי-קצה.

אימות

tsc --noEmit exit 0.

🤖 Generated with Claude Code

## מה ולמה משוב חיים: "לא הלכה" + "מחייבת" הוא **סתירה לוגית** ("מחייבת" = זו ההלכה עצמה). שלושת הכפתורים עצמאיים, אז השילוב היה לחיץ בלי שום סימן. מוסיף **אזהרה רכה (ענבר, לא-חוסמת)** מתחת לכפתורי-הסוג כשהשילוב סותר: - הלכה ↔ מחייבת/פרשני/פרוצדורלי/משכנע - לא-הלכה ↔ יישום/אמרת-אגב רכה בכוונה — מסמנת את חוסר-העקביות לתיקון בלי לחסום, ומשאירה מקום למקרי-קצה. ## אימות - `tsc --noEmit` exit 0. 🤖 Generated with [Claude Code](https://claude.com/claude-code)

chaim added 1 commit 2026-06-07 13:40:22 +00:00

feat(goldset): soft consistency warning between is_holding and type 5aa3d4ed99

"לא הלכה" + "מחייבת" (or any holding-type) is a logical contradiction — binding
means it IS the holding. Likewise "הלכה" + application/obiter. The three controls
are independent, so the combo was clickable with no signal.

Adds a non-blocking amber warning under the type buttons when is_holding and
correct_type contradict (holding ↔ binding/interpretive/procedural/persuasive;
not-holding ↔ application/obiter). Soft by design — flags the inconsistency for
the tagger to fix without forcing, leaving room for genuine edge cases.

Verified: tsc --noEmit exits 0.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

chaim merged commit a1f491e9cc into main

2026-06-07 13:40:28 +00:00

chaim deleted branch worktree-goldset-consistency-warn

2026-06-07 13:40:28 +00:00

chaim referenced this issue from a commit

2026-06-07 13:40:30 +00:00

Merge pull request 'feat(goldset): soft consistency warning between is_holding and type' (#103) from worktree-goldset-consistency-warn into main

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: ezer-mishpati/legal-ai#103