5b2: the error messages #45

Merged

lilleman merged 4 commits from error-messages into main

2026-09-03 18:45:57 +02:00

Author	SHA1	Message	Date
lilleman	2ff03a1396	5b2: make the pipe escape terminate, cap the value a document fault echoes CI / gate (push) Successful in 9s Details	2026-09-03 18:45:17 +02:00
lilleman	240ea8eb64	5b2: name the inline claim's escape where prose reaches it CI / gate (push) Successful in 8s Details	2026-09-03 18:37:10 +02:00
lilleman	2578e342cf	5b2: tick the item and move its text to the history CI / gate (push) Successful in 9s Details	2026-09-03 17:52:31 +02:00
lilleman	222dcc5aab	5b2: name the violation in every error message, and the escape a claimed line takes	2026-09-03 17:52:31 +02:00