Connection
Carry
Trace

Reality Mechanics Theory is the formal read of the Atlas as connected carrying across orders.

Connection is primary. Connection offers Carry forward and Trace backward. Carrying is carry being enacted. Retracing is a participant following trace. An order changes where carrying takes on a new structural role; a crossing is the passage through which that change occurs.

This is version 0.3. It is a working root revision, stated at human scale. It does not claim that relation is made of graphs or symbols. Formality is used to track connection without replacing relation with its representation.

The proposed core is:

Connection · Direction · Enactment · Order

A connection offers directional availability. Carry is its forward availability and trace its backward availability. Carrying and retracing enact those directions differently. An order names the mode in which carrying operates, and a crossing marks carrying becoming a carrier for another mode.

Status

Working formal read, version 0.3.

The immediate aim is to state connection and its directional enactments precisely enough that they can be instantiated across several domains without turning connection into a mere link between isolated terms.

Scope

Version 0.3 reads finite, locatable connections and changes in carrying mode. Probability, continuous dynamics, feedback, and temporal metric remain outside the initial read.

The Orders

An order is a register in which carrying operates in a particular structural mode. Local terminal conditions may close readable movement within an order, but closure does not universally generate carrying. Carrying begins wherever carry offered by connection is enacted.

The current order read is:

First     connection becomes locatable and offers carry / trace
Second    carry is enacted through coupling and participation
Third     participating carrying becomes organised and nested
Higher    organised carrying enters its own carrying
Practice  a participant may follow trace through retracing

An order may still have width, closure, and terminal conditions. These describe how carrying is shaped within that order. They do not replace connection as the condition through which carry and trace are available.

The Crossing

A crossing is a passage at which carrying changes structural role. What was carried within one order becomes part of the carrier for another mode.

First  → Second    carry is enacted as carrying
Second → Third     carrying through participation organises a field
Third  → Higher    organised and nested carrying enters its own carrying
Higher → Practice  a participant enters trace through retracing

Resolution, recurrence, nesting, and recursion may shape particular crossings. None is treated as the universal source of connection.

Carry and Trace

Carry and trace are directional availability within one connection.

Carry is the forward availability of connection. Trace is its backward availability. Neither direction requires a participant to enact it.

Carrying is carry being enacted. Retracing is a participant following trace. Carrying and retracing do not create separate relations; they enter one connection from different directions.

A ──carry──▶ B
A ◀──trace── B

Where A and B are connected, the connection offers carry toward B and trace toward A. Where no connection holds, no carry or trace is claimed between them. Absence of connection is not automatically failure or disorder.

Reach

A participant takes up the order within a resolution band: the range it can receive, distinguish, retain, and carry. Reach is that range.

What exceeds a participant's reach is still real, effective, and traceable. It becomes readable to that participant when it is carried, slowed, amplified, measured, or translated into the band. Reach is why the same connection can be fully present and still unreadable: the carry and trace are available; the participant's band cannot yet carry them.

A crossing is bounded by reach. Where a crossing delivers more than the receiving band can hold, what must remain recoverable is lost at that participant: two distinguishable priors arrive as one, and the trace can no longer separate them. This is overload — not a failure of the connection, but of reach. Handling a crossing so it stays within the receiving reach is a care the practice layer carries; the formal read only marks where reach is exceeded.

Return

Connection offers trace; return occurs where a participant enters that trace through retracing.

The highest order can cross into practice where the Atlas is actually retraced — a note read, a trace walked, a connection tested. That movement may re-establish readable contact with Ground. Opacity can make such practice useful or necessary for a participant, but the participant's failure to retrace does not erase a connection that still holds.

The return is not repetition. Retracing enters connection from a later position while the accumulated carrying remains present. Ground is re-contacted, not reset.

Where nobody retraces, trace may remain available. Where connection itself no longer holds, neither carry nor trace is claimed across that break. Absence of connection is not by itself named drift or disorder; those are later diagnoses requiring their own conditions.

The Whole Order

The figure is not a compulsory ring. It shows carrying changing mode and the trace that a participant may follow backward through practice.

Ground   what is acknowledged before terms derive
  │
  ├─ First    Relation → Connection → Carry / Trace
  │    ├─ Second   Carrying → Coupling → Participation
  │    │    ├─ Third    Field → organised and nested carrying
  │    │    │    └─ Higher   carrying enters its own carrying
  │    │    │                                            │
  └────┴────┴──────── optional retracing through trace ──┘
  ↳ Ground may be re-contacted by a participant through practice

Each order changes what carrying is doing without making a new relation from nothing. The connection offers trace whether or not a participant follows it.

Formal Section

The notation is sectional. It marks finite positions through which connection can be followed; it does not propose sections, arrows, or symbols as the substance of relation.

Let two locatable conditions be a and b, with connection c:

c(a,b)

The connection offers directional availability:

carry_c : a → b
trace_c : b → a

These arrows do not assert two connections. They are directional reads of c. Enactment is written separately:

carrying(c, a, b)   forward passage through c is occurring
retracing(p, c, b, a)   participant p follows trace_c toward a

