Preprint / scholarly article

Self-Describing Rewrite Intelligence

K. Takahashi

Published
DOI
10.5281/zenodo.17958465

Full text PDF (Zenodo)

Abstract

The paper proposes an operational No-Meta interface: SRIM does not assume any externally correct auditor, reward signal, or environment-side evaluator.

Keywords

  • graph rewriting
  • term rewriting
  • graph transformation
  • algebraic graph transformation
  • DPO
  • adhesive categories
  • nested application conditions
  • critical peak enumeration
  • local confluence
  • confluence modulo isomorphism
  • newman's lemma
  • rank functions

Identifiers and source records