Rewriting Homology with Operational Certificate (RHOC)

Abstract This revised working edition replaces the entire text of the supplied monograph. It preserves the subject, author identification, principal examples, modelling chapter, and research programme while correcting the mathematical arguments, the computational code, the executed test matrices, and the bibliographic positioning. The central distinction is maintained between three different objects: a directed rewriting system; an integer chain complex built from its edges and chosen cells; and a proposed interpretation of that system in an application. Termination and confluence belong to the first object; homology belongs to the second; empirical adequacy belongs to the third. None of these layers should be silently substituted for another.