An order index records carrying mode rather than numerical value:

O₁  connection becomes locatable and directional
O₂  carry is enacted through participation
O₃  participating carrying becomes organised and nested
Oₕ  organised carrying enters its own carrying

Reach is the range a participant p can carry:

ρ(p) = the range p can receive, retain, and carry

A crossing kₙ read by p is within reach for what must remain recoverable where the recoverable condition stays within ρ(p) after the crossing — so its return trace remains followable at p. Where the crossing carries more than ρ(p) can hold, the return trace is lost at p: this is overload.

Refutable Reads

These are tests, not settled results.

Directional connection. Where a single connection is claimed, carry forward and trace backward should locate the same connected passage. A case where these directions require demonstrably different connections would refute the proposed symmetry.

Composition across crossings. Crossings that each stay within a reach should compose while the recoverable condition stays within that reach. To refute: exhibit crossings each within reach whose composition necessarily exceeds every reach that holds the parts, so the composed return trace cannot be followed.

Order change. A crossing is claimed where carrying changes structural role. A case fully described by the prior carrying mode, with no new role required, would show that the proposed crossing was unnecessary.

Worked Reads

A read follows a carrying chain across crossings, recoverable at the reading reach.

radio variation ⇝ antenna ⇝ electrical variation ⇝ sampled variation
                ⇝ visible variation ⇝ retinal contact ⇝ human read

The read need not preserve radio frequency as visible frequency. It is grounded where each crossing keeps its invariant — recurrence, relative intensity, timing — recoverable within the reader's reach. The visible read is a later carrying whose differences remain traceable back through the chain.

applied load ⇝ member ⇝ joint transfer ⇝ support reaction

The trace of a measured support reaction includes the members and joints jointly required for it. Removing a non-required element leaves the trace; removing a required carrying path breaks it.

prior story ⇝ rhythmic player ⇝ one-word contribution ⇝ changed openings ⇝ next contribution

The spoken word carries no fixed term. The story becomes locally readable through the crossing between rhythm, memory, grammar, and contribution. A later word helps retrace which reading the earlier contribution actually carried.

Where the Crossing Fails

The crossing is read most clearly at its boundary.

Threshold loss. Where a crossing renders every condition above a threshold as one downstream condition, two distinguishable priors arrive as one. The crossing may still carry presence above the threshold, but magnitude has exceeded what the read can recover: the return trace can no longer separate the two. The crossing carried more than the reading reach could hold.

Coincidence without carrying. Where two conditions change together but no carrying path crosses between them, there is no crossing — so neither carry nor trace runs between them. Their traces may converge on a shared prior while excluding one another. Agreement in time alone is not a crossing.

Relation to Existing Mathematics

The formal layer is, at first, a synthesis and interpretation of established structures, placed against them honestly.

• Causality and the Semantics of Provenance studies the followable path back through what a condition required — close to trace as the return read.
• Categories of Optics studies forward access with lawful backward recovery — close to a single crossing read in two directions.
• Hypergraph Categories and Double Categories of Open Systems give composition through exposed edges — close to crossings between orders.
• Abstracting Causal Models studies when structure is preserved across levels — close to reach and to nesting.
• Traced Monoidal Categories uses trace for feedback; the RM return read is provenance-like and stays terminologically distinct.

What RM currently proposes is a relation-first account in which one connection offers carry and trace, their enactments differ, and orders name changes in carrying mode. Whether that combination adds anything beyond existing accounts remains a claim to test rather than assume.

Open Problems

• Can the return trace be stated independently enough of the chosen read to compare two reads of the same crossing?
• What is the right equivalence for carry and trace locating the same connection?
• When alternative traces are available, how is the minimal one chosen or weighted?
• When do crossings each within reach compose without the recoverable condition drifting past reach?
• Can an order's internal carrying change while its external trace is preserved?
• How is feedback added without confusing the return trace with categorical trace?

Places

Reality Mechanics Theory places the formal read of the Atlas as connected carrying across orders: connection offers carry forward and trace backward; carrying enacts carry; retracing follows trace; and an order changes when carrying takes on a new structural role.

Holds

Reality Mechanics Theory is held by Atlas, Order Trace, Relation, Connection, Carry, Carrying, Trace, Retracing, Coupling, Nesting, and Recursion.

Pairs

Reality Mechanics Theory pairs with Atlas. Atlas maps relation as dependency-ordered placement; Theory states selected structural claims formally so they can be instantiated, tested by where they fail, and placed against existing mathematics.

Traces

• Atlas
• Order Trace
• Relation
• Connection
• Carry
• Carrying
• Trace
• Retracing
• Coupling
• Nesting
• Recursion

Nests

Reality Mechanics Theory nests beside the Atlas as a versioned formal read. It remains answerable to Atlas placement and to existing mathematics, replacing neither.

Reads

Reality Mechanics Theory becomes recognisable where a structural claim states the connection, its forward carry, its backward trace, the enactment involved, the carrying mode, and the crossing at which that mode changes.

Carries

No grounded downstream theory is claimed at version 0.3.