> ta przesłanka to założenie że implementacje odejmowania jest wrapperem
> dla dodawania. Tak nie jest; operacja odejmowania ustawia flagi tak, aby
> miały one sens dla odejmowania, a nie dla dodawania.

Tak podejrzewałem (chociaż z książek/manuali/stron, które do tej pory
przejrzałem na ten temat, nijak to nie wynikało). Orientujesz się może jak
flagi C i H są ustawiane w przypadku odejmowania, tzn. byłbyś w stanie podać
mi analogiczne reguły? Sensowne wydaje się przyjęcie, że dla odejmowania
flaga C jest ustawiana przy pożyczce z bitu nr 9 (faktycznie
nieistniejącego), o ile operację odejmowania potraktujemy jako pisemne
odejmowanie dwóch liczb binarnych. Niestety, nadal nie umiem podać
analogicznej reguły dla półprzeniesienia-teoretycznie następowałoby ono w
przypadku pożyczki z bitu 4, ale nie do końca mi to pasuje.