T_node
T_node supplies the dimensionless reference value for per-node throughput in the Z-matched transceiver mesh. Network engineers modeling aggregate performance in Recognition Science would cite this constant when scaling throughput linearly with node count. The declaration is a direct assignment of the value 1 with no further computation.
claimThe per-node throughput reference is the real number $1$ (dimensionless).
background
The Z-Matched Recognition-Transceiver Mesh module treats each node as contributing an independent (Z, Θ)-channel. Aggregate throughput at N nodes equals N times this reference, with pairwise latency independent of distance per the spatial decoupling result cited in the module doc. The setting imports Constants and Cost, then builds linear scaling from the per-node unit.
proof idea
Direct definition assigning the real number 1. No lemmas or tactics are applied.
why it matters in Recognition Science
T_node anchors the linear scaling proved in aggregateThroughput and collected in mesh_one_statement, which asserts additivity on successor nodes, doubling at 2N, and distance-constant latency. It fills the engineering derivation for track J9 by providing the base unit that realizes distance-decoupled channels. The result is consistent with the forcing chain landmarks of independent channels and D=3.
scope and limits
- Does not derive the value 1 from J-cost, phi-ladder, or other Recognition constants.
- Does not attach physical units or conversion factors to SI.
- Does not model interference, topology, or non-Z-matched effects.
- Does not prove positivity or monotonicity; those appear in separate theorems.
formal statement (Lean)
39def T_node : ℝ := 1
proof body
Definition body.
40