<?xml version="1.0" encoding="UTF-8"?>
<rfc xmlns:xi="http://www.w3.org/2001/XInclude" category="info" docName="draft-watts-relational-echo-calculus-00" ipr="trust200902" submissionType="IETF" xml:lang="en" version="3">
  <front>
    <title abbrev="REC Transformation-First Primer">Relational Echo Calculus (REC): A Transformation-First Mathematical Communication Prototype</title>
    <seriesInfo name="Internet-Draft" value="draft-watts-relational-echo-calculus-00"/>
    <author fullname="Deonté O'dell Watts" asciiFullname="Deonte O'dell Watts" initials="D. O." surname="Watts">
      <organization>GoodShyt Group Inc.</organization>
      <address>
        <email>deonte@goodshyt.fun</email>
        <uri>https://orcid.org/0009-0005-8586-3650</uri>
      </address>
    </author>
    <date year="2026" month="October" day="22"/>
    <keyword>hypercube</keyword>
    <keyword>invariance</keyword>
    <keyword>interstellar communication</keyword>
    <keyword>emergent communication</keyword>
    <keyword>xenomathematics</keyword>
    <abstract>
      <t>This document describes a transformation-first teaching notation for mathematical communication to unfamiliar receivers. The prototype operates on finite motifs drawn from the vertices of a Hamming hypercube. Echo operations act through coordinate permutations and binary translations. We distinguish invariance of a coarse signature from proof of exact orbit equivalence, exhibiting two four-dimensional patterns that have equal pairwise-distance multisets but different induced adjacency. A synthetic toy decoder reconstructs arbitrary token meanings when its complete transformation hypothesis class is supplied. The main testable conjecture is that instruction ordered by invariance might improve cross-agent decoding over instruction ordered by arithmetic under matched information budgets. The conjecture has not been experimentally evaluated; no new extraterrestrial signal or new mathematical theorem is claimed.</t>
    </abstract>
  </front>
  <middle>
    <section anchor="intro">
      <name>Introduction: Premise and Prior Work</name>
      <t>Arithmetic-based interstellar primers, including Lincos, precede this proposal; attempts to decode interstellar messages already discuss symbol relations and functions <xref target="OLLONGREN2013"/> <xref target="HOWDECODE2022"/>. Research on emergent agent communication and generalization is well established <xref target="MU2021"/> <xref target="CHAABOUNI2020"/>. The transformation group below is likewise standard <xref target="CHEN1993"/>. Our contribution is an experimental package and test protocol; we do not claim the underlying algebra is new.</t>
      <t>This Internet-Draft is a faithful conversion of the author's manuscript "Relational Echo Calculus (REC): A Transformation-First Mathematical Communication Prototype", Version 0.1, dated 21 October 2026 (session REC-20261021-01; status: exploratory design; originality: not established; provenance: user-directed and AI-assisted drafting and implementation). Mathematical notation has been rendered in plain text. The figure of the original manuscript is described in prose. It is published for discussion; it is not a protocol specification.</t>
    </section>
    <section anchor="defs">
      <name>Definitions and Operations</name>
      <t>Fix n &gt;= 1, and let the underlying vertex space be V_n = {0,1}^n. A "motif" is a finite subset M of V_n; empty motifs are allowed. A "bond" connects x, y in V_n when d_H(x,y) = 1, where d_H(x,y) is the number of coordinates i (1 &lt;= i &lt;= n) with x_i != y_i. An "echo" is an action on motifs, induced by</t>
      <artwork type="ascii-art"><![CDATA[
   T_{pi,b}(x) = P_pi x XOR b,    pi in S_n,  b in V_n.     (1)
]]></artwork>
      <t>The set of echoes is the automorphism group G_n, isomorphic to (Z_2)^n semidirect S_n, of order 2^n * n!. Define "fusion" A |_| B = A union B and the "resonance signature"</t>
      <artwork type="ascii-art"><![CDATA[
   R(M) = [[ d_H(x,y) : {x,y} a 2-element subset of M ]]      (2)
]]></artwork>
      <t>where the notation denotes a multiset (multiplicities retained), not an ordinary set. This notation is purely descriptive and does not presuppose a receiver knows numbers. The transmission uses repeated before/after demonstrations to teach such concepts.</t>
      <t>Proposition 1 (Echo invariance). For all M contained in V_n and all T in G_n, R(T(M)) = R(M); also the multiset of degrees in the subgraph induced by M is invariant. Moreover, T(A |_| B) = T(A) |_| T(B).</t>
      <t>Proof. A coordinate permutation leaves the count of differing coordinates between any pair unchanged. XOR with a fixed vector cancels when the two resulting points are compared, hence d_H(Tx,Ty) = d_H(x,y). All pairwise distance multiplicities and distance-one edges are preserved under a bijection. The last identity follows because the image of a union under a function is the union of the images.</t>
      <t>Proposition 2 (A coarse-signature collision). There are motifs with identical resonance signatures that lie in different G_4-orbits.</t>
      <t>Proof. Interpret integers as four-bit vertices. Choose A = {0,1,2,12} and B = {0,1,6,7}. Direct enumeration gives R(A) = R(B) = {{1,1,2,2,3,3}} (multisets). In A, two distance-one bonds share vertex 0, yielding induced degree multiset {{0,1,1,2}}. In B, the bonds are disjoint, yielding {{1,1,1,1}}. Degrees are invariant by the preceding proposition, so no echo can map A onto B.</t>
    </section>
    <section anchor="higher">
      <name>Higher-Dimensional Interpretation</name>
      <t>The vertices V_4 are a tesseract's vertices in a combinatorial sense; V_5 similarly gives a five-dimensional cube. More dimensions increase the transformation family to 2^n * n! without fundamentally changing the primitive relation. The original manuscript includes a figure visualizing a projection of the four-dimensional hypercube and the two four-vertex motifs of Proposition 2; the projection can overlap unrelated points in two dimensions, and dashed-looking projected geometry should not be interpreted as actual intersection in four dimensions.</t>
    </section>
    <section anchor="glyph">
      <name>Glyph Interpretation Experiment</name>
      <t>The symbols g1, g2, g3 designate three hidden echoes. An observed example consists of a symbol, a visible before-state motif, and a visible after-state motif. A white-box symbolic reference decoder enumerates G_4 and intersects the compatible echo sets across demonstrations. Unique recovery in this constrained setup establishes only internal consistency; it does not demonstrate genuine alien-language acquisition, general agent learning, or message universality. Reproduction commands and generated results are in the README.md and data.json files of the accompanying research package.</t>
    </section>
    <section anchor="hyp">
      <name>Competing Communication Hypotheses</name>
      <t>Conjecture (H2: Invariance-first learning advantage). With matched information budgets and target tasks, agents given transformation-first instructional demonstrations decode unseen structural relationships more reliably than agents given arithmetic-first instruction.</t>
      <t>We compare this to H1 (arithmetic-first superiority) and H3 (hybrid superiority). The primary task and its correct answer must be identical across conditions. Primer content and ordering vary, with matched supervision, signal length, noise, and training compute. See PROTOCOL.md in the accompanying research package for a blind comparison design, exact primary metrics, negative controls and held-out dimensions.</t>
    </section>
    <section anchor="falsifiers">
      <name>Falsifiers, Contradictions and Evidentiary Limits</name>
      <t>The H2 advantage claim fails under adequately powered, information-matched testing if H2 does not significantly improve decoding across designated recipient architectures. H3 fails if the hybrid does not outperform the best single-method comparator. Null controls with randomly reassigned symbols should yield chance behavior, otherwise leakage or structural shortcuts are suspected. A claimed decoding improvement is not evidence of nonhuman authorship or physical alien intelligence. Equal distance signatures do not certify symmetry equivalence; the exhibited collision is a safety case preventing false promotion. No cross-agent experiment or blinded independent validation has yet occurred.</t>
    </section>
    <section anchor="provenance">
      <name>Provenance, Novelty and Reproducibility</name>
      <t>Established: hypercube group actions, Hamming distance, invariant multiset calculations. Derived: the stated collision and its proof. Conjectural: the comparative communication advantage. Potential project-specific synthesis: naming, ordering and benchmark formulation, whose global novelty remains unverified. Test statuses are recorded separately for exact toy checks (run) and planned H1/H2/H3 experiments (not run). Attribution is to the research lead as project sponsor, with explicit AI assistance, and does not imply independent invention by a human researcher.</t>
    </section>
    <section anchor="iana">
      <name>IANA Considerations</name>
      <t>This document has no IANA actions.</t>
    </section>
    <section anchor="security">
      <name>Security Considerations</name>
      <t>This document defines no protocol and no on-the-wire format. The considerations below concern the integrity of the proposed experiment. Decoding experiments are vulnerable to leakage: if answer keys, symbol assignments or expected outcomes are available to the agents under test (for example through training data or shared context), measured decoding success can reflect memorization rather than inference. Blinded comparisons therefore need held-out answer material, randomized symbol reassignment controls and documented custody of evaluation keys. Equality of a coarse invariant (such as the resonance signature) must not be treated as proof of equivalence; Proposition 2 shows that doing so admits false matches. Results from synthetic, AI-generated messages must not be presented as evidence about real signals.</t>
    </section>
  </middle>
  <back>
    <references>
      <name>Informative References</name>
      <reference anchor="OLLONGREN2013" target="https://doi.org/10.1007/978-1-4614-5468-7"><front><title>Astrolinguistics: Design of a Linguistic System for Interstellar Communication Based on Logic</title><author fullname="A. Ollongren"/><date year="2013"/></front><seriesInfo name="DOI" value="10.1007/978-1-4614-5468-7"/></reference>
      <reference anchor="CHEN1993" target="https://doi.org/10.1137/0406028"><front><title>Induced Cycle Structures of the Hyperoctahedral Group</title><author fullname="W. Y. C. Chen"/><date year="1993"/></front><seriesInfo name="DOI" value="10.1137/0406028"/><refcontent>SIAM Journal on Discrete Mathematics</refcontent></reference>
      <reference anchor="HOWDECODE2022" target="https://doi.org/10.1016/j.actaastro.2021.11.029"><front><title>How to Decode Interstellar Messages</title><author/><date year="2022"/></front><seriesInfo name="DOI" value="10.1016/j.actaastro.2021.11.029"/><refcontent>Acta Astronautica, vol. 192, pp. 77-81; author metadata omitted pending external verification</refcontent></reference>
      <reference anchor="MU2021" target="https://arxiv.org/abs/2106.02668"><front><title>Emergent Communication of Generalizations</title><author fullname="J. Mu"/><author fullname="N. Goodman"/><date year="2021"/></front><refcontent>Advances in Neural Information Processing Systems</refcontent></reference>
      <reference anchor="CHAABOUNI2020" target="https://doi.org/10.18653/v1/2020.acl-main.407"><front><title>Compositionality and Generalization in Emergent Languages</title><author fullname="R. Chaabouni"/><author fullname="E. Kharitonov"/><author fullname="D. Bouchacourt"/><author fullname="E. Dupoux"/><author fullname="M. Baroni"/><date year="2020"/></front><seriesInfo name="DOI" value="10.18653/v1/2020.acl-main.407"/><refcontent>Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, pp. 4427-4442</refcontent></reference>
    </references>
  </back>
</rfc>
