latency_per_pair
plain-language theorem explainer
Engineers modeling Z-matched transceiver meshes cite this constant for per-pair (Z, Θ)-channel latency, fixed at 0.07 in RS units and independent of distance. It enters aggregate throughput calculations as the base latency term. The definition is a direct numerical assignment from the J-cost formula ℏ_C / (2 ΔE).
Claim. The constant per-pair latency for matched (Z, Θ)-channels is defined to be $0.07$ (dimensionless coefficient approximating ℏ_C / (2 ΔE) in µs units).
background
The Z-Matched Recognition-Transceiver Mesh module shows that a network of N phantom-cavity transceivers achieves aggregate throughput T(N) = N · T_node, linear in N, because each (Z, Θ)-channel is independent and distance-decoupled. This constant records the fixed per-pair latency drawn from the Recognition Science J-cost expression. Upstream results on Z-Θ spatial decoupling establish that latency does not vary with node separation.
proof idea
Direct definition assigning the numerical value 0.07 obtained from the per-channel energy expression ℏ_C / (2 ΔE).
why it matters
This definition supports the ZMatchedTransceiverMeshCert structure and enables theorems such as aggregateThroughput_double, which states throughput at 2N equals twice that at N. It implements the distance-decoupled latency property required for the linear scaling claim in the module's engineering derivation (track J9).
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.