Manuscript Psy02-B@2 · Psy02-B-v2.tex · theorem · cfd06e2e

Theorem: Nonempty dimensionless pilot region

Track A6–A7: forward instrument and robust viability › Survival and independent viability conditions · lines 1214–1247 · proof included or linked

Psy02-B@2#thm:pilotexample

Back to manuscript

For a reference unit , choose

Sense at , take , , and a white-force pilot with filter and variance allowance . Then the robust score gap exceeds , survival holds at every allowed reduction time, and the filter allowance holds. These are design parameters, not biological measurements.

Proof. Here , and

Also ; every , and the witness decreases. The filtered force variance is . A nonzero localized Gaussian displacement has energy proportional to , so a declared mass scale can realize any selected positive pilot rate. This is not tubulin calibration.

Displayed formulas in this passage

  • unlabeled · line 1217

  • unlabeled · line 1221

  • unlabeled · line 1235

Nearby in this section