2 Commits

Include renames

Author	SHA1	Message	Date
jschoubben	e2c41ffa5a	checker: a carry keeps the composition it passed while no composed fingerprint changed, and composes again otherwise (ADR 0548 §5; issue 568 D3)	2026-10-26 11:32:31 +01:00
jschoubben	5091cab652	Read the assigner's composition into the checker's verdict in place of 'not yet run', failing a check whose composition failed, naming its machine (issue 1297, subtask B3d; ADR 0528 clause 5)	2026-10-23 15:27:59 +02:00