Definition. Economic state and admissible joint execution [ftip-00NZ]
✍️source

    Fix a horizon \(T>0\) and a lineage specification \(\Xi \). An economic specification \(\Omega \) consists of an initial state \(x_0\), causal transition laws, a class of policies, physical and financial constraints, and a measurable viability region \(\mathcal V\). A state may contain productive capital \(K\), maintained expertise \(H\), accessible knowledge \(D\), energy and hardware capacity \(E\), and institutional capacity \(J\). These coordinates name declared state variables; no production function or substitutability assumption follows from their names.

    A joint execution \(z=(P,\pi ,x,r)\) comprises a permitted lineage procedure \(P\), a causal economic policy \(\pi \), its state trajectory \(x\), and an actual resource schedule \(r\). Transitions may depend on admitted learning outcomes and deployment decisions. Feasibility requires that \(r\) supplies every operation of \(P\) and every charged economic activity at the time and place used, under the hard resource conventions. All work on search, synthetic generation, evaluation and controller changes is included. Missing output scores zero. The procedure \(P\) includes the stopping and evaluation decisions induced by its resource schedule. Economic policies preserve the observation laws and information access permitted by \(\Xi \); they supply no undeclared channel for target answers.

    Let \(\mathcal Z_{\rm phys}\) contain physically feasible joint executions. Financeable executions additionally satisfy specified balance sheets and funding constraints; viable executions also remain in \(\mathcal V\) almost surely. Thus

    \[\mathcal Z_{\rm viable}\subseteq \mathcal Z_{\rm fin} \subseteq \mathcal Z_{\rm phys}.\]

    An equilibrium class is an additional restriction, not a synonym for all financeable choices. Welfare floors in \(\mathcal V\) impose normative or institutional constraints unless physical necessity independently justifies them. Autonomy may maintain schools, public knowledge and power infrastructure; its access to new target-specific contributions remains controlled by \(\Xi \).

    Both arms disclose their endowments and use the same external accounting boundary. Currency outlays and physical resource coordinates remain separate. Buying electricity spends money and uses energy; these are two constraints on one transaction, not two independent monetary costs.