Invariants

Statements demonstrated repeatedly across the grounded Atlas. Extracted, not invented — each is cited to its source and should be confirmed there before grounding.

• Relation is primitive. No prior term within the system produces it. (Relation)
• The current working postulate is: relation holds, order carries, trace places. Order becomes answerable where relation can hold, what holds can carry, and what carries can be traced back. (The Working Postulate)
• The posture sequence — Connection, Posture, Structure, Clear, Clean — is a planted practice read, not the root postulate. It tests how the postulate becomes workable through connection, orientation, structure, clarity, and cleanliness. (Posture Read, The Working Postulate)
• Connection does not require a participant to read it. It is the placeable passage where held relation offers carry and trace. (Connection)
• One connection offers two directions: carry forward, trace backward. They are not two relations. (Carry, Trace)
• Carrying and retracing enter the same connection from different directions; they do not create separate relations. (Carrying, Retracing)
• Where there is no connection, no carry or trace is claimed. Absence of connection is not by itself failure, drift, or disorder. (Connection)
• A carry that cannot be retraced is a label, not a condition. If A carries B, B traces A. (Atlas Note Standard)
• The deeper warrant for reciprocity is nesting location. A carry without a backtrace leaves the carried term's position in the nested order unresolved. Running carry and trace simultaneously through the same passage is how a participant locates a pattern's nesting position — and how unclear nesting is resolved. (Carry-Trace Test, Posture Read)
• Dependency is antisymmetric: a note never traces what it carries.
• Membership is not dependency. It lives in Nests, not in carries.
• Only a participant grounds. Drafts do not govern until grounded. (Groundedness)
• Derive before invent. A term earns a note only if it carries what neither component alone carries, and others trace to it.
• Resolution closes a condition at its scope without ending wider relation. It is not a universal prerequisite for carrying. (Resolution, Carrying)
• A participant resolves order only within its reach. What exceeds reach remains real, effective, and traceable. (Readability, Timescale)
• The return is not a repeat. Ground is re-contacted, not reset, and only retrace closes it; un-retraced carrying drifts. (Source Drift)
• A section is an analytic cut a participant makes, not a condition in relation. (Section)