Notation

• Let C denote compute.
• Let S denote a state.
• Let T denote a transition.
• Let I denote information.
• Let A denote an agent.
• Let R denote a resource.
• Let Σ denote a system.

Primitive

AEco takes exactly one undefined term: Compute.

Compute is the physical capacity to execute a transition. It is not derived from anything within this system. All subsequent definitions are constructed from it.

Definitions

Inference Rules

IR1 (Substitution). Any term may be replaced by its definition without change of meaning.

IR2 (Composition). Defined terms may be combined to construct higher-order terms, provided no undefined term is introduced.

IR3 (Restriction). Analysis may be conducted within a defined boundary. Results are local to that boundary unless otherwise demonstrated.

IR4 (Iteration). Feedback structures may be iterated forward to observe emergent states. Emergent outputs are labeled as such and carry no axiomatic weight.

Exclusions

The following are not defined in this system and may not be introduced without explicit declaration as axioms in a higher tier:

• Labor as a primitive
• Intrinsic value independent of agents
• Static equilibrium as a natural state
• The nation-state as a unit of analysis
• Normative claims derived from positive ones

Conclusion

A system Σ = (A, R, F) where:

• A is a set of agents (D5)
• R is finite compute competed for by A (D6)
• F is the feedback structure governing transitions (D3)
• All state change in Σ is mediated by F
• All resource scarcity in Σ reduces to C

Handoff to Axiomatics_1.md: Σ is taken as given.