Commit first steps towards semiring decoding