Definition · implementation-minimized stationary transport invariant

FPRD-D45

Stationary transport spectrum

Exact statement

The stationary transport spectrum Tr(L) is the set of resource ceilings (degree, descriptor distance, working-alphabet size, control-state count) under which the canonical residual dynamics of L has a one-node-per-symbol bounded-locality persistent presentation. It minimizes over all presentations within the scaffolding model.

StatusDefined exactly at the finite scaffolding-automaton boundary
External reviewNo documented external or specialist review of this FPRD result is recorded.

Context

The residual tower gives canonical semantic transport but not the resources needed to realize it physically. The spectrum records every feasible bounded persistent realization instead of selecting one encoding.

Definitions

  • A presentation uses finite control and labels, fixed node degree, fixed descriptor radius, immutable old nodes, and one new node per input symbol.
  • The four coordinates are resource ceilings, so unused capacity is allowed.
  • The spectrum is model-relative: it minimizes over scaffold presentations, not over every conceivable machine model.

Proof or evidence

FPRD-T157 proves upward closure, a finite Pareto basis, complement invariance, and an explicit Boolean pairing construction.

Verification notes

The definition was checked against the native scaffold transition boundary and the reversal-sensitive PEG transfer in FPRD-T110.

Limitations

  • The spectrum does not compare scaffold resources with time or space in arbitrary machine models.
  • Nonemptiness is exactly scaffold recognizability; FPRD-T165 now supplies a forgotten-action visible lift whose projection has empty spectrum.
  • No novelty claim is made for the underlying scaffolding model.

Open work

Place positive forgotten-action tiers inside explicit spectrum cones and search for presentation-independent emptiness criteria